projects / dports.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update sysutils/bacula9-docs to version 9.2.2
[dports.git] / math / proofgeneral /
2018-06-04 DPorts BuilderBump math/proofgeneral to version 4.1_13 tree | commitdiff
2018-02-05 DPorts BuilderTweak math/proofgeneral version 4.1_12 tree | commitdiff
2017-09-15 DPorts BuilderBump math/proofgeneral to version 4.1_11 tree | commitdiff
2016-04-09 DPorts BuilderTweak math/proofgeneral version 4.1_10 tree | commitdiff
2015-09-11 DPorts BuilderTweak math/proofgeneral version 4.1_10 tree | commitdiff
2015-06-05 DPorts BuilderTweak math/proofgeneral version 4.1_10 tree | commitdiff
2015-04-30 DPorts BuilderUpdate math/proofgeneral to version 4.1_10 tree | commitdiff
2014-11-21 DPorts BuilderTweak math/proofgeneral version 4.1_9 tree | commitdiff
2014-11-11 DPorts BuilderUpdate math/proofgeneral to version 4.1_9 tree | commitdiff
2014-09-30 DPorts BuilderTweak math/proofgeneral version 4.1_8 tree | commitdiff
2014-08-04 DPorts BuilderTweak math/proofgeneral version 4.1_8 tree | commitdiff
2014-07-23 DPorts BuilderUpdate math/proofgeneral to version 4.1_8 tree | commitdiff
2014-07-15 DPorts BuilderTweak math/proofgeneral version 4.1_7 tree | commitdiff
2014-05-27 DPorts BuilderTweak math/proofgeneral version 4.1_7 tree | commitdiff
2014-02-12 DPorts BuilderTweak math/proofgeneral version 4.1_7 tree | commitdiff
2014-01-29 DPorts BuilderTweak math/proofgeneral version 4.1_7 tree | commitdiff
2013-10-28 DPorts BuilderTweak math/proofgeneral version 4.1_7 tree | commitdiff
2013-10-16 DPorts BuilderTweak math/proofgeneral version 4.1_7 tree | commitdiff
2013-09-20 DPorts BuilderTweak math/proofgeneral version 4.1_7 tree | commitdiff
2013-04-25 AutomatonUpdate math/proofgeneral to version 4.1_7 tree | commitdiff
2013-04-05 AutomatonUpdate math/proofgeneral to version 4.1_6 tree | commitdiff
2013-01-02 Automaton IASImport math/proofgeneral version 4.1_4 tree | commitdiff
DragonFly DPorts Source