diff options
| author | Thomas Letan <lthms@soap.coffee> | 2021-01-30 09:52:16 +0100 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2021-01-30 09:52:16 +0100 |
| commit | 64c09ae2326ced1ea154bfd3b02f633a3dccc4e0 (patch) | |
| tree | 45224e26961a931f239c7cab454b606aaa6bbaef /site | |
| parent | Prepare coqffi.1.0.0~beta3 release (diff) | |
Add some news about January, 2021
Diffstat (limited to 'site')
| -rw-r--r-- | site/news/index.html | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/site/news/index.html b/site/news/index.html index 6fb56c2..5a0331e 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -1,5 +1,23 @@ <h1>News</h1> +<h2>2021</h2> + +<ul> + <li> + On <strong>January 27, 2021</strong>, + <a href="https://github.com/lthms/FreeSpec">FreeSpec</a> has been + relicensed under the terms of the + <a href="https://www.mozilla.org/en-US/MPL/2.0/">Mozilla Public + License version 2</a>. + </li> + <li> + On <strong>January 24, 2021</strong>, <code>coq-coqffi.1.0.0~beta3</code> + has been released. + </li> +</ul> + +<h2>2020</h2> + <ul> <li> On <strong>December 16, 2020</strong>, FreeSpec packages have been |