Skip to content
Snippets Groups Projects
Verified Commit 218bf86a authored by Antoine R. Dumont's avatar Antoine R. Dumont
Browse files

changelog: Reference the opam coq repository ingestion 

Related to T3717
parent 23b479e7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
docs/archive-changelog.rst
+ 4
− 0
View file @ 218bf86a
......@@ -13,6 +13,10 @@ in this document for historical reasons.
2021
----
* **2021-11-17:** Completed first archival of the `Opam Coq repository
<https://coq.inria.fr/opam/released/>`_. Regular cralwing of those repositories
enabled (tracking: `T3717 <https://forge.softwareheritage.org/T3717>`_)
* **2021-10-14:** Completed archival of Bitbucket_ Mercurial repositories
(tracking: `T3338 <https://forge.softwareheritage.org/T3338>`_)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment