diff options
| author | Théo Zimmermann | 2020-06-26 11:50:05 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-06-26 11:50:05 +0200 |
| commit | 7187b7aa4ca1918cdef8446c0efe2c821f71b498 (patch) | |
| tree | 49bf2d49f6edbcab3907f47dc0264b92fb22fda6 | |
| parent | d7d3c70e4167f7bf4216950297ae9be42e3d4b9f (diff) | |
Credit Erik Martin-Dorel for work on Docker.
| -rw-r--r-- | doc/sphinx/changes.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/sphinx/changes.rst b/doc/sphinx/changes.rst index 8427300dc4..e5c2056c40 100644 --- a/doc/sphinx/changes.rst +++ b/doc/sphinx/changes.rst @@ -55,6 +55,10 @@ Maxime Dénès, Emilio Jesús Gallego Arias, Gaëtan Gilbert, Michael Soegtrop and Théo Zimmermann worked on maintaining and improving the continuous integration system and package building infrastructure. +Erik Martin-Dorel has maintained the `Coq Docker images +<https://hub.docker.com/r/coqorg/coq>`_ that are used in many Coq +projects for continuous integration. + The OPAM repository for |Coq| packages has been maintained by Guillaume Claret, Karl Palmskog, Matthieu Sozeau and Enrico Tassi with contributions from many users. A list of packages is available at |