coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Coq >= 8.4 on precise (as a debian package?)

From: Jason Gross <jasongross9 AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] Coq >= 8.4 on precise (as a debian package?)
Date: Sat, 23 Jan 2016 22:50:04 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jasongross9 AT gmail.com; spf=Pass smtp.mailfrom=jasongross9 AT gmail.com; spf=None smtp.helo=postmaster AT mail-ob0-f179.google.com
Ironport-phdr: 9a23:gd6LnBJ0A9tOjQyNO9mcpTZWNBhigK39O0sv0rFitYgUL/3xwZ3uMQTl6Ol3ixeRBMOAu6wC0rKJ+Pm+ASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTpkbnqpNaKPV0ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8/VPlTCCksezQ+49Suvh3eRyOO4GEdWyMYiEwbLRLC6UTYV4z2tGPVrO1mw2HOP8TtSrY7QzO59PZDRxrhiSNBPDk8pjKEwvdshb5W9Ury7yd0xJTZNdmY

What's the best way to get Coq >= 8.4 on a debian/ubuntu precise machine (Travis build-bots)? The only ppa I can find is ppa:ezyang/coq-mtac. Is there a coq package in precise-backports or something similar? (Can there be such a package?)

Thanks,

Jason

[Coq-Club] Coq >= 8.4 on precise (as a debian package?), Jason Gross, 01/23/2016
- Re: [Coq-Club] Coq >= 8.4 on precise (as a debian package?), Emilio Jesús Gallego Arias, 01/24/2016