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
- Subject: [Coq-Club] MacOS package updated
- Date: Tue, 9 Jan 2018 17:02:41 +0100
- Authentication-results: mail3-smtp-sop.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-wr0-f173.google.com
- Ironport-phdr: 9a23:0hdfsRw6ANYsTuzXCy+O+j09IxM/srCxBDY+r6Qd1O0UIJqq85mqBkHD//Il1AaPAd2Craocw8Pt8InYEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94HObwlSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeuBWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbOSxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRH2iCkJKj03/m/ZhcN/kK1Wux2hqwBlzoDTfI2YOvhzc6XAdt0aX2pBWcNRWjRfDIO8dYwPCPIOMuVZr4n4olsBswG+BQy2C+PpzD9Dm3j73bE60+s/FgHKxg0hH9MLsHTRrdX4L6gSUeWvw6nJyTXPde9Z2TD46IXRdB0qvP+CXbV1ccXLyEkvERvIjlqRqYz5PzOVy/8Cv3KH4OpnUOKijXMspQJpojW32Msglo3EipgWx13E7yl13Zg5KN6iREJmY9OpHoNcuiKHO4dsX88vR25ltDwkxrAEo5K3YSgHxZchyhXCcfKIaZKI7QjmVOuJITd3mnZleLWniha360egy+n8WtC60VZQsiZJi9fMum0P2hHd8MSHRfx9/kCu2TaLyQ/f8P1LIUcxlabDKp4hxKA/loYLvEjdAiP7nF/6gayWe0k+5+Sk9efqbq/7qpKeOYJ4kgT+Pb4vmsy7D+Q4KA8OX22D9OSg1L3s40r5TK9Lj/03l6nZtZHaKN8Upq68GQBV04Ij5wyjADeh1dQUhWMHI05deBKbk4jpPEnDL+z/DfemmlijjDNrx+3dMbD6GZXMLn3DkK/7crpn6k5czhAzzdFF6J5OBLEBOqG7Zkikv9vBSxQ9LgacwuD9Cdw72JlNd3iIB/qlMCLVhm2J4+ciOeyFYold7Cr9Jv9j9f/riH4RlloUfK3v1pwSPiPrVs96KlmUNCK/yuwKFn0H61Iz
Dear Coq clubbers,
Please note that the macOS installer for Coq 8.7.1 was updated on
2018-01-08 to fix frequent crashes of CoqIDE due to the use of an
outdated dependency.
The new package, named coq-8.7.1-1-installer-macos.dmg, can be
downloaded from:
https://github.com/coq/coq/releases/tag/V8.7.1
The Coq Development Team
Attachment:
signature.asc
Description: OpenPGP digital signature
- [Coq-Club] MacOS package updated, Théo Zimmermann, 01/09/2018
Archive powered by MHonArc 2.6.18.