coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "John Wiegley" <johnw AT newartisans.com>
- To: "Perry E. Metzger" <perry AT piermont.com>
- Cc: coq-club AT inria.fr
- Subject: [Coq-Club] Nix updated to Coq 8.5
- Date: Mon, 25 Jan 2016 12:34:57 -0800
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jwiegley AT gmail.com; spf=Pass smtp.mailfrom=jwiegley AT gmail.com; spf=None smtp.helo=postmaster AT mail-pf0-f170.google.com
- Ironport-phdr: 9a23:7zKM2B+ynPqlDP9uRHKM819IXTAuvvDOBiVQ1KB80O4cTK2v8tzYMVDF4r011RmSDdudsqscwLON7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6MyZ3uj6vroMObSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskyJdQaV/GpUfyNetxdUEQfI9luyCo/8qDHrnvJ81TOfOsvqC7szXGLx1apzTA7Uj3JNFTk59inoi8F/iK9K6lr1pRt/xZH8ZoyKPeBif7jUe8hcTm1ECJV/TStEV8meaIsJR9UAMOlcopi37w8Mqhu4GiGqCfzm0CNJnXbwxusx1OF3QlKO5xApA99b6Cecl97yLqpHFLntlKQ=
- Organization: New Artisans LLC
>>>>> Perry E Metzger
>>>>> <perry AT piermont.com>
>>>>> writes:
> For those of you on Mac OS X who use the MacPorts version of Coq, I've
> updated it to 8.5.
I have also updated the nixpkgs Git repository to use 8.5, which is how I
build it on Mac OS X and GNU/Linux.
> It may be a couple of hours before the servers catch up.
Couple of days until it's in the unstable channel.
--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2
- [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
Archive powered by MHonArc 2.6.18.