mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-08 06:48:28 +00:00
9ea2254ebc
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>
5 lines
98 B
Plaintext
5 lines
98 B
Plaintext
@comment $FreeBSD$
|
|
bin/agda
|
|
%%NOPORTDOCS%%%%DOCSDIR%%/LICENSE
|
|
%%NOPORTDOCS%%@dirrmtry %%DOCSDIR%%
|