看板 FB_cvs 關於我們 聯絡資訊
pgj 2012-06-03 22:09:29 UTC FreeBSD ports repository Modified files: math/hs-Agda Makefile distinfo math/hs-Agda/files patch-Agda.cabal Added files: math/hs-Agda/files patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs Log: - Update to 2.3.0.1 Obtained from: FreeBSD Haskell Revision Changes Path 1.9 +6 -5 ports/math/hs-Agda/Makefile 1.6 +2 -2 ports/math/hs-Agda/distinfo 1.3 +15 -7 ports/math/hs-Agda/files/patch-Agda.cabal 1.1 +11 -0 ports/math/hs-Agda/files/patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs (new) _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"