kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/coq
History
adam 231e2ea820 Rewrite PYTHON_VERSIONS_ACCEPTED to PYTHON_VERSIONS_INCOMPATIBLE
2019-09-02 13:33:22 +00:00
..
patches coq: patch to build with ocaml 4.08 2019-09-01 00:51:46 +00:00
DESCR
distinfo coq: patch to build with ocaml 4.08 2019-09-01 00:51:46 +00:00
Makefile coq: patch to build with ocaml 4.08 2019-09-01 00:51:46 +00:00
MESSAGE
options.mk Rewrite PYTHON_VERSIONS_ACCEPTED to PYTHON_VERSIONS_INCOMPATIBLE 2019-09-02 13:33:22 +00:00
PLIST Updated lang/coq to version 8.9.0. 2019-03-06 09:28:23 +00:00