diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-12-11 23:35:23 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-12-11 23:35:23 +0100 |
| commit | 80404f2b00723a49ad552d9f527f39c6fdabd005 (patch) | |
| tree | 837fe046d8a38f51a6cc70efc0cae56b0e178060 | |
| parent | Update gitignore (diff) | |
coq-coqffi.1.0.0~beta2 has been released
| -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> |