coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] ANN: (docker-coq: Bump to Debian 11) & (docker-coq-action: Remove ocaml_version: "minimal")
Chronological Thread
- From: Erik Martin-Dorel <e.mdorel AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] ANN: (docker-coq: Bump to Debian 11) & (docker-coq-action: Remove ocaml_version: "minimal")
- Date: Mon, 20 Jun 2022 22:05:25 +0200
- Authentication-results: mail3-smtp-sop.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-pf1-f171.google.com
- Ironport-data: A9a23:OGgHqK8Ft091RwREgj8pDrUDE3iTJUtcMsCJ2f8bNWPcYEJGY0x3m jFMXmuEbKmJZGH1Ldl/at/ipx5X75bczdYwGQNopStEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHvymYAL9EngZqTVMEU/Nsjo+3b9j6mJUqYLhWVnV5 4mq+5G31GKNglaYDEpEs8pvlzs05JweiBtA1rDpTa0jUPf2zhH5PbpHTU2DByOQrrp8QoZWc 93+IISRpQs1yfuC5uSNyd4XemVSKlLb0JPnZnB+A8BOiTAazsA+PzpS2Pc0MS9qZzu1c99Z0 dZLtYeZbT0SJ6iLoaNBfhVDFCd+MvgTkFPHCSDXXc27ykTHdz70zawrAhhpZMsX/eF4BWwI/ vsdQNwPRkrb1qTmnfThE7Eq35t6RCXoFNt3VnVIwHfcAfE8TJTrTKDD5Nse1zA17ixLNa+BP JBAOWY2BPjGSyEUMV0eApJnpb+1tGCuUDl681KfgKVitgA/yyQoiOS3WDbPQfSBQtwQlUKFr Erd7mHhC1cbMsaewHyL6BqRavTnmCr6XMcKGuT9+Kc12RucwWscDBBQXly+yRWktqKgc8tcL UwP0w4UlrE3s3XsEvTxRBq+oHHR63bwROFsO+E97QiMzI/d7ACYGnUIQ1Z9hDoO5J9eqdsCh g/hoj/5OdB8mObKFi/Fp994uRv3aHdFdzZTDcMRZVJdu4GLnW0lsv7Yoj9e/EOdi9T0HXToz WnPonFh3vMciskE06j99lfC695NmnQrZl5ojuk0djj9hu+cWGJDT9LxgbQ8xagZRLt1tnHb4 BA5dzG2tYji962lmi2XW/kqF7q0/fuDOzC0qQcxQsR+q2X9oCX/Jto4DNRCyKFBYpZsldjBM B+7hO+tzMI70IaCNvMrOdPvUazGM4C5SoS+CJg4keaikrAoLFPdlM2fTUGX2G/pnSARfVIXa P+mnTKXJS9CU8xPlWLoL89EiOND7n1gmAv7GM+jpzz6gOL2TCPEEt8tbQreBshntv/siFuOq L53aZDaoyizpcWkPUE7B6ZIfQ5URZX6bLiqw/Fqmhmre1o7STh6WqeNmdvMueVNxsxoqwsBx VnlMmcw9bY1rSSvxdyiZi8xZbXxc4x4qH5nbyUgMUz5iXcmaIerqqwYcsJvL7Ug8eViy99yT uUEK53QWKQRFmyf9mRPd4T5oaxjaA+v2lCDMi+jVz41IMxtSgnPzdn7c1a97yIJFCe26ZAzr uT4hAPWSJYOXSp4C8PSZK79xl+9pylPl+d7Xk+OKd5WIR2+/I9vIi33r/k2P8BccUWZlmXGj 16bWE5Kq/PMrok59MjyqZqF94r5QfFjGkd6HnXA6enkOCTf+F2ly9ASXeuNewfbSzqoqqivY ONiz8b8PucCq1BEvtcuCL1s168/u4LiqrIDlVZkEXzHYk6RB6tkM2WB2cUT5KRByqUA41m7X FnK/shdP/OOIsy8SAwdIw8sb+Ki0/AIm2iDvKtleBqgviInrqCaVUhyPgWXjHAPJrVCNo54k /wqv9Qb6lDihxcnboSGgyRT+zjeJ3AMSf975JQTAYuukgRyj18bPsWaBSjx75WCLd5LNxByc DOTgaPDgZVax1bDIyVvTymThbIFiMRcog1OwX8DO0+NxojPiMgx0UAD6j8wVAlUkkhK3r4hI GRtLEEpd6yC8y0y2JpGVmGoXhlPXViXoxOojVQOk2LdQg+jUWmUdD8xPuOE/UY49WNAf2gEo OvJlj69CTu6Ltvs2iYSWFJ+r6CxR9JG8ACfytusGN6IHsVnbDfo6kN0ibHkd/c67QINaEz7S S1C+e9xbejjO3dVrfRkUs+V0rMfTB3CL2tHKR2kEGXlAkmEEAxeGxDXQ6xyRi+JD/PP+E68T cdpI6qjkjyggT2WoGlz6bEketdJcT1A2DbGUrzuLG8C9bCYq1KFdX4WGjfW3AcWfjmlrSrxx k49ud5P/qx8SEa4Q1PwkfQ=
- Ironport-hdrordr: A9a23:/uZH3qHa9EiLG0VnpLqFL5HXdLJyesId70hD6qkRc20tTiX8rb HZoB1173/JYVoqKRIdcLO7Sc+9aFfR74R874VUF7GkQQX2pQKTXfxfBOnZslnd8kTFn4Y2tJ uIFZIOauEYZmIK6voSjjPIduoI8Z2s+KqoiaPzyGp3XWhRGt9dxjY8IA6QE0EzZCQuP+tIKL OsouBAuz28YmRSRMK3ChA+Lpf+juyOsJ79exYJC1oc6BqD5AnYk4LSIly+1gofVTRGxPMJ92 XI+jaJnJmLgrWc8T/z90j60rRwtp/A87J4db+xo/lQEB3SpiyPXbQJYcz/gBkF5N+SzBIEq/ /pyi1QSvhb2jfuQkXwmjfV/jnc9l8Vmgjf4G7dv0fG5fHZaBYXYvAx/b5xQ1/m125lgfcU6t M+40up86RKCVfrnSz74NTMagFymiOP0AsfuN9WsWBaFawXdaNLoeUkjTFoOaZFGTv8rIQuEO xvC8+03pprWGLfamnf+nN3yNioUms+G369LHQqi4iRyj8Thmlwy1AR2cwZkB47m64Vet1B7+ TAdqtpkaxDVcJ+V8kRONs8
- Ironport-phdr: A9a23:k1PyKx9AhM+q4/9uWea2ngc9DxPPW53KNwIYoqAql6hJOvz6uci4Z wqGvqwm1QOUFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9q52uyo5pHebRhEiDWgbb59L Bi9sBncuNQRjYZ+MKg61wHHomFPe+RYxGNoIUyckhPh7cqu/5Bt7jpdtes5+8FPTav1caI4T adFDDs9KGA6+NfrtRjYQgSR4HYXT3gbnQBJAwjB6xH6Q4vxvy7nvedzxCWWIcv7Rq0yVD+/7 alkVQXohT8IOD4j8G/ZhM9+gr9Frh29vBFw2ZLYbZuPOfZiYq/Qf9UXTndBUMZLUCxBB5uxY YQVD+oAPuZTso7zqEEUrRuiBAmsAvrjxDFPhn/sw6I61/kqHAbY0wA6GtIBrXPUrM/rO6cWS u21w6zIwi/Cb/NSwzvy9I/IchU4rPyKQLl/ftbfx1M1GAPZklWft5blPzWN2+kDs2aW4PZtW +yyh2Aotwx/oiWiytoth4fGmo4YyFPJ+CZ3zog7JNC0VFB3bcOkHpdOqSyXN4h7T80+T2xpu Cg3zKANt5C8fCgP0psnxhjfZuSafIiJ+RLsSOGRISpihHJ+Zr2znRmy8VKnyu3hTsm4yFNKo TBfktnQt3AN0QXf5dWASvtn4Eih3SyD1wfJ6uFLJ00/iKnVK4Y5z7IuipYetV7PEyz2lUnsk qOaa1ko9vK15+nlf7nroIKXOZVuhQHkKKsun9SyAeQmPQgKWGiW4eG826fi/U39WblKlvM2n rTAvJDUOMgWpLO1DxVa0oYk7Ba/ADOm38oCkXYbK1JFfQqLj4nvO17QPPD1Femzj0ionTtxx P3LPqftDovQInTfirvtYLRw51NExAo2199f5pZUCr8bIPL0X0/8rMLXAgU8MwOpxObnEsty1 ocFVGKAB6+WKqLSsVuS6u0zJOmMYZcZuDDmJPc9/f7hkWc5mUMBfamuxZYbdWi0Hu56LEWBf XrsntABHH8WsQo5VezmkUGNUTpOZ3mpRK88/TE6CIe+DYjZXIytgbqB3D26HpJMfGxGBEqMQ j/UcNCPXO5JYyaPKOdglCYFXP6vUdwb2AmqpTP9nrd9L+mS/yQCqZPlkdRy/eDXvRw07nlwH sOblWaXQDJahGQNEhIs3aM3hEVn1laFlIR/mfFcXYheofZFVR03MbbTyuV7D5b5XQeXLYTBc 0qvXtjzWWJ5ddk22dJbOy6Vev2nhxHHhG+xBqMN0qeMHNoy+77d2H74I4B8zWzH3e8vlQpuW dNBYEuhgKM37A3PH8jRiUzMmuCveaMG0Srl+2KKzG7It0ZdA0ZrSauQZXkEfQPNqMjhoEbLT rugE7MiZwYHzMKFMKZOQtLshFRCAvzkPYeWeHq/zkG3AxvA3baQdMzqdmEaiT3aE1QBmhsP8 GyuMAE/AmK5rTubAmUxTBTgZETj9eQ4o3S+JqMt5yeNaUApl7+8+xpOwOeZV+tWxbUc/iEot zRzGl+5mdPQEduJ4QR7Lu1aZpsm7VFL2Hi81UQ1N4G8L61kml8Vchhm90Lo2RJtD4xckM8s5 Ho0xQt2IKic3RtPbTSdlZz3P7TWLCH18nXNI+bbnFTS18yb/o8A7f05rxPouwToXksu/nN70 sVEhmOG78aCBw4TXJTtF0cvokIi9veKP29nvtuSjCI1YszW+nfY1tkkBfUo0EOldtZba+afE RPqVtYdH46oIfArnF6galQFOvpT/eg6JZDDFbPO1ai1MeJnhD/jg35A5dU33wSJ+y1mR+rg0 JMMwvXe1QyCHWSZ7h/pooXslIZIaCtHVGf5zCTjHoNVTqJ3dIcPT2ypJofkjsU7jJnrVXlC8 VelDF5Tw86ldy2ZaFnl1BFR30AayZC+sROx1Cc80zQgr67EmTfL3/ynbx0ffGhCWGhli17oZ 4myldETGkayPUAlkx6s5ECywKY+xuw3Ii/WTUBScizeIGRrU6/2vb2HK8JC85IntyxLXf/0O wjLDO6g5UFDi2W6QDIWzStzbzywv5TlgxF27QDVZG1+qnbUY4A4xBvS4sDdWe8E2zMHQCdij jyETlO4PtSv4ZCVj8KZ6rH4Bz/nDMQLN3C0lNDl1mPz/2BhDByhkurmn9TmFVN/yirnz5xxU j2Oqh/gY47t3qD8MOR9f0AuCkWvjqgyUox4jIY0g4kdnHYAgZDAt3dBlGv0K9hf8a37ZXsJA zUMxpSGhWqtkF0mNX+Py4/jAz+QhM5tYMO3ZksZ3ys864ZBD6Lev/RU2CBypFS/twfYZ/Nwy ywcxfUZ43kfm+gVuQApw3b4YPhaDQxCMCfrjRjN88GmofAdejO0abbpnhk2jZW7AbqFuA0ZR HvpZsJoA3pr9ssmVTCEmHzrttO/JZ+JPIpV7EHL1U+H1bQdKYptxKRWw3A8YiSk4yVjk6li3 FRvxc3o4tbBcj03uvr/WlkCbliXL4sS4m2/0/gYxJrHmdD3WM0mQG1DXYO0H63yVmtO8622b UDWV2Rs4naDReiAQUnGshog9zSXVMn1UhPfbHgBkYc7HEnbfRMAxlBSBHJgx9Y4Dlz4nZO6N h4ounZJoAa/80UEy/o0ZUOnAyGP+UHxMGdyEN/Gc380pklD/xuHa5XAqL8jWXgJpNv561XcY m2DO1YSVD9PABfVQQu5eOHpvIiI5eGcAqDWw+LmR7KIpKQeUv6JwcnqyY5653OXMd3JOHB+D vo9004FXHZjGs2flS9dAyoQ3znAacKWvnLesmV+s9y//fL3WQnu+ZrHCr1cNs9q8gy3hqHLP vCZhSJwIzJVnp0WwnqAxL8a1V8UwyZgElvlWawHrjLIRbnMl7V/Chcab2ZrOpIN4ftjh09CP snUjt6z3bl9z7Y0B1pDSV39i5SpaMgNcATffBvMAEeGMqjDJCWemZmmJ/PhD+cJ1KMN6ETj3 FTTW1XuNTmCiTTzAhWmMOUXyTqeIAQbo4alNBBkFWnkStviLBy9Kt5+yzMskthWzjvHM3ARN T9kfgZDtLqVuGlVxPBzHHZM6lJqKOCFn2CS6OySefN0+bN7Rz95ke5X+iFw07xO8CRNX+B4g gPXp99q5kmoy6yBk2U+FhVJrTlPicSAukAoasC7vtFQHH3D+hwK92CZDR8H8sBkBtPYsKdV0 tHTlaj3JV+qEvrR9MoYQtDacYeJaSV4dxXuHzHQAU0OSjv5bQk3YmRSlfiT8jueqZ1o8vAEd 7IBT7ZaUBo+EfZIUyxY
- Ironport-sdr: O4PwLjBea+2PlWFSvDlyD2WOhCqtVsI6/nvOjfl6RGM2+dlVmps00t2gX0e0eUds7FyPriTolr MY3S/bnH5bkBAOiADudzhJqcnDyqWZe5D4IMYLSA/08yVoJTF+yZXvcE9Sp/SCipcPPe8cs+hH hdnaSCmfWL0oXfkIv7vBkmndj2vOEsWNHKTtuKKXoSrStz2NM6xgwqwsacRsy25Hm84Zr7tRPQ /d1oWg7KzVb5U9+FZ6IIJFDzYRKoD4an9NWtqsv7EQXk4zAWGzB/Uei9fo+u7eNFzAfBCSMj1K h3qTVz0tjPl2tFV2lbTObmhc
Dear Coq users and developers,
If you use docker-coq images and (install Debian packages manually or use the docker-coq-action with
ocaml_version: "minimal"
), then you could be impacted by the upgrade planned on next Monday 2022-06-27.See https://coq.discourse.group/t/ann-docker-coq-bump-to-debian-11-docker-coq-action-remove-ocaml-version-minimal/1702 for details; and feel free to comment over there if you think you are impacted by these changes.
Kind regards,
Erik
- [Coq-Club] ANN: (docker-coq: Bump to Debian 11) & (docker-coq-action: Remove ocaml_version: "minimal"), Erik Martin-Dorel, 06/20/2022
Archive powered by MHonArc 2.6.19+.