cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
2795ba2341
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
pkg
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