mirrors/aports
1
0
Fork 0
mirror of https://gitlab.alpinelinux.org/alpine/aports.git synced 2026-01-15 21:52:11 +01:00
Code Issues Packages Projects Releases Wiki Activity
aports/testing/coq
History
psykose e112fa2ed1 testing/coq: add base install too 
this doesn't make it findable via ocamlfind but it adds the dune/opam
meta files
2023-07-27 01:53:38 +00:00
..
APKBUILD
testing/coq: add base install too
2023-07-27 01:53:38 +00:00