Date: Mon, 4 Jan 2010 03:26:20 +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 Makefile ports/math/hs-Agda-executable Makefile distinfo pkg-descr pkg-plist Message-ID: <201001040326.o043QKUH090269@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201001040326.o043QKUH090269>