diff options
| -rw-r--r-- | site/news/index.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/site/news/index.html b/site/news/index.html index 43315c0..3e8842c 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -4,6 +4,14 @@ <ul> <li> + On <strong>August 20, 2021</strong>, <code>coq-coqffi.1.0.0~beta7</code> + has been released. + </li> + <li> + On <strong>June 21, 2021</strong>, <code>coq-coqffi.1.0.0~beta6</code> + has been released. + </li> + <li> On <strong>March 4, 2021</strong>, FreeSpec packages (<code>coq-freespec-core.0.3</code>, <code>coq-freespec-ffi.0.3</code> |