cvs commit: ports/math Makefile ports/math/hs-Agda-executable
Makefile distinfo pkg-descr pkg-plist
Gabor Pali
pgj at FreeBSD.org
Mon Jan 4 03:26:20 UTC 2010
pgj 2010-01-04 03:26:20 UTC
FreeBSD ports repository
Modified files:
math Makefile
Added files:
math/hs-Agda-executable Makefile distinfo pkg-descr pkg-plist
Log:
This package provides a command-line program for type-checking and
compiling Agda programs. The program can also generate hyperlinked,
highlighted HTML files from Agda sources.
WWW: http://wiki.portal.chalmers.se/agda/
PR: ports/142141
Submitted by: Jacula Modyun <jacula(at)gmail.com>
Revision Changes Path
1.626 +1 -0 ports/math/Makefile
1.1 +75 -0 ports/math/hs-Agda-executable/Makefile (new)
1.1 +3 -0 ports/math/hs-Agda-executable/distinfo (new)
1.1 +5 -0 ports/math/hs-Agda-executable/pkg-descr (new)
1.1 +4 -0 ports/math/hs-Agda-executable/pkg-plist (new)
More information about the cvs-ports
mailing list