Jason Gross

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

  1. Coq Daily Builds (v8.7)
  2. Packages in “Coq Daily Builds (v8.7)”

This PPA currently publishes packages for Kinetic, Jammy, Impish, Hirsute, Groovy, Focal, Eoan, Disco, Cosmic, Bionic, Artful, Zesty, Yakkety, Xenial, Vivid, 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 903 builds have been created for this PPA.

Completed builds
782 successful
111 failed

Packages

in
1 → 45 of 45 results First • Previous • Next • Last
Source Published Status Series Section Build Status
camlp4 - 4.02.1+3-2~ubuntu15.04.1~ppa1 (changes file) Published Vivid Ocaml All builds were built successfully.
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~ubuntu15.04.1~ppa1 (changes file) Published Vivid 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.7~git~202207030519+18489-0~daily308-b4ccafd1ff~ubuntu14.04.1 (changes file) Published Trusty Math All builds were built successfully.
coq - 8.7~git~202207030518+18489-0~daily309-b4ccafd1ff~ubuntu22.04.1 (Newer version available) (changes file) Published Jammy Math There were build failures. amd64
coq - 8.7~git~202207030518+18489-0~daily309-b4ccafd1ff~ubuntu21.10.1 (changes file) Published Impish Math There were build failures. amd64
coq - 8.7~git~202207030518+18489-0~daily308-b4ccafd1ff~ubuntu20.04.1 (Newer version available) (changes file) Published Focal Math All builds were built successfully.
coq - 8.7~git~202207030518+18489-0~daily308-b4ccafd1ff~ubuntu16.04.1 (changes file) Published Xenial Math All builds were built successfully.
coq - 8.7~git~202207030517+18489-0~daily309-b4ccafd1ff~ubuntu22.10.1 (changes file) Published Kinetic Math There were build failures. amd64
coq - 8.7~git~202207030517+18489-0~daily308-b4ccafd1ff~ubuntu18.04.1 (changes file) Published Bionic Math All builds were built successfully.
coq - 8.7~git~202102031606+18488-0~daily309-81ab3a7d50~ubuntu20.10.1 (changes file) Published Groovy Math All builds were built successfully.
coq - 8.7~git~202102031604+18488-0~daily309-81ab3a7d50~ubuntu21.04.1 (changes file) Published Hirsute Math There were build failures. amd64
coq - 8.7~git~202102031420+18488-0~daily308-81ab3a7d50~ubuntu12.04.1 (changes file) Published Precise Math All builds were built successfully.
coq - 8.7~git~201908060405+18488-0~daily307-81ab3a7~ubuntu19.10.1 (changes file) Published Eoan Math All builds were built successfully.
coq - 8.7~git~201901221909+18488-0~daily307~ubuntu19.04.1 (changes file) Published Disco Math All builds were built successfully.
coq - 8.7~git~201808171550+18488-0~daily307~ubuntu18.10.1 (changes file) Published Cosmic Math All builds were built successfully.
coq - 8.7~git~201803091117+18487-0~daily307~ubuntu17.10.1 (changes file) Published Artful Math All builds were built successfully.
coq - 8.7~git~201801150718+18453-0~daily307~ubuntu17.04.1 (changes file) Published Zesty Math There were build failures. amd64 i386
coq - 8.7~git~201710121418+18359-0~daily306~ubuntu15.04.1 (changes file) Published Vivid Math All builds were built successfully.
coq - 8.7~git~201707201632+18172-0~daily304~ubuntu16.10.1 (changes file) Published Yakkety Math There were build failures. amd64 i386
findlib - 1.6.2-1~ubuntu15.04.1~ppa1 (changes file) Published Vivid Ocaml All builds were built successfully.
findlib - 1.6.2-1~ubuntu14.04.1~ppa1 (changes file) Published Trusty Ocaml All builds were built successfully.
findlib - 1.6.2-1~ubuntu12.04.1~ppa1 (changes file) Published Precise Ocaml All builds were built successfully.
hevea - 2.29-1~ubuntu15.04.1~ppa2 (changes file) Published Vivid Tex All builds were built successfully.
hevea - 2.28-1~ubuntu14.04.1~ppa1 (changes file) Published Trusty Tex All builds were built successfully.
hevea - 2.28-1~ubuntu12.04.1~ppa1 (changes file) Published Precise Tex All builds were built successfully.
lablgl - 1:1.05-2~ubuntu15.04.1~ppa1 (changes file) Published Vivid Ocaml All builds were built successfully.
lablgl - 1:1.05-2~ubuntu14.04.1~ppa1 (changes file) Published Trusty Ocaml All builds were built successfully.
lablgl - 1:1.05-2~ubuntu12.04.1~ppa1 (changes file) Published Precise Ocaml All builds were built successfully.
lablgtk2 - 2.18.3+dfsg-2~ubuntu15.04.1~ppa1 (changes file) Published Vivid Ocaml All builds were built successfully.
lablgtk2 - 2.18.3+dfsg-1build1~ubuntu14.04.1~ppa1 (changes file) Published Trusty Ocaml All builds were built successfully.
lablgtk2 - 2.18.3+dfsg-1build1~ubuntu12.04.1~ppa1 (changes file) Published Precise Ocaml All builds were built successfully.
labltk - 8.06.0+dfsg-3~ubuntu15.04.1~ppa1 (changes file) Published Vivid Ocaml All builds were built successfully.
labltk - 8.06.0+dfsg-3~ubuntu14.04.1~ppa1 (changes file) Published Trusty Ocaml All builds were built successfully.
labltk - 8.06.0+dfsg-3~ubuntu12.04.1~ppa1 (changes file) Published Precise Ocaml All builds were built successfully.
libiberty - 20141014-1~ubuntu12.04.1~ppa1 (changes file) Published Precise Libdevel All builds were built successfully.
ocaml - 4.02.3-6ubuntu2~ubuntu15.04.1~ppa1 (changes file) Published Vivid Ocaml All builds were built successfully.
ocaml - 4.02.3-6ubuntu2~ubuntu14.04.1~ppa1 (changes file) Published Trusty Ocaml All builds were built successfully.
ocaml - 4.02.3-6ubuntu2~ubuntu12.04.1~ppa1 (changes file) Published Precise Ocaml All builds were built successfully.
ocamlgraph - 1.8.6-1build2~ubuntu15.04.1~ppa1 (changes file) Published Vivid Libdevel All builds were built successfully.
ocamlgraph - 1.8.6-1build2~ubuntu14.04.1~ppa1 (changes file) Published Trusty Libdevel All builds were built successfully.
ocamlgraph - 1.8.6-1build2~ubuntu12.04.1~ppa1 (changes file) Published Precise Libdevel All builds were built successfully.
1 → 45 of 45 results First • Previous • Next • Last