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)
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
