projects / dports.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Tweak net/jakarta-commons-net version 3.4
[dports.git] / math / coq /
2016-05-23 DPorts BuilderTweak math/coq version 8.4.6,2 tree | commitdiff
2016-04-08 DPorts BuilderTweak math/coq version 8.4.6,2 tree | commitdiff
2015-06-05 DPorts BuilderUpdate math/coq to version 8.4.6,2 tree | commitdiff
2015-05-16 DPorts BuilderUpdate math/coq to version 8.4.5,2 tree | commitdiff
2014-12-31 DPorts BuilderUpdate math/coq to version 8.4.5,1 tree | commitdiff
2014-11-21 DPorts BuilderTweak math/coq version 8.4.3_1,1 tree | commitdiff
2014-09-15 DPorts BuilderUpdate math/coq to version 8.4.3_1,1 tree | commitdiff
2014-08-04 DPorts BuilderTweak math/coq version 8.4.3,1 tree | commitdiff
2014-07-15 DPorts BuilderTweak math/coq version 8.4.3,1 tree | commitdiff
2014-02-12 DPorts BuilderTweak math/coq version 8.4.3,1 tree | commitdiff
2014-01-29 DPorts BuilderUpdate math/coq to version 8.4.3,1 tree | commitdiff
2013-10-15 DPorts BuilderTweak math/coq version 8.4.2,1 tree | commitdiff
2013-06-18 DPorts BuilderTweak math/coq version 8.4.2,1 tree | commitdiff
2013-06-06 AutomatonTweak math/coq version 8.4.2,1 tree | commitdiff
2013-05-11 AutomatonUpdate math/coq to version 8.4.2,1 tree | commitdiff
2013-04-24 AutomatonImport math/coq version 8.4.1_1,1 tree | commitdiff
DragonFly DPorts Source