Import science/bddsolve version 1.03
authorDPorts Builder <nobody@home.ok>
Thu, 19 Sep 2013 13:07:48 +0000 (06:07 -0700)
committerDPorts Builder <nobody@home.ok>
Thu, 19 Sep 2013 13:07:48 +0000 (06:07 -0700)
commit9fad09a78c4f5bca00ef5e9988c717c23577e0c2
treeca415d7f274a9b0f9ba80a4b29b6622e8ff6dbb1
parent9ddccfbb758495a4d0a8c0e111f680dd520f9e09
Import science/bddsolve version 1.03
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]