The Coq mailing list

[e+coq-club AT x80.org (Emilio Jesús Gallego Arias)]

Hi Jason,

Jason Gross 
<jasongross9 AT gmail.com>
 writes:

> 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?)

Hi Jason,

Building your own Coq Debian packages is quite easy thanks to the great
work by the packagers. Ping me off list if you want the more details.

I've uploaded Coq 8.5 packages for Ubuntu at a PPA in case they would
be useful:

https://launchpad.net/~e+launchpad/+archive/ubuntu/coq-85

Packages for v8.4pl6+ are easily doable too (if needed).

Regarding an offical Ubuntu backport, first you need to get the package
in an Ubuntu release. So could try to request a backport of 8.4.pl4.

(See "requesting a backport" https://wiki.ubuntu.com/UbuntuBackports)

For 8.5 you would first need to get 8.5 in Ubuntu.k

There's still hope that the LTS release (Xenial, 16.04) ships with Coq
8.5; for that to happen, the 8.5 packages would need to be uploaded to
Debian unstable soon; from what I've seen, the packages are mostly
ready, and the most important reverse dependencies should work.

Best regards,
Emilio

p.s:

The package for "precise" has a pitfall: is built without CoqIde. CoqIde
v8.5 depends on a newer version of liblablgtk2-ocaml than the one
available in precise, however, if needed, liblablgtk2-ocaml may be
backported too.