diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-16 19:44:36 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-16 19:44:36 +0100 |
commit | 240f069dad61a85dbfc281472a2af6cb91ef07d4 (patch) | |
tree | 8cafde4a8aa5d2bacbe342808423333edfc9074b | |
parent | FreeSpec has been published to Opam (diff) |
Mention coqffi.dev
-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 |