aports/testing/ocaml-num, branch master Main aports tree testing/ocaml-num: remove stale patch 2020-02-04T07:10:31+00:00 Leo thinkabit.ukim@gmail.com 2020-02-04T07:10:31+00:00 76f1b00e86c3ae9b5c6b4ca49d91501a1807f1a0 






testing/ocaml-num: upgrade to 1.3
2020-02-04T04:49:36+00:00

Leo
thinkabit.ukim@gmail.com

2020-02-04T04:37:07+00:00

c343eb1d8c2333f51a3fdaa60ce1f934cd74bf14












testing/ocaml-num: upgrade to 1.2
2019-08-25T03:59:44+00:00

Leo
thinkabit.ukim@gmail.com

2019-08-25T03:30:26+00:00

06eca9ee2a3e68337ba35f8bb4c2c66591e0d68c












testing/ocaml-num: new aport
2019-03-06T07:31:30+00:00

alpine-mips-patches
info@mobile-stream.com

2019-02-22T12:53:47+00:00

8ba03110f1f5bf03b243ede9bf7b2cc1e502c038

This is an indirect prerequisite (via coq) for CompCert.

Tested with ocaml-4.07.1 only.





This is an indirect prerequisite (via coq) for CompCert.

Tested with ocaml-4.07.1 only.