projects / dports.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Tweak audio/festvox-el11 version 1.4.0_2
[dports.git] / math / cryptominisat /
2016-09-04 DPorts BuilderUpdate math/cryptominisat to version 5.0.0 tree | commitdiff
2016-04-07 DPorts BuilderTweak math/cryptominisat version 4.5.3 tree | commitdiff
2016-01-12 DPorts BuilderUpdate math/cryptominisat to version 4.5.3 tree | commitdiff
2015-05-13 DPorts BuilderImport math/cryptominisat version 4.2.0 tree | commitdiff
DragonFly DPorts Source