coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Latest Coq does not install smoothly using opam on ubuntu 16.04

From: Christian Doczkal <christian.doczkal AT ens-lyon.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Latest Coq does not install smoothly using opam on ubuntu 16.04
Date: Wed, 14 Nov 2018 00:23:31 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=christian.doczkal AT ens-lyon.fr; spf=Pass smtp.mailfrom=christian.doczkal AT ens-lyon.fr; spf=None smtp.helo=postmaster AT labbe.ens-lyon.fr
Autocrypt: addr=christian.doczkal AT ens-lyon.fr; prefer-encrypt=mutual; keydata= xsFNBFIuNbYBEADAiZlQsnkRrXHOkaZ2mZIVNxzcBha3+HhZ8IhtxF4t5QXRNWFLtdwBuE8u D0GMB/Lacm/LujwcI756cPM/7PhrUFAyn1IrYHYsK4/O5gBEgbSBRjD0X8mJ0V3oIm/PtjMC YiXBJwzOMNXOeWp+HcyCR0eh2sQD94gbF9SUOKDoamNB3DbLEHKjYPJ9O3zQw/Xai624OXB0 Wk5yIW77I1mGWhwbWxeHOJ/NmhHEU38YfbxXSzCLeMv98bNTej4oA+cPtMZ94AZOSy/oroMh rsr6wA9PL7NS+B1kRbgv6a5KL9latAI7zPeXcVsYw076rL850PLez/SXDuIr9mud4v8Zvcp9 65vTK4lTAD4C4vneNRGt4iwCOIgGsAN6BgqEgr7EwLX8dAX57OXPKZj0/0TdCbu+qsoSrQ3u +Ul6k374jFeIndqg/e9NiJbHjYAuug3cZZ6mH24SXWtTd4hGWi6f26tQQcRyGiduZkw5Wn26 g0UVgps7o2zHwlp9LJVjL3pCw7a9tKOfZaH+h7dV5JsA/Oq+7F3PhTbyNagi4A9igw+0qU+n Ws/nZDVMRiUv+1HY4PG8q6iEGSfHHjwW8InYS+Ah3stTddJ0sLc+0AGutx8ueTE2Ks14c4c8 aNW5y9bNFI/6/UQmOOwGmBeYC/kjZhjhsC3dTJ9uX4pXlMhpLQARAQABzShDaHJpc3RpYW4g RG9jemthbCA8Y2hyaXN0aWFuQGRvY3prYWwuZGU+wsGYBBMBAgBCAhsDBgsJCAcDAgYVCAIJ CgsEFgIDAQIeAQIXgAIZARYhBOo4ombxzcKdfZnmgo+wd0icZLmNBQJbl/90BQkLSv0+AAoJ EI+wd0icZLmN5mMP/29bOCdd3/NNWnAlqqYCK01deHyPf/7ozwprv9FyYB2Pt6fxCeoru5Gh LKYFYhldmWVQ/nvvk4eMUfXQKosjeqlr1OjKC3JcHhop8SnoAHI7YQ6JzsJnRSZH0oXhuRYb omhUrRC5UtIfbz1UedXDreHY3tblh5BT3301iOTrw7DASreMp17xpOAHIip2tEc9fUthWCaj 6gA4F4RXpvsbkC8eeQB3DZNNKQ4jsjSC3+NZYQ6n2a+bQkGo0OHlphASn/M2ckimUhTAbhMl qrTxD5fDaEaHoom1WUl945aogFh5Y984x6QH8BknBLs+hnmcDBksZJmGIy8LrEA0urcG+NJm IFV2qvp+6wHUBwXpj8LS8hByU16u0JvGcmrUlfUX+3PM8PsJqKIZXN8WTxHu/d/D4Fo8MX2Y QA4IZ/qdybtFqV2/Q2x7d+9fBVMsGyYqnjuz5dczvOKTLsNffDBUblmxJbuuSy4GUVUPk8jO nRJyGWfyFxdko87g/5K2IO8OK+7fzueBDrx6JAEEN+prRqTPAqSEPI/ku/ddUDAohxd5oDM9 tQbC8MwDtt2OsXY2Md8AhV7NVX2rQcFHIFdE73XNtCSDV7oEjvQToQL49Wsp+qtV5F65t0MS Rc8pTg6+LocDrGRVpQFsC+MpJTvOw89clFRFqUnJ7VaO8IcSHvuTzsFNBFIuNbYBEACygpK2 VY5uya+sGZHmDD7PjgrSAmyC33ETgyrDPycRHXMW6/fVAORhoveDlxsb5EH+ci0MRoQs6yyV W66Qb5frLYO9v/A62Bggkpe9oMS00yJ3xcRLx98RqQT/6DF3Ro5Po8VgOPKKc7GmqwXfT8bx TWaFowfY3YMwT6TTGv8pMOAE1Qtn8wucbqOH8FLJdVrvAxS2zFcEhxlwqplekGFF39ItxCpz ZCkR92t63eybKwtP+pQS/LC6E+eCtyejRoounc2pYTsnLEiOEfHM3JaH90SMuTIf2f66r+Hd DoGNm+0DmJxqyE1bcguVKsxjGcdHZ0K+QZu2Dh2gjC/y4zKGI9qLxYds42lOiP7Jsd7LVZDE aZqge/3GD5LZKRlfCvUtJegoInqZ/acplNPzQgRSl6z7qKKys9Pl+o+mLEsuzydSghCIdp0j 3YQe/+Hs8Nwwfwjn0xPBGPsWz6UxeA3yPuAEa2z/edwuGdiQu8R1Bqh/g/00NqmIk5nx3WU6 871mBwhEQKWSqtRK3aZe5h3xZ8MqAwfDqkvUFn8M90JfE3qBTz+S3UuDx5BKqINrx4+p4yZy wy1HFOThilaxorvKnTBsiCTXsmOnhnJfuEUfojSWglUsCwwfqLW8QoNnHphgH70yOBhqcMV7 n/P6/CS/ZfSYK/88Nlq6ImcDiQ4T6QARAQABwsF8BBgBAgAmAhsMFiEE6jiiZvHNwp19meaC j7B3SJxkuY0FAluX/3QFCQtK/T4ACgkQj7B3SJxkuY24YhAApwTdvRxppSS6i8odx/5W2Qyl 1kINSs5U4jHC/xFMK1IWCytC5vbbBzYIEH6rZwCU1vtIP0PcBrCwwMk2h7YD1MpvIxVrT7+O WHxxJUsHVEs8vNGSsXMOVrA+KH6byorXuI+3oc3oCRdJydSZTxRsEQ2kaFYoPnEA6o7St3wj n5bE4CHKreIAf+OMe/c1kn3amoOuESzJrYVVqvnkQkMxTWjh+p0lHKZl3vzkzEWMd8HqrJrS wJuJHB0XRkem5pZjnJ4OYJXk9kyJsIltym0cwxhSM4/4HMel77KJxHShr/1YFFmL6sUp5LXf f2FlVEGo/lzfgu0tqfFU4ZMM08Wxt9I1PK4IwoHIt3Tm4qZucJL13SNjo65OcM9sg7UEtQx4 xOBngtHz9l4pwtyHh/Ll5dYIAsR+3psxE2YDPoYjNSI7eDPNJ4Y2zAffPavAoXjoZU/+kdBu wVigKBaP58fiqs1jaEV9rVj2ja28Yj3U8Ht5eopidC2KjKDRhudvlghPfCbIoVxOcetptrxB c7WyfwsssiAIHHUHZ1XofTdgYcffS3SlpsW9QyxouJ7AXbZTq+Jxh2zt+j2wbz6dFITBjHvF ELONTQRqdruGr2z3UGHDAXVERx4HFTzFE0CDew9cxjzSsP99X9dQWOKNwXWy1wIICd3Rm5tm QJ49zkESt0o=
Ironport-phdr: 9a23:WkSiDh/Of6aAu/9uRHKM819IXTAuvvDOBiVQ1KB41O0cTK2v8tzYMVDF4r011RmVBdqds6oMotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+55/ebx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTFUACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMMvrRr42RDui9b9mRgHmiCkHKjA382/ZhcJ/g61ZvB2svBN/z5LObY+SKPZzcKHQcNUHTmRBRMZRUClBD5uiYosPFeoBPP1Yr5X8p1QUqxu1GAeiBOTzxT5JhX/5x6k62PkmHA7a3AwgBdMOsG/IrNX0LqgSV/q5w7TPzTrfbvJW2i3y6IzTfx8/p/GMRqt8cc7RyEkoEQPJlFuQqZb8Mj6Ty+8DsHCb4vJ9We+gl2IrsQN8rzq1yssxi4TEhJgZxk7a+Sln2Io4JsO0RFRlbdOkDZdcrT+WO5Z1T884Xm1kpiU3x7sbspChZicK0o4oxxvHZvyHbYeI5hXjWf6VIThin31qY6ywiwys/kim0e3wT8200VZNripDiNXMuGoN2wTS6siBVPR94l+s1SuA2gzP8O1JI0I5mbDGJ5MgwLM8jIQfvVrdEiPunUX5lq6WdkEq+uiy7OTnZ63rqYOcN49uiwH+Kbgums2lDuQ+KAQBQm+b9vi91b3g50L5RK5HgeMwkqnCqZzaIcQapqm/AwNP3IYj8Q6zDy2639QAgXkHMFVFdQqbgIjuIlHCOez3DfOig1u3izpr3PDHPrj5AprXNHTDkbHhfax860FG0gYzw8pftNpoDeQKJ+u2UUvsvvTZCAU4Okq62bXJEtJ4g6geQ2OUHq6QNuv+tlSa5esra72HZJUUoyr8Iv5j6/nln3wwnXcQe7Ls2YoQbja2BKI1cA2ifXPwj4JZQi8xtQ0kQbmy0QzQYXtof3+3GpkEyHQ+AYOiA53EQ9n20rGHx2K/D5pQIG5cWAnVTSXYMr6cUvJJUxq8Z9d7m2VfB7WnUMolxBao8gHgmeI+c7jkvxYAvJem7+Bbou3ekRZrpG5wBs6X3ieASXoxmnIPQXk4xvInrA==
Openpgp: preference=signencrypt

Hello Arthur,

> - The opam package for coqIDE associated with coq=8.8.2 is only distributed
> in opam2 format

Good point, I only pushed for the coq package to be in the coq-released
repository (which is still in 1.x format). I suppose there is no reason not
to add the coqide package as well.

> - opam2 activates sandboxing by default, using bubblewrap >= 2.0 (program
> name bwrap)
> - ubuntu 16.04 distributes only an older version of bubblewrap

As far as I know, not even Ubuntu 18.10 ships opam-2. I would already
consider manually installing opam as "not smooth" (as in, it leads to
programs being installed that no package manager knows about).

> - opam2 installation scripts fails with an obscur error when using the old
> bubblewrap.

I'm not surprised...

Best,
Christian

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] Latest Coq does not install smoothly using opam on ubuntu 16.04, Arthur Charguéraud, 11/13/2018
- Re: [Coq-Club] Latest Coq does not install smoothly using opam on ubuntu 16.04, Christian Doczkal, 11/14/2018
  - Re: [Coq-Club] Latest Coq does not install smoothly using opam on ubuntu 16.04, Théo Zimmermann, 11/26/2018
    - Re: [Coq-Club] Latest Coq does not install smoothly using opam on ubuntu 16.04, Vadim Zaliva, 11/26/2018