diff options
| author | alpine-mips-patches <info@mobile-stream.com> | 2019-02-22 12:53:47 +0000 |
|---|---|---|
| committer | Leonardo Arena <rnalrd@alpinelinux.org> | 2019-03-06 07:33:40 +0000 |
| commit | 7a56281cbb8ed2d94dadb843ecc25a9420a8c74c (patch) | |
| tree | a949897a20bf579cb29126f8d58df2d453181d17 /community/ocaml | |
| parent | 75e7eae7022c26b900b9bcd235e807a384365190 (diff) | |
| download | aports-7a56281cbb8ed2d94dadb843ecc25a9420a8c74c.tar.bz2 aports-7a56281cbb8ed2d94dadb843ecc25a9420a8c74c.tar.xz | |
testing/coq: new aport
This is a direct prerequisite for CompCert.
Tested with ocaml-4.07.1 only.
Diffstat (limited to 'community/ocaml')
0 files changed, 0 insertions, 0 deletions