ssreflect - Re: [ssreflect] [mathcomp-dev] Docker images of coq-mathcomp-character

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] [mathcomp-dev] Docker images of coq-mathcomp-character

From: Emilio Jesús Gallego Arias <>
To: Erik Martin-Dorel <>
Cc: , , Cyril Cohen <>
Subject: Re: [ssreflect] [mathcomp-dev] Docker images of coq-mathcomp-character
Date: Fri, 08 Feb 2019 10:57:17 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=Pass ; spf=Pass
Ironport-phdr: 9a23:h9rRZB9B6Dvsg/9uRHKM819IXTAuvvDOBiVQ1KB42uMcTK2v8tzYMVDF4r011RmVBdWds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+557ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiCgZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsaS2RfQ8hRUCJBDI2+YIUMAeUOMvpXoYbmqlsStBuzHxWgCP/1xzJKgHL9wK000/4mEQHDxAEuENcOsHXQrNX0M6cdSeS7w7fTzS3ZdPNZwTbz55LMchAlv/6MUrVwftLNxEk1FgPKlE6QopHiMjyLzekMvGuW4/Z6WeKokW4npBh8rz6yzckijYnJg5gaylHC9Shhz4Y1JMG4SE5mYdG/CpdfqyaaN45wT8g/QG9ooD43xqAFtJO4ZiQG1ooryh/FZ/CacYWE/wjvWPufLDtmnH5pZayzihWo/UWkxODwTMq53VlQoiZbndTAqHYA3AHJ5MedUPty5EKh1C6P1w/N7uFEJlg5lKXYJpI92LIwkYATsUvbEi/3nkX5krOWe1059uWr6OnreKvqqoGdOoNulw3zMLkiltaiDek2LAQCR22b9v691L3n8035WrJKjvgun6bHq53bKscWqrKjDw9SyIYj5A6zDy2639QAgXkHMFVFdQqcj4jyIVHBPv74DfOhjFuwjDdm3OvGP73kApXVNHfPirbhfbBn605d0gU/195f54gHQo0Gdd/pW0y5kdXCEh4/diCz2evjQIFwzIIdH2eGGLOYNubetkWF4souOeiQIoEP7mXTMf8gstPrjHs4nmg/cLI7xqw4YXS8E/thFGyDYHP3yoMMOXda5kw5VuO82w7KaiJae3vnB/F03To8Eo/zSN6bHtn80ozE5z+yG9htXk4DD1mNFXnycIDVCedcMGSVOMAzy2VYB4jkcJco0FSVjCG/06Buf7jEqnVesojshoAsur/j0Coq/DkxNPyzlmGAS2YlzHNYH3kxxq8t+EE=
Organization: X80 Heavy Industries

Emilio Jesús Gallego Arias
<>
writes:

> The thing is that I'd like to have a matrix with
>
> COQ_VERSION=xxx
> MATHCOMP_VERSION=yyy
>
> and use a substitution such as
> "mathcomp/mathcomp:$MATHCOMP_VERSION-coq-$COQ_VERSION"

See for example https://github.com/math-comp/fourcolor/pull/7/files

E.

[ssreflect] Docker images of coq-mathcomp-character, Erik Martin-Dorel, 02/07/2019
- Re: [ssreflect] Docker images of coq-mathcomp-character, Emilio Jesús Gallego Arias, 02/08/2019
  - Re: [ssreflect] [mathcomp-dev] Docker images of coq-mathcomp-character, Emilio Jesús Gallego Arias, 02/08/2019
  - Re: [ssreflect] Docker images of coq-mathcomp-character, Erik Martin-Dorel, 02/08/2019
    - Re: [ssreflect] Docker images of coq-mathcomp-character, Emilio Jesús Gallego Arias, 02/09/2019
      - Re: [ssreflect] Docker images of coq-mathcomp-character, Erik Martin-Dorel, 02/09/2019

List archive

Re: [ssreflect] [mathcomp-dev] Docker images of coq-mathcomp-character