aports/testing/ocaml-num, branch 3.10-stable Main aports tree https://git-old.alpinelinux.org/aports/atom?h=3.10-stable 2019-03-06T07:31:30Z testing/ocaml-num: new aport 2019-03-06T07:31:30Z alpine-mips-patches info@mobile-stream.com 2019-02-22T12:53:47Z urn:sha1:8ba03110f1f5bf03b243ede9bf7b2cc1e502c038 This is an indirect prerequisite (via coq) for CompCert. Tested with ocaml-4.07.1 only.