1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-25 04:43:33 +00:00
freebsd-ports/science/bddsolve/pkg-plist
2014-11-12 18:48:53 +00:00

4 lines
91 B
Plaintext

bin/bddsolve
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/reach.b
%%PORTEXAMPLES%%%%EXAMPLESDIR%%/sat.b