projects / dports.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update mail/geary to version 0.10.0
[dports.git] / math / why3 /
2015-03-19 DPorts BuilderTweak math/why3 version 0.83_1 tree | commitdiff
2014-11-21 DPorts BuilderTweak math/why3 version 0.83_1 tree | commitdiff
2014-09-15 DPorts BuilderTweak math/why3 version 0.83_1 tree | commitdiff
2014-07-15 DPorts BuilderUpdate math/why3 to version 0.83_1 tree | commitdiff
2014-06-21 DPorts BuilderImport math/why3 version 0.83 tree | commitdiff
DragonFly DPorts Source