CI reminder to mirror opam file in `coq-opam-archive`
Add a check in the CI that compares the committed version of coq-albert.opam
and the version in coq-opam-archive
(here).
If they are different, emit a warning (can be implemented as a job that fails but which is allowed to fail in the CI).
Problem: the two files are actually not the same, due to the additional url
meta data in coq-opam-archive. I don't know if it would be an issue to add this locally. If it is, we can use the opam
command to parse the two files and compare the dependencies directly.