The Coq mailing list

["Edward Z. Yang" <ezyang AT MIT.EDU>]

Hey all,

I've packaged Coq with Mtac for Ubuntu and put it in a PPA here:
https://launchpad.net/~ezyang/+archive/coq-mtac
You can add the PPA using:

    sudo add-apt-repository ppa:ezyang/coq-mtac

and then running 'sudo aptitude upgrade'.

Nota bene: this will /replace/ your existing Ubuntu-managed Coq
installation (and, if you are using vanilla Raring or Precise, upgrade
your version of Coq as well), so if you want both to coexist you'll
still have to install Mtac by hand (or wait for me to do a version
of the package using alternatives).

Please let me know about any bugs.

Cheers,
Edward