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