coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Théo Zimmermann <theo.zimmi AT gmail.com>
- To: coq-club AT inria.fr, coqdev AT inria.fr
- Subject: [Coq-Club] Coq 8.8.2 is out!
- Date: Wed, 26 Sep 2018 17:22:02 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f68.google.com
- Autocrypt: addr=theo.zimmi AT gmail.com; prefer-encrypt=mutual; keydata= xsFNBFP+V00BEADi9eGxuXfvs0HxaYDxrOBpCJWakA4+lCi3KUGqNS5Xq0V7q+BWZZmF/pOO x4EemIickFV+DA/Yp9542XWw1vMK3uGAUpnB4sUvD+qPDnRFHDZH60p1b8rRzukHRdukW33g QsEjDdNp9iVebuBMe+IU2gdpdZxjgxzxShQMIHOX1Az65oC81eEV37XJ7b89WjArEEe0Hxcg 9+jFH3P3pNdlVaxMgEaYxeepTEfBIhWJjobr299gkgUm2a79vYnci0VONNk3crZqpNvrDK9h bqBgsEUv7t8JnIDQOJTncuoeZA+YFkceYKysO4tyDgNPgXSuI8tUfo7eU1uacNvX7LoKH1nT d4Gr26nPUyj8ntnvnT88LK+CxrrfYkUxtK5pYIQLzJSnCaCuoxOu4WJn+6PPtMhUNWC50fmA +HBt3v8YhheNEEbBZPqEGE9O1A0xB5oJJ3UCsf2VpxiEc3qCTzZHPbw5hYsS96MRysJ3gl9Z OG/u8M5r/JlyiDbVOj6WEcjgMYhuowbEX45UCCufgMWlVFDqKj685zCwhPxYSKvW2+Pkvw1K YmM4tQuF3bH2oQXe8W791N39JXQU/LHD7EHnmoJW/6ySc7Mv2f9cId/HY/DeM1U1TTTEEr1Q j6o/6PdRHGWT5PZpbNDy9+sdBieF1JWuXx24KHbhbN/OCebiewARAQABzSdUaMOpbyBaaW1t ZXJtYW5uIDx0aGVvLnppbW1pQGdtYWlsLmNvbT7CwX0EEwEIACcFAli5dBUCGyMFCQlmAYAF CwkIBwIGFQgJCgsCBBYCAwECHgECF4AACgkQ8XRKCUL1Nsf97A//QpWey31m7X20iHRRO833 BPyziP9QbIQveB8BofZfjWXBJoGExP2EZdb10UMwU0tsnD6NT5E8nKr9rRRTtnwXOcqaQHGd Y4mVLEyJYwZ8g4uZglMyTCHx6k064Ik4c5DysS/15AB72SZm+fJFayIzSY1syvTnTPxTnNx7 l697IbjS3aq3/W+vQ6MwnDgnQqggGMiA0+Tmp5VPCZX9deLmXWC1zeXe/PdCstPzeHTiIHgD wQW+0edCBELbJdhoVBKsQ3OfBK7uMJBXug7zqI3wAoywvd/E12tFzZJhLZiq8arDIimeccf4 bFZUIy17ApiFfAZJU5Rm71H29IFFMTyQxi4QFFiPjWKwtUTDB/Xv6V8nGgdhOHkNgjnRpPn4 jNxSnvr3/f1OW2yGFYyxTUlmYg72eTkSNlPAwd+WA5K3aQQtwUERzhPsK2l4Smjqr7NcI+5X 0aHBVRyRGrTmtTRz/hdyoGoxx4ts1TacquKHx88YH9GZhEng9h+Ak70oQYD9u+atp93wTyTo tghwB5Ewm3O9oruIdQtWx2H4PtP4Y3V1O/DjK42D3wKwikiHisCTKtbuIsgLTnxebWC7wN0q X9nln3KJkEnxZ/6pjLQ3XZB5YeUq58bBnr06VTZYjjYM5aZ6cQrOrnWXvrsrTh367cPKesk5 G5h/itHB0UQc+eXOwU0EU/5XTQEQAL7skL+t5KvE/j2zAzuUFtwjIA+GPBcwOJnITdT3fddN S18gCBx+EH/YPbCphKXOxRFeaD+EDuC1Ls5XK+lYu9hR7rurW7RQI+1XKO7KHQvp4i2I8J4C C+kmMw9K7fysHFG9ckiw1G5WrwiiPZHLadRIAfXwMLoDfRRNu/W8ogjm1m+UWm88DISrkIbE BYEw/fWX8QGGcFvExrFAgXyXXn4vVG90XNre+wJwIADcCqQJXCfzNF/tyetcGEwc3BZiUe/Q Ha/3xLDSm19rDkVWSpWGUr0uSziPSR9kYw6q4F1gKdvex6hnduRMEJLwFRfiHKnHZO2uN8Zj MsB1EklGvkockjkThQfFjeU3zysxfsl4tQRROpglgs1MhiMZpvCdnNTn+Gr+YHQ0sueBxpk0 6GHMmE4C4jcrLFXwfEWOnk6ISHluZS1f9qRnNZzj9ICJItT7cn1KE54jZjmVudi4kOSbihaZ 70PrXMhwphz4nVxSRMIsXdNwSkpCrcOatDS4E7EjRgHW5+CP5WON2aJPD8htAtKNej5nPbTD NFJKz6nG4jdDpxtY0PEkMHarrBpWaIdPEPgdCew5Ns5cAZC0vMkJU8uuSoEumGqzUwdVIWaV p0iZ7MTaWSZeifx7Y6x5YkYR5dMGGzKW5GeLQ7emG0I1BTcFeP+VAGewLA5xWjnhABEBAAHC wWUEGAECAA8FAlP+V00CGwwFCQlmAYAACgkQ8XRKCUL1NscXDRAAx5Y5fyDX/HvFD2Sp4E1h HbtNsPfDQ076U3qvg31e7d5560fW5hwSgZ3++3kGRO7QFTq3edo3oEEWiHuHBJxT7eXSPhXY vsM/atDyQ7Zy6fEUVuv77b3TEDHuWvn4A2kBI+ApCzXohscTuCc/PvVCoDrRQ++be2hIlxsq M7DnRr3/6FI8chCUHj3bXeXtPp8M74/3RGCiwvPZ7825NU0JP6jj1yeEuy6ts/GaZFsDj3sz TxCeZxbdARFxqmT0lf3yF2uQWj35jwqBUC/S+07fZfRRRFXwHTSSzsTTg4JKvsEpq6v0/ryc ETXqwstze+nvPvZ/bLlkiFulLFajYdIky+t5JmjmMEW0/NpK4nRo/QNuTyF1vG1/tjg/q5CZ gW++ZBoYuOR/+roFRPEKIu6Aa843e+QXvpHv4WHN1viH7ufY3D389hKkkhtnEvUu1Mv7ITDD ryw3ok6KFBrjvMQVOp0L7yZc9RYtJ0mXH9n1wWJL94q4hbUJ7fqz2rv8RbTGQoqKfDQVuVuo gH36yLP9s+RKxePuqaTn6DOOHF0/hhMCwes9pWs6ObrEPUVG1YtM6TwopIUJtuLZFWWb3X1Q 4W8EyZElzlCZhLTVhJT7p2k8xBEjpdMpsHhBMjOMljCUeRdJX55g2DVAwx3fvhdOJkuXY5Tl nCgw1L3/lCt46SU=
- Ironport-phdr: 9a23:PQWFMhQH9k6gpi6GP7ylHrjh0dpsv+yvbD5Q0YIujvd0So/mwa6yYBWN2/xhgRfzUJnB7Loc0qyK6/+mATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/n/XhMJtj6xVrhyuqBNjzIPPb4GZKOBzcKTBcd4UR2dMWNtaWSxbAoO7aosCF/QPPeZCqIn6v1QBrhq+BQypBOzx0D9Ig2X53as80+88FgzGwAwgEMwJsHjOrdT1NaISUeW0zKTTwjXDaulZ2Tb56ITSbh8hpvSMUKt2fMHMx0cvEAbFgU+RqYzjJz6V2eUNs3Sb7+p9Tu2jkXIoqwZ0ojWp28wiiZHJi5oLxlzY8Sh12oU4KN2iREJmf9KpE4FcuiCZOoduQc4uXntktDs+x7AJo5K3YioHxI46yxPfaPGKdZWD7Aj5W+aLOzh4gWpoeLKhiBa29kit0uj8WdO10FZOtyZEnNzMum0U2xzd68WKSeFx/kim2TaI2ADT7v9LLVoomqrcLp4t2r8wlpwNvkTfBiL6hln6gauMekgn+uWk8fnrbqvlq5OGNoJ5iRnyMqE0lcy+BeQ4PBIOX2+e+emkyL3j/VP2QLJQgvw3k6nZtZXaJcUAq662Bg9ayIcj6xKlAzi619QYmGELLEhZdxKfk4jpJ1bOLejkAve4mlSjjSlkx+7dM736ApTNK2DDn637cbZ87U5c0gszwspF65JaELELOOjzVVPptNzEEh85NBS5zPrgCNVkz48RRWaPArKCP67Jql+J5ucvI/GWa4MPuTb9LeIl5//0gnMjl18dZ/rh4ZxCY3ehW/9iPk+xYHz2g95HH31O9gE5VeDnlnWDVyRSbjC8RfES/DY+Xb6mjID0dIGohbGb2S69GNUCemBLDRaeEHLtdq2LXv4NbGSZJco3wW9MbqSoV4J0jULmjwT90bcydrOFqB1djorq0Z1O38OWkBgz8TJuCMHEijOCSmh1miUDQDpkhfkj83w48U+K1O1Du9IdDcZavqobXQIzNJqaxOt/WYirB1DxO+yRQVPjee2IRDE8StVrno0Lakd5Xsqn11XNgXrsDLgSmLiGQpcz9/CE0g==
- Openpgp: preference=signencrypt
Dear Coq users,
We are pleased to announce the 8.8.2 release of Coq.
Main changes:
- The kernel does not tolerate capture of global universes by
polymorphic universe binders, fixing a soundness break (triggered
only through custom plugins)
- A PDF version of the reference manual is available once again.
- The coq-makefile targets `print-pretty-timed`,
`print-pretty-timed-diff`, and `print-pretty-single-time-diff` now
correctly label the "before" and "after" columns, rather than swapping
them.
- The Windows installer now includes many more external packages that
can be individually selected for installation.
This release includes many other bug fixes and lots of documentation
improvements (for details, see the 8.8.2 milestone at
https://github.com/coq/coq/milestone/15?closed=1). Feedback and bug
reports are extremely welcome (https://github.com/coq/coq/issues).
You can download the PDF manual, an installer for MacOS or for Windows
from https://github.com/coq/coq/releases/tag/V8.8.2. Note that the
Windows installers that are currently provided are not signed and will
trigger a warning when you try to run them. Signed installers will be
added as soon as they are ready (most likely tomorrow).
OPAM and Nix packages will be available soon.
The Coq Development Team
Attachment:
signature.asc
Description: OpenPGP digital signature
- [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 09/26/2018
Archive powered by MHonArc 2.6.18.