1
0
Fork 0
mirror of https://gitlab.alpinelinux.org/alpine/aports.git synced 2025-07-13 03:09:51 +03:00
aports/testing/coq
omni 4ced4ff026 testing/coq: upgrade to 8.15.1
target all archs but riscv64
2022-04-12 16:46:54 +00:00
..
APKBUILD