Mirror/aports
1
0
Fork 0
mirror of https://gitlab.alpinelinux.org/alpine/aports.git synced 2025-07-22 02:35:23 +03:00
Code Issues Wiki Activity
97311 commits 42 branches 622 tags 697 MiB
Commit graph

4 commits

Author SHA1 Message Date
Leo
76f1b00e86 testing/ocaml-num: remove stale patch 2020-02-04 08:10:31 +01:00
Leo
c343eb1d8c testing/ocaml-num: upgrade to 1.3 2020-02-04 05:49:36 +01:00
Leo
06eca9ee2a testing/ocaml-num: upgrade to 1.2 2019-08-25 00:59:44 -03:00
alpine-mips-patches
8ba03110f1 testing/ocaml-num: new aport 
This is an indirect prerequisite (via coq) for CompCert.

Tested with ocaml-4.07.1 only.
 2019-03-06 07:31:30 +00:00