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:32:40 +0000 |
| commit | 75e7eae7022c26b900b9bcd235e807a384365190 (patch) | |
| tree | b41474f3ee19d2a50a840720b8feb93ddb161db9 /community/ocaml | |
| parent | 8ba03110f1f5bf03b243ede9bf7b2cc1e502c038 (diff) | |
| download | aports-75e7eae7022c26b900b9bcd235e807a384365190.tar.bz2 aports-75e7eae7022c26b900b9bcd235e807a384365190.tar.xz | |
testing/ocaml-camlp5: new aport
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.
Diffstat (limited to 'community/ocaml')
0 files changed, 0 insertions, 0 deletions