aports/testing/coq, branch master Main aports tree https://git-old.alpinelinux.org/aports/atom?h=master 2019-03-06T07:33:40Z testing/coq: new aport 2019-03-06T07:33:40Z alpine-mips-patches info@mobile-stream.com 2019-02-22T12:53:47Z urn:sha1:7a56281cbb8ed2d94dadb843ecc25a9420a8c74c This is a direct prerequisite for CompCert. Tested with ocaml-4.07.1 only.