Skip to content

community/coq: move from testing

Celeste requested to merge Celeste/aports:move-coq-to-community into master

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.

Merge request reports