projects / dports.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Import net-mgmt/networkmgr version 2.2
[dports.git] / math / hs-Agda-stdlib /
2016-03-06 DPorts BuilderUpdate math/hs-Agda-stdlib to version 0.9_1 tree | commitdiff
2015-12-16 DPorts BuilderTweak math/hs-Agda-stdlib version 0.9 tree | commitdiff
2015-09-11 DPorts BuilderImport math/hs-Agda-stdlib version 0.9 tree | commitdiff
DragonFly DPorts Source