Packages in “Coq with Mtac”
This PPA currently publishes packages for Trusty, Saucy, Raring, and Precise.
Package totals
The following information is related to the total published packages in the repository (not on your system).
Package counters and estimated archive size temporarily unavailable.
View all builds Package build summary
A total of 14 builds have been created for this PPA.
- Completed builds
- 11 successful
- 0 failed
Packages
| 1 → 4 of 4 results | First • Previous • Next • Last |
| Source | Published | Status | Series | Section | Build Status | |
|---|---|---|---|---|---|---|
|
|
(changes file) | Published | Trusty | Math |
|
|
|
|
(changes file) | Published | Saucy | Math |
|
|
|
|
(changes file) | Published | Raring | Math |
|
|
|
|
(changes file) | Published | Precise | Math |
|
|
| 1 → 4 of 4 results | First • Previous • Next • Last |
