projects / dports.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e634175) | patch
Tweak math/coq version 8.4.6,2
authorDPorts Builder <nobody@home.ok>
Fri, 8 Apr 2016 12:28:50 +0000 (05:28 -0700)
committerDPorts Builder <nobody@home.ok>
Fri, 8 Apr 2016 12:28:50 +0000 (05:28 -0700)
commit0a2e28ddf6aaedc00604c8c49d181c85fc0d12fd
treefca9bf35a23646656f5bb290cfa1c0068fb3d4b0tree | snapshot
parente634175bc4bf0969b4f6d3762513c2c014eb8506commit | diff
Tweak math/coq version 8.4.6,2
math/coq/Makefile diff | blob | blame | history
DragonFly DPorts Source