pkg-plist « bddsolve « science - ports - FreeBSD ports tree

about summary refs log tree commit diff

path: root/science/bddsolve/pkg-plist

blob: 252e3376b523a8cb42d634d0e6e5813d473edb94 (plain) (blame)

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