projects / dports.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update polish/hunspell to version 20180127
[dports.git] / math / coq / pkg-plist
2017-01-08 DPorts BuilderUpdate math/coq to version 8.6,3 blob | commitdiff
2015-06-05 DPorts BuilderUpdate math/coq to version 8.4.6,2 blob | commitdiff | diff to current
2014-11-21 DPorts BuilderTweak math/coq version 8.4.3_1,1 blob | commitdiff | diff to current
2014-01-29 DPorts BuilderUpdate math/coq to version 8.4.3,1 blob | commitdiff | diff to current
2013-04-24 AutomatonImport math/coq version 8.4.1_1,1 blob | commitdiff | diff to current
DragonFly DPorts Source