mirrors/aports
1
0
Fork 0
mirror of https://gitlab.alpinelinux.org/alpine/aports.git synced 2026-01-19 23:51:58 +01:00
Code Issues Packages Projects Releases Wiki Activity
aports/testing/coq
History
River Dillon 482a2891a3 testing/coq: upgrade to 8.13.2 
removed the emacs subpackage because the emacs mode was dropped in 8.9
https://coq.inria.fr/refman/changes.html#id745
2021-08-06 05:23:07 -04:00
..
APKBUILD
…