diff options
author | Thomas Letan <lthms@soap.coffee> | 2021-03-28 00:03:41 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2021-03-28 14:19:29 +0200 |
commit | 495f9db0606b0ed09e6fac59dc32de4cdc8c0087 (patch) | |
tree | 82ea5c5e247c664de247a0f3818f393ffdb00067 /site/news/index.html | |
parent | Release of coqffi 1.0.0~beta4 (diff) |
2021 Spring redesign
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 |