coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] MacPorts updated to Coq 8.5

From: "Perry E. Metzger" <perry AT piermont.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] MacPorts updated to Coq 8.5
Date: Sun, 24 Jan 2016 20:11:01 -0500
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:Cu2SLhHT/+mwA3y298YNS51GYnF86YWxBRYc798ds5kLTJ75o86wAkXT6L1XgUPTWs2DsrQf27SQ6vixEjdZqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh770osWCKF4RzBOGIppMbzyO5T3LsccXhYYwYo0Q8TDu5kVyRuJN2GlzLkiSlRuvru25/Zpk7jgC86l5r50IAu3GePEzSqUdBzA7OUg04tfqvF/NV1ih/HwZBy8unwBSEkDoqlnfU4vjvSbg/KIpwCSAJ9zeVbE5QzGl6bstQxjt3nRUfwUl+X3a35QjxJlQpwis8kRy

For those of you on Mac OS X who use the MacPorts version of Coq,
I've updated it to 8.5.

It may be a couple of hours before the servers catch up.

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

[Coq-Club] MacPorts updated to Coq 8.5, Perry E. Metzger, 01/25/2016
- [Coq-Club] Nix updated to Coq 8.5, John Wiegley, 01/25/2016