From 80404f2b00723a49ad552d9f527f39c6fdabd005 Mon Sep 17 00:00:00 2001
From: Thomas Letan <lthms@soap.coffee>
Date: Fri, 11 Dec 2020 23:35:23 +0100
Subject: coq-coqffi.1.0.0~beta2 has been released

---
 site/news/index.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'site')

diff --git a/site/news/index.html b/site/news/index.html
index 4129b98..b64ff13 100644
--- a/site/news/index.html
+++ b/site/news/index.html
@@ -2,7 +2,11 @@
 
 <ul>
   <li>
-    On <strong>December 16, 2020</strong>, <code>coq-coqffi.1.0.0~beta1</code>
+    On <strong>December 10, 2020</strong>, <code>coq-coqffi.1.0.0~beta2</code>
+    has been published to the <code>opam</code> 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.
   </li>
   <li>
-- 
cgit v1.2.3