1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-25 04:43:33 +00:00
freebsd-ports/lang/maude/pkg-plist
Baptiste Daroussin 77cba41a62 Cleanup plist
2014-10-27 15:23:30 +00:00

10 lines
272 B
Plaintext

bin/maude
%%FULL_MAUDE%%%%DATADIR%%/full-maude%%FULL_MAUDE_VER%%.maude
%%DATADIR%%/linear.maude
%%DATADIR%%/machine-int.maude
%%DATADIR%%/metaInterpreter.maude
%%DATADIR%%/model-checker.maude
%%DATADIR%%/prelude.maude
%%DATADIR%%/socket.maude
%%DATADIR%%/term-order.maude