diff options
| -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 |