diff options
| author | Thomas Letan <lthms@soap.coffee> | 2020-12-16 19:42:11 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2020-12-16 19:42:11 +0100 |
| commit | c49efbdb6c7014c1b5d25e814892c32a273a9521 (patch) | |
| tree | d63561958289680381bb6cf180a4fd3d404f313a /site | |
| parent | Fine-grained dependency for literate programming build process (diff) | |
FreeSpec has been published to Opam
Diffstat (limited to 'site')
| -rw-r--r-- | site/news/index.html | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/site/news/index.html b/site/news/index.html index b64ff13..57aab58 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -2,12 +2,17 @@ <ul> <li> + On <strong>December 16, 2020</strong>, FreeSpec packages have been + published to the <code>extra-dev</code> repository of the Opam Coq + archive. + </li> + <li> On <strong>December 10, 2020</strong>, <code>coq-coqffi.1.0.0~beta2</code> - has been published to the <code>opam</code> Coq archive. + has been published to the Opam 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. + has been published to the Opam Coq archive. </li> <li> On <strong>November 16, 2020</strong>, we have been notified that |