cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
de917ff4ce
openbsd-ports/math/coq
History
daniel ddaab89ac0 update to coq 8.12.2; ok Yozo Toda (MAINTAINER)
2021-02-13 17:47:48 +00:00
..
patches Update to coq 8.11.2; ok Yoza Toda (MAINTAINER) 2020-07-16 02:50:07 +00:00
pkg Repair coq on non-native archs as pointed out by MAINTAINER and also 2020-09-16 21:13:09 +00:00
distinfo update to coq 8.12.2; ok Yozo Toda (MAINTAINER) 2021-02-13 17:47:48 +00:00
Makefile update to coq 8.12.2; ok Yozo Toda (MAINTAINER) 2021-02-13 17:47:48 +00:00