community/coq: move from testing
CC: @JasonGross
As previously discussed, i am now going to move coq
from testing
to community
.
This will make coq
available in Alpine stable releases, and give you something to fallback to, should the coq
in edge
become badly broken.
You will very likely not need to make any changes to your Github Actions file, as it should already include the community
repository.