Diffusion Development documentation 218bf86a289e

changelog: Reference the opam coq repository ingestion
218bf86a289e
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

changelog: Reference the opam coq repository ingestion

Related to T3717

Details

Provenance

ardumont	Authored on Nov 17 2021, 2:06 PM
ardumont	Pushed on Nov 18 2021, 3:15 PM

Differential Revision

D6647: changelog: Reference the opam coq repository ingestion

Tasks

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

Event Timeline

ardumont committed rDDOC218bf86a289e: changelog: Reference the opam coq repository ingestion (authored by ardumont).Nov 18 2021, 2:20 PM

ardumont added a task: T3717: Ingest opam instance https://coq.inria.fr/opam/released/.Nov 18 2021, 3:15 PM

ardumont added an edge: D6647: changelog: Reference the opam coq repository ingestion.

Commit No Longer Exists

This commit no longer exists in the repository.