freebsd-ports/math/hs-Agda-executable/pkg-plist at adb4e8d1e579659978daf1695995ba702e6ce192 - kpriv/freebsd-ports - Disroot Forgejo: Brace yourself, merge conflicts ahead.

kpriv/freebsd-ports

Gabor Pali 9ea2254ebc 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>

2010-01-04 03:26:20 +00:00

4 lines

98 B

Text

Raw Blame History

 @comment $FreeBSD$
 bin/agda
 %%NOPORTDOCS%%%%DOCSDIR%%/LICENSE
 %%NOPORTDOCS%%@dirrmtry %%DOCSDIR%%