diff options
| author | Thomas Letan <lthms@soap.coffee> | 2021-08-20 11:33:28 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2021-08-20 11:33:28 +0200 |
| commit | 33fab92f2af1594d118c0c7748819108030eb1ff (patch) | |
| tree | a2eb1f8605343f9280530f9d2c678aa651a33d59 /site | |
| parent | Improve the graph of dependencies of the Echo server (diff) | |
Advertise the release of coqffi beta 6 and 7
Diffstat (limited to 'site')
| -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> |