Date: Sun, 3 Jun 2012 22:09:29 +0000 (UTC) From: Gabor Pali <pgj@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/hs-Agda Makefile distinfo ports/math/hs-Agda/files patch-Agda.cabal patch-src__full__Agda__Compiler__MAlonzo__Compiler.hs Message-ID: <201206032209.q53M9T6x012056@repoman.freebsd.org>
index | next in thread | raw e-mail
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)
help
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201206032209.q53M9T6x012056>
