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:31:30 +0000 |
| commit | 8ba03110f1f5bf03b243ede9bf7b2cc1e502c038 (patch) | |
| tree | cb58000a048a213c004fb41c2ccff6890fea409d /main/py-google-api-python-client | |
| parent | da25a5be5b33f233119e11f4a9124262b6b8a757 (diff) | |
| download | aports-8ba03110f1f5bf03b243ede9bf7b2cc1e502c038.tar.bz2 aports-8ba03110f1f5bf03b243ede9bf7b2cc1e502c038.tar.xz | |
testing/ocaml-num: new aport
This is an indirect prerequisite (via coq) for CompCert.
Tested with ocaml-4.07.1 only.
Diffstat (limited to 'main/py-google-api-python-client')
0 files changed, 0 insertions, 0 deletions