Packages in “Coq Daily Builds (v8.10)”


This PPA currently publishes packages for Eoan, Disco, Cosmic, 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 869 builds have been created for this PPA.

Completed builds
853 successful
16 failed

Packages

in
126 of 26 results
Source Published Status Series Section Build Status
camlp5 - 7.01-1build1.1~xenial~ppa5 (changes file) 2019-04-17 Published Xenial Ocaml All builds were built successfully.
camlp5 - 7.01-1build1.1~trusty~ppa5 (changes file) 2019-04-17 Published Trusty Ocaml All builds were built successfully.
camlp5 - 7.01-1build1.1~precise~ppa5 (changes file) 2019-04-17 Published Precise Ocaml All builds were built successfully.
coq - 8.10~git~201909161204+20477-0~daily324-6250503~ubuntu19.04.1 (changes file) 18 hours ago Published Disco Math All builds were built successfully.
coq - 8.10~git~201909161204+20477-0~daily324-6250503~ubuntu18.04.1 (changes file) 18 hours ago Published Bionic Math All builds were built successfully.
coq - 8.10~git~201909161204+20477-0~daily324-6250503~ubuntu16.04.1 (changes file) 18 hours ago Published Xenial Math All builds were built successfully.
coq - 8.10~git~201909161204+20477-0~daily324-6250503~ubuntu14.04.1 (changes file) 18 hours ago Published Trusty Math All builds were built successfully.
coq - 8.10~git~201909161204+20477-0~daily324-6250503~ubuntu12.04.1 (changes file) 18 hours ago Published Precise Math All builds were built successfully.
coq - 8.10~git~201909160727+20476-0~daily322-ef67b05~ubuntu19.10.1 (changes file) 23 hours ago Published Eoan Math All builds were built successfully.
coq - 8.10~git~201907231607+20433-0~daily321-0e8d484~ubuntu18.10.1 (changes file) 2019-07-23 Published Cosmic Math All builds were built successfully.
findlib - 1.7.3-2~ubuntu16.04.1~ppa5 (changes file) 2019-04-16 Published Xenial Ocaml All builds were built successfully.
findlib - 1.7.3-2~ubuntu14.04.1~ppa5 (changes file) 2019-04-16 Published Trusty Ocaml All builds were built successfully.
findlib - 1.7.3-2~ubuntu12.04.1~ppa5 (changes file) 2019-04-16 Published Precise Ocaml All builds were built successfully.
hevea - 2.32-1.1~xenial~ppa5 (changes file) 2019-04-17 Published Xenial Tex All builds were built successfully.
hevea - 2.32-1.1~trusty~ppa5 (changes file) 2019-04-17 Published Trusty Tex All builds were built successfully.
hevea - 2.32-1.1~precise~ppa5 (changes file) 2019-04-17 Published Precise Tex All builds were built successfully.
lablgtk3 - 3.0~beta3-1.1~xenial~ppa6 (changes file) 2019-04-17 Published Xenial Ocaml All builds were built successfully.
lablgtk3 - 3.0~beta3-1.1~cosmic~ppa5 (changes file) 2019-04-15 Published Cosmic Ocaml All builds were built successfully.
lablgtk3 - 3.0~beta3-1.1~bionic~ppa5 (changes file) 2019-04-15 Published Bionic Ocaml All builds were built successfully.
libiberty - 20180614-1~ubuntu12.04.1~ppa5 (changes file) 2019-04-15 Published Precise Libdevel All builds were built successfully.
ocaml - 4.05.0-10ubuntu2.1~xenial~ppa5 (changes file) 2019-04-15 Published Xenial Ocaml All builds were built successfully.
ocaml - 4.05.0-10ubuntu2.1~trusty~ppa5 (changes file) 2019-04-15 Published Trusty Ocaml All builds were built successfully.
ocaml - 4.05.0-10ubuntu2.1~precise~ppa5 (changes file) 2019-04-15 Published Precise Ocaml All builds were built successfully.
ocamlbuild - 0.11.0-3build1~ubuntu16.04.1~ppa5 (changes file) 2019-04-17 Published Xenial Ocaml All builds were built successfully.
ocamlbuild - 0.11.0-3build1~ubuntu14.04.1~ppa5 (changes file) 2019-04-17 Published Trusty Ocaml All builds were built successfully.
ocamlbuild - 0.11.0-3build1~ubuntu12.04.1~ppa5 (changes file) 2019-04-17 Published Precise Ocaml All builds were built successfully.
126 of 26 results