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