mirrors/aports
1
0
Fork 0
mirror of https://gitlab.alpinelinux.org/alpine/aports.git synced 2025-08-31 11:21:17 +02:00
Code Issues Packages Projects Releases Wiki Activity
aports/testing/coq
History
alpine-mips-patches 7a56281cbb testing/coq: new aport 
This is a direct prerequisite for CompCert.

Tested with ocaml-4.07.1 only.
2019-03-06 07:33:40 +00:00
..
APKBUILD
…