2014-03-16 | DPorts Builder | Tweak science/bddsolve version 1.03_1 | tree | commitdiff |
2014-02-12 | DPorts Builder | Update science/bddsolve to version 1.03_1 | tree | commitdiff |
2014-01-29 | DPorts Builder | Tweak science/bddsolve version 1.03 | tree | commitdiff |
2013-12-19 | DPorts Builder | Tweak science/bddsolve version 1.03 | tree | commitdiff |
2013-10-15 | DPorts Builder | Tweak science/bddsolve version 1.03 | tree | commitdiff |
2013-09-19 | DPorts Builder | Import science/bddsolve version 1.03 | tree | commitdiff |
2013-04-20 | Automaton | Remove 41 ports that don't build. | tree | commitdiff |
2012-12-31 | Automaton IAS | Import science/bddsolve version 1.02 | tree | commitdiff |