diff --git a/docs/archive-changelog.rst b/docs/archive-changelog.rst
index 51d316b9c1439dde45739167167a85a7f249304e..8b9d8f1cccb21f45569bcebd6959e52e3cd2bf7d 100644
--- a/docs/archive-changelog.rst
+++ b/docs/archive-changelog.rst
@@ -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>`_)