Import science/bddsolve version 1.02
authorAutomaton IAS <nobody@home.ok>
Mon, 31 Dec 2012 22:52:35 +0000 (23:52 +0100)
committerAutomaton IAS <nobody@home.ok>
Mon, 31 Dec 2012 22:52:35 +0000 (23:52 +0100)
commit6d4aa5ff5ea5469f17a79437a98cf146a68b9676
treec61ffc10b675f43df60c1b38c77fc7ac02802dd0
parent9051d8465be24a65ffb0138aa4b87af5088c4866
Import science/bddsolve version 1.02
science/bddsolve/Makefile [new file with mode: 0644]
science/bddsolve/distinfo [new file with mode: 0644]
science/bddsolve/pkg-descr [new file with mode: 0644]
science/bddsolve/pkg-plist [new file with mode: 0644]