diff options
Diffstat (limited to 'site')
-rw-r--r-- | site/news/index.html | 6 |
1 files changed, 5 insertions, 1 deletions
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> |