projects / dports.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update math/gsl to version 2.3
[dports.git] / math / why3 /
2017-01-29 DPorts BuilderTweak math/why3 version 0.83_2 tree | commitdiff
2016-04-08 DPorts BuilderTweak math/why3 version 0.83_2 tree | commitdiff
2016-02-19 DPorts BuilderTweak math/why3 version 0.83_2 tree | commitdiff
2015-11-30 DPorts BuilderUpdate math/why3 to version 0.83_2 tree | commitdiff
2015-09-10 DPorts BuilderTweak math/why3 version 0.83_1 tree | commitdiff
2015-08-05 DPorts BuilderTweak math/why3 version 0.83_1 tree | commitdiff
2015-07-14 DPorts BuilderTweak math/why3 version 0.83_1 tree | commitdiff
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