Main aports tree https://git-old.alpinelinux.org/aports/atom?h=master 2019-03-06T07:32:40Z 2019-03-06T07:32:40Z alpine-mips-patches info@mobile-stream.com 2019-02-22T12:53:47Z urn:sha1:75e7eae7022c26b900b9bcd235e807a384365190 This is an indirect prerequisite (via coq) for CompCert. It is for temporary use only as coq-8.10 (currently in development) will drop the camlp5 dependency. Tested with ocaml-4.07.1 only.