projects / dports.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Tweak math/geg version 1.0.2_7
[dports.git] / math / hs-Agda /
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