coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.8.2 is out!

From: "Perry E. Metzger" <perry AT piermont.com>
To: Théo Zimmermann <theo.zimmi AT gmail.com>
Cc: coq-club AT inria.fr, coqdev AT inria.fr
Subject: Re: [Coq-Club] Coq 8.8.2 is out!
Date: Mon, 1 Oct 2018 07:01:59 -0400
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=perry AT piermont.com; spf=Pass smtp.mailfrom=perry AT piermont.com; spf=None smtp.helo=postmaster AT hacklheber.piermont.com
Ironport-phdr: 9a23:kSGZhBWyrHCP8w0jGbMvvvjroYLV8LGtZVwlr6E/grcLSJyIuqrYYxODt8tkgFKBZ4jH8fUM07OQ7/i/HzRYqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba9wIRmssQndqtQdjJd/JKo21hbHuGZDdf5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXMTRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KptVRTmijoINyQh/W/ZisJ+kr9VrhGjqBxxzIHbfI6bOeFifqPEZ94WWXZNUtpTWiFHH4iyb5EPD+0EPetAoYXzvUUBrQGkBQisGejhxSVEjWLx06Ikz+QgEA7G0xI6H94ArX/Zq831O7kIUeCvzKjF1i3Db/JI1jfn7YjIdRYhoe2WUb1sdsrRzFAiGgXYhVuTsYzoJy6Z2+UMvmSB7OdtWvijhmw9pw1srTWiwNonhJPTiYIP0F/E8D10wIYrKt28T052ed6kH4FMuCGZM4t2Qt0tTHp2tyYg0LEGoZ+7czYQyJQiwB7fbeCHf5KU7RLkUeadOTZ4hHR7d7Kjnxu+7Emtx+zmWsS331tGtChInsPRun0CzxDT79KISvp5/kevwzaP0AXT5/lcIU8qj6rbMZ4gz6UolpoSr0vDBCr2mELwjK+KbEkr5u+o6+H/brX8upCcL5N0ih35Mqk2hsO/Bv04PhESUGif5OSzz6bu/Vb5QbVPlv05iLPVsJHcJcQBp662GRVZ0og56xynFTepzMwYnWUbLFJCYB+Ik4/pO0jTL//mE/eymE+skTdux/DeJLLtGJTNLn7ZkLfgZ7lx8UBcyBBghexYsq5Ui7ZJEvP2X0LrsdXeCFdtLwy5xKD1CdB416sRXGuOBumSN6aE4nGS4ed6adGBfpUE8Bu7Y90o++zhgGVz0QsFcLOzzLMPaX2iG/NgPwOSZn+60YRJKnsDogdrFL+is1aFSzMGPy/jDZJ53SkyDcedNamGQ4mshLKb2yLiQs9OZ21cD1eKDTHjcIDWAq5QOhLXGddol3k/bZbkU5UojE38rA730b9gKPaS8Sod58q6iYpFotbLnBR3zgRaSsSQ12bXEjN0l2gLQz871q1l51R8x02G1q5kxfdfEI4L6g==

On Wed, 26 Sep 2018 17:22:02 +0200 Théo Zimmermann
<theo.zimmi AT gmail.com>
wrote:
> Dear Coq users,
>
> We are pleased to announce the 8.8.2 release of Coq.

FYI, the update to the MacPorts Coq package is now in, so MacPorts
users should be able to update with minimum fuss later today.

Perry
--
Perry E. Metzger
perry AT piermont.com

Re: [Coq-Club] Coq 8.8.2 is out!, Perry E. Metzger, 10/01/2018
- Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/04/2018
  - Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/04/2018
    - Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/05/2018
      - Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/05/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Emilio Jesús Gallego Arias, 10/05/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/21/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/21/2018
        
        Re: [Coq-Club] Coq 8.8.2 is out!, Vadim Zaliva, 10/24/2018
        Re: [Coq-Club] Coq 8.8.2 is out!, Théo Zimmermann, 10/24/2018
        Re: [Coq-Club] Coq 8.8.2 is out!, Christian Doczkal, 10/29/2018