2 commits

Author	SHA1	Message	Date
River Dillon	482a2891a3	testing/coq: upgrade to 8.13.2 ... removed the emacs subpackage because the emacs mode was dropped in 8.9 https://coq.inria.fr/refman/changes.html#id745	2021-08-06 05:23:07 -04:00
alpine-mips-patches	7a56281cbb	testing/coq: new aport ... This is a direct prerequisite for CompCert. Tested with ocaml-4.07.1 only.	2019-03-06 07:33:40 +00:00