diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-10-08 22:29:12 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-10-08 22:29:12 +0200 |
commit | c0986e7ea3c4be251de869acd6c0ab01b1ac1996 (patch) | |
tree | bac97a21e20d827e3083aae0f45c91f8f359ffe7 /site | |
parent | Use Linux Libertine (diff) |
coqffi has been published!
Diffstat (limited to 'site')
-rw-r--r-- | site/news/index.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/site/news/index.html b/site/news/index.html index 1664aed..a74f2ea 100644 --- a/site/news/index.html +++ b/site/news/index.html @@ -2,6 +2,12 @@ <ul> <li> + On <strong>October 8, 2020</strong>, <code>coqffi</code> has officially been + published as + a <a href="https://github.com/coq-community/coqffi"><code>coq-community</code>’s + project</a>. + </li> + <li> On <strong>April 17, 2020</strong>, my first contribution to Dune <a href="https://github.com/ocaml/dune/pull/3384">has been merged to <code>master</code></a>. |