Skip to Content.
Sympa Menu

coq-club - [Coq-Club] MacOS package updated

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MacOS package updated


Chronological Thread 
  • 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.

Top of Page