Ingest opam instance https://coq.inria.fr/opam/released/

as proposed by mclovin on IRC:

14:21 < mclovin> I was thinking, could we archive one more opam instance ? 14:21 < mclovin> I was thinking of: https://coq.inria.fr/opam/released/ 14:21 < mclovin> the official opam instance is mainly for ocaml packages, but this one contains a lot of Coq related packages

---

Migrated from T3717 (view on Phabricator)

added Archive coverage Opam System administration priority:Normal labels

This got added to the staging infrastructure which lead to some surprises. This mostly got fixed in the commits ^.

This is ongoing for staging.

I'll check next week to do the same on production.

added state:wip label

@ardumont For production, drop the / at the end of the url, in staging, it's duplicated...

example: opam+https://coq.inria.fr/opam/released//packages/coq-tlc/

mentioned in commit swh/devel/swh-docs@218bf86a

removed state:wip label

closed

mentioned in merge request swh/devel/swh-docs!188 (closed)