projects / dports.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Tweak misc/broot version 0.13.6_2
[dports.git] / math / hs-Agda /
2020-05-27 DPorts BuilderUpdate math/hs-Agda to version 2.6.1_1 tree | commitdiff
2019-06-30 DPorts BuilderMerge branch 'staged' tree | commitdiff
2019-06-23 DPorts BuilderImport math/hs-Agda version 2.6.0.1 tree | commitdiff
2019-01-28 DPorts BuilderPrune math/hs-Agda tree | commitdiff
2018-08-27 DPorts BuilderImport math/hs-Agda version 2.5.4 tree | commitdiff
2018-06-06 DPorts BuilderPrune math/hs-Agda tree | commitdiff
2018-02-24 DPorts BuilderBump math/hs-Agda to version 2.5.2_1 tree | commitdiff
2017-08-21 DPorts BuilderUpdate math/hs-Agda to version 2.5.2 tree | commitdiff
2015-08-25 DPorts BuilderUpdate math/hs-Agda to version 2.4.2.3 tree | commitdiff
2014-09-15 DPorts BuilderUpdate math/hs-Agda to version 2.4.0.2_1 tree | commitdiff
2014-08-23 DPorts BuilderUpdate math/hs-Agda to version 2.4.0.2 tree | commitdiff
2014-04-01 DPorts BuilderUpdate math/hs-Agda to version 2.3.2_6 tree | commitdiff
2014-03-16 DPorts BuilderUpdate math/hs-Agda to version 2.3.2_5 tree | commitdiff
2014-02-12 DPorts BuilderTweak math/hs-Agda version 2.3.2_4 tree | commitdiff
2014-01-13 DPorts BuilderUpdate math/hs-Agda to version 2.3.2_4 tree | commitdiff
2013-12-20 DPorts BuilderImport math/hs-Agda version 2.3.2_3 tree | commitdiff
DragonFly DPorts Source