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