diff options
| author | Emilio Jesus Gallego Arias | 2018-09-21 14:26:41 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-09-24 11:41:12 +0200 |
| commit | d079e1571ccc282ee78810008761f7bbeca9459c (patch) | |
| tree | e94d85482544569b0f122bce477fc7495ed74495 /kernel/inductive.ml | |
| parent | 92fbd7383c3897b3932b0ad95afa0982d2d8a7e3 (diff) | |
[ci] [docker] Move to OPAM 2.0
The OPAM 1.2 repository has been frozen, thus we must use OPAM 2.0 if
we want to get newer versions of packages / compilers.
For now we must perform a manual install of OPAM as no packages for
Ubuntu 18.04 exist.
Note that this means nothing about the installability of Coq itself,
whose OPAM repository should remain in 1.2 format for quite a long
period.
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions