Page MenuHomeSoftware Heritage

Ingest opam instance https://coq.inria.fr/opam/released/
Closed, ResolvedPublic

Description

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

Event Timeline

ardumont triaged this task as Normal priority.Mon, Nov 8, 2:27 PM
ardumont created this task.

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.

ardumont changed the task status from Open to Work in Progress.EditedWed, Nov 10, 6:26 PM
ardumont moved this task from Backlog to in-progress on the System administration board.

@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/

ardumont claimed this task.
ardumont moved this task from deployed/landed to done on the System administration board.