Packages in “Many Coq Versions”


This PPA currently publishes packages for Lunar, Jammy, Hirsute, Groovy, Focal, Bionic, Xenial, Trusty, 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 2708 builds have been created for this PPA.

Completed builds
701 successful
1551 failed

Packages

in
175 of 191 results
Source Published Status Series Section Build Status
camlp4 - 4.02.1+3-2~ubuntu14.04.1~ppa1 (changes file) Published Trusty Ocaml All builds were built successfully.
camlp4 - 4.02.1+3-2~ubuntu12.04.1~ppa1 (changes file) Published Precise Ocaml All builds were built successfully.
camlp5 - 6.16-1~ubuntu14.04.1~ppa1 (changes file) Published Trusty Ocaml All builds were built successfully.
camlp5 - 6.16-1~ubuntu12.04.1~ppa1 (changes file) Published Precise Ocaml All builds were built successfully.
coq-8.17.0 - 8.17.0-1~lunar~ppa200 (changes file) Published Lunar Math There were build failures. amd64
coq-8.17.0 - 8.17.0-1~jammy~ppa200 (changes file) Published Jammy Math There were build failures. amd64
coq-8.17.1 - 8.17.1-1~lunar~ppa200 (changes file) Published Lunar Math There were build failures. amd64
coq-8.17.1 - 8.17.1-1~jammy~ppa200 (changes file) Published Jammy Math There were build failures. amd64
coq-8.5 - 8.5-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.5 - 8.5-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.5 - 8.5-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.5 - 8.5-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
coq-8.5 - 8.5-1~groovy~ppa158 (changes file) Published Groovy Math There were build failures. amd64
coq-8.5 - 8.5-1~focal~ppa158 (changes file) Published Focal Math There were build failures. amd64
coq-8.5 - 8.5-1~bionic~ppa158 (changes file) Published Bionic Math There were build failures. amd64 i386
coq-8.5beta1 - 8.5~beta1-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.5beta1 - 8.5~beta1-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.5beta1 - 8.5~beta1-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.5beta1 - 8.5~beta1-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
coq-8.5beta1 - 8.5~beta1-1~groovy~ppa158 (changes file) Published Groovy Math There were build failures. amd64
coq-8.5beta1 - 8.5~beta1-1~focal~ppa158 (changes file) Published Focal Math There were build failures. amd64
coq-8.5beta1 - 8.5~beta1-1~bionic~ppa158 (changes file) Published Bionic Math There were build failures. amd64 i386
coq-8.5beta2 - 8.5~beta2-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.5beta2 - 8.5~beta2-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.5beta2 - 8.5~beta2-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.5beta2 - 8.5~beta2-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
coq-8.5beta2 - 8.5~beta2-1~groovy~ppa158 (changes file) Published Groovy Math There were build failures. amd64
coq-8.5beta2 - 8.5~beta2-1~focal~ppa158 (changes file) Published Focal Math There were build failures. amd64
coq-8.5beta2 - 8.5~beta2-1~bionic~ppa158 (changes file) Published Bionic Math There were build failures. amd64 i386
coq-8.5beta3 - 8.5~beta3-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.5beta3 - 8.5~beta3-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.5beta3 - 8.5~beta3-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.5beta3 - 8.5~beta3-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
coq-8.5beta3 - 8.5~beta3-1~groovy~ppa158 (changes file) Published Groovy Math There were build failures. amd64
coq-8.5beta3 - 8.5~beta3-1~focal~ppa158 (changes file) Published Focal Math There were build failures. amd64
coq-8.5beta3 - 8.5~beta3-1~bionic~ppa158 (changes file) Published Bionic Math There were build failures. amd64 i386
coq-8.5pl1 - 8.5pl1-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.5pl1 - 8.5pl1-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.5pl1 - 8.5pl1-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.5pl1 - 8.5pl1-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
coq-8.5pl1 - 8.5pl1-1~groovy~ppa158 (changes file) Published Groovy Math There were build failures. amd64
coq-8.5pl1 - 8.5pl1-1~focal~ppa158 (changes file) Published Focal Math There were build failures. amd64
coq-8.5pl1 - 8.5pl1-1~bionic~ppa158 (changes file) Published Bionic Math All builds were built successfully.
coq-8.5pl2 - 8.5pl2-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.5pl2 - 8.5pl2-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.5pl2 - 8.5pl2-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.5pl2 - 8.5pl2-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
coq-8.5pl2 - 8.5pl2-1~groovy~ppa158 (changes file) Published Groovy Math There were build failures. amd64
coq-8.5pl2 - 8.5pl2-1~focal~ppa158 (changes file) Published Focal Math There were build failures. amd64
coq-8.5pl2 - 8.5pl2-1~bionic~ppa158 (changes file) Published Bionic Math All builds were built successfully.
coq-8.5pl3 - 8.5pl3-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.5pl3 - 8.5pl3-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.5pl3 - 8.5pl3-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.5pl3 - 8.5pl3-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
coq-8.5pl3 - 8.5pl3-1~groovy~ppa158 (changes file) Published Groovy Math There were build failures. amd64
coq-8.5pl3 - 8.5pl3-1~focal~ppa158 (changes file) Published Focal Math There were build failures. amd64
coq-8.5pl3 - 8.5pl3-1~bionic~ppa158 (changes file) Published Bionic Math All builds were built successfully.
coq-8.5rc1 - 8.5~rc1-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.5rc1 - 8.5~rc1-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.5rc1 - 8.5~rc1-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.5rc1 - 8.5~rc1-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
coq-8.5rc1 - 8.5~rc1-1~groovy~ppa158 (changes file) Published Groovy Math There were build failures. amd64
coq-8.5rc1 - 8.5~rc1-1~focal~ppa158 (changes file) Published Focal Math There were build failures. amd64
coq-8.5rc1 - 8.5~rc1-1~bionic~ppa158 (changes file) Published Bionic Math There were build failures. amd64 i386
coq-8.6 - 8.6-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.6 - 8.6-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.6 - 8.6-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.6 - 8.6-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
coq-8.6 - 8.6-1~groovy~ppa158 (changes file) Published Groovy Math There were build failures. amd64
coq-8.6 - 8.6-1~focal~ppa158 (changes file) Published Focal Math There were build failures. amd64
coq-8.6 - 8.6-1~bionic~ppa158 (changes file) Published Bionic Math All builds were built successfully.
coq-8.6.1 - 8.6.1-1~xenial~ppa158 (changes file) Published Xenial Math All builds were built successfully.
coq-8.6.1 - 8.6.1-1~trusty~ppa158 (changes file) Published Trusty Math All builds were built successfully.
coq-8.6.1 - 8.6.1-1~precise~ppa158 (changes file) Published Precise Math All builds were built successfully.
coq-8.6.1 - 8.6.1-1~hirsute~ppa158 (changes file) Published Hirsute Math There were build failures. amd64
175 of 191 results