diff options
Diffstat (limited to 'site/news/index.html')
-rw-r--r-- | site/news/index.html | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/site/news/index.html b/site/news/index.html index 5a0331e..43315c0 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -4,6 +4,21 @@ <ul> <li> + On <strong>March 4, 2021</strong>, + FreeSpec packages + (<code>coq-freespec-core.0.3</code>, <code>coq-freespec-ffi.0.3</code> + and + <code>coq-freespec-exec.0.3</code>) have finally been released. + </li> + <li> + On <strong>March 1st, 2021</strong>, <code>coq-coqffi.1.0.0~beta5</code> + has been released. + </li> + <li> + On <strong>February 24, 2021</strong>, <code>coq-coqffi.1.0.0~beta4</code> + has been released. + </li> + <li> On <strong>January 27, 2021</strong>, <a href="https://github.com/lthms/FreeSpec">FreeSpec</a> has been relicensed under the terms of the |