coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Erik Martin-Dorel <e.mdorel AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] [ANN] Docker images of Coq
- Date: Wed, 7 Nov 2018 11:07:43 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e.mdorel AT gmail.com; spf=Pass smtp.mailfrom=e.mdorel AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f44.google.com
- Ironport-phdr: 9a23:cbIlexKl3BbmMG45w9mcpTZWNBhigK39O0sv0rFitYgeKPXxwZ3uMQTl6Ol3ixeRBMOHs60C07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffwdFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhygdNzA5/m/ZidF+grxHrx+6vRNz35TZbZuJOPZifK7Qe84RS2pbXsZWUixMGoyyb5EOD+oCIO1WqJPyp0ESrRu/AwmgHe3hyjhShnDo2a0xzuMsHh/c0AwlAt0Ot27Uo8vxNKoJXuC1ybPHzTTHb/9MxTj9743IfwknrPqRU7xwds/RxlMuFwPDlliftIvlMC+W1usTqWiX9fZvVeWqi2I/pAFxoySvxscxiobSnI4a1lfE9SBhzIYwP9K4UlJ7Yd+iEJdJqi6aMJF2Td0mQ21yvyY60LIGtJimdyYJ0JQq3wDTZ+CDfoSS4R/uVPydLSlmiH54Yr6yiBm//E69wePmTMa0ykxFri9dn9nMqH8N0xvT59CCSvRn/0eh3S+D1g7J6u1ZOEw0m6XWJpE7zr4/kZoTtkvDHivol0nskKCWcUAk9vCp6+ThfLrmuoeRO5Fohgz6KKgjmcyyDf4mPgQQQmSX4+ux2bL78U38WrpKj/k2kqfDsJDdIMQWvrC2DxVQ0ok+7Ba/FSmp0NADkHkIKVJKYhOHj4zzN17SJ/D4CO+zg06wnzdz2/DGIrrhD43RIXjEibftZKpy60pByAUo1t1f/JJVCrQZIP3pQEPxtdrYDgU4MwOu2ernBs99hcsiXjeEBbbcO6fPu3eJ4PguKq+CftwvtS75OsQisvP0jHx/nFYHYaivmJcQcn28NvlgOACdcH3qxNAbHjQkpA07GcHwiV7KdDdJe3e0Go47/Dw/QNarS4LPQZqghJSO2S66GttdYWUQWQPEKmvha4jRA6REUymVOMI0ymVVB4jkcJco0FSVjCG/zrNmKuTO/ShB7MDs0dF046vYkhRgrGUoXfTY6HmESiRPpk1NXyU/hfktrkl0y1PF2q990aQBSI5joshRWwJ/Dqbyiux3D9eoB1DEd9aNDUm8G5CoXW13QdU2zNsDJU16Hof6gw==
Dear Coq developers,
We are happy to announce the immediate availability of official Docker
images of the Coq proof assistant:
these images are distributed via the Docker Hub registry
https://hub.docker.com/r/coqorg/coq/ ; they may typically be used to
setup Continuous Integration for your projects, but also to perform
some quick experiments with a specific version of Coq, e.g.:
$ docker run --rm -it coqorg/coq:dev rlwrap coqtop
A Docker image is provided for both the development version of Coq
(nightly build at 00:05 UTC) and the last patch-level of each release,
from Coq 8.4.6 to Coq 8.9+beta1.
A detailed documentation of these images is available at the URL
https://github.com/coq-community/docker-coq/wiki along with guidelines
to install Docker, and CI config. templates for Travis CI and GitLab CI.
As another example, note that this Docker-based CI approach has
already been implemented in the Paramcoq project (hosted in the
coq-community organization https://github.com/coq-community/paramcoq)
to test it against several versions of Coq.
Kind regards,
Erik
We are happy to announce the immediate availability of official Docker
images of the Coq proof assistant:
these images are distributed via the Docker Hub registry
https://hub.docker.com/r/coqorg/coq/ ; they may typically be used to
setup Continuous Integration for your projects, but also to perform
some quick experiments with a specific version of Coq, e.g.:
$ docker run --rm -it coqorg/coq:dev rlwrap coqtop
A Docker image is provided for both the development version of Coq
(nightly build at 00:05 UTC) and the last patch-level of each release,
from Coq 8.4.6 to Coq 8.9+beta1.
A detailed documentation of these images is available at the URL
https://github.com/coq-community/docker-coq/wiki along with guidelines
to install Docker, and CI config. templates for Travis CI and GitLab CI.
As another example, note that this Docker-based CI approach has
already been implemented in the Paramcoq project (hosted in the
coq-community organization https://github.com/coq-community/paramcoq)
to test it against several versions of Coq.
Kind regards,
Erik
--
- [Coq-Club] [ANN] Docker images of Coq, Erik Martin-Dorel, 11/07/2018
Archive powered by MHonArc 2.6.18.