cpet/openbsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
68ba5b72e3
openbsd-ports/math/coq
History
daniel 7e3735bd84 Update to coq 8.10.0; ok Yoza Toda (MAINTAINER)
2019-10-16 06:40:03 +00:00
..
patches
pkg fix plist for bytecode-only arm64, sparc64 2019-10-07 06:40:15 +00:00
distinfo Update to coq 8.10.0; ok Yoza Toda (MAINTAINER) 2019-10-16 06:40:03 +00:00
Makefile Update to coq 8.10.0; ok Yoza Toda (MAINTAINER) 2019-10-16 06:40:03 +00:00