From c49efbdb6c7014c1b5d25e814892c32a273a9521 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Wed, 16 Dec 2020 19:42:11 +0100
Subject: FreeSpec has been published to Opam

---
 site/news/index.html | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/site/news/index.html b/site/news/index.html
index b64ff13..57aab58 100644
--- a/site/news/index.html
+++ b/site/news/index.html
@@ -1,13 +1,18 @@
 <h1>News</h1>
 
 <ul>
+  <li>
+    On <strong>December 16, 2020</strong>, FreeSpec packages have been
+    published to the <code>extra-dev</code> repository of the Opam Coq
+    archive.
+  </li>
   <li>
     On <strong>December 10, 2020</strong>, <code>coq-coqffi.1.0.0~beta2</code>
-    has been published to the <code>opam</code> Coq archive.
+    has been published to the Opam Coq archive.
   </li>
   <li>
     On <strong>December 7, 2020</strong>, <code>coq-coqffi.1.0.0~beta1</code>
-    has been published to the <code>opam</code> Coq archive.
+    has been published to the Opam Coq archive.
   </li>
   <li>
     On <strong>November 16, 2020</strong>, we have been notified that
-- 
cgit v1.2.3