@comment $FreeBSD: ports/math/hs-Agda-executable/pkg-plist,v 1.1 2010/01/04 03:26:20 pgj Exp $
bin/agda
%%NOPORTDOCS%%%%DOCSDIR%%/LICENSE
%%NOPORTDOCS%%@dirrmtry %%DOCSDIR%%
