pgj 2012-02-13 05:05:11 UTC
FreeBSD ports repository
Modified files:
math/hs-Agda-executable Makefile distinfo
Log:
- Update to 2.3.0
Obtained from: FreeBSD Haskell
Revision Changes Path
1.9 +2 -3 ports/math/hs-Agda-executable/Makefile
1.5 +2 -2 ports/math/hs-Agda-executable/distinfo