diff options
-rw-r--r-- | site/news/index.html | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/site/news/index.html b/site/news/index.html index 57aab58..6fb56c2 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -11,8 +11,9 @@ 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 Opam Coq archive. + On <strong>December 7, 2020</strong>, <code>coq-coqffi.dev</code> + and <code>coq-coqffi.1.0.0~beta1</code> have been published to the + Opam Coq archive. </li> <li> On <strong>November 16, 2020</strong>, we have been notified that |