Coq with Mtac
PPA description
Coq compiled with support for Mtac (http://plv.mpi-sws.org/mtac/)
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:ezyang/coq-mtac to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:ezyang/coq-mtac sudo apt update
For questions and bugs with software in this PPA please contact Edward Z. Yang.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 4 of 4 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
coq | 8.4pl2dfsg-mtac1.1~trusty1 (Newer version available) | Edward Z. Yang () |
coq | 8.4pl2dfsg-mtac1.1~saucy1 | Edward Z. Yang () |
coq | 8.4pl2dfsg-mtac1.1~raring1 | Edward Z. Yang () |
coq | 8.4pl2dfsg-mtac1.1~precise1 | Edward Z. Yang () |
1 → 4 of 4 results | First • Previous • Next • Last |