Jason Gross

Packages in “Coq backports”

  1. Coq backports
  2. Packages in “Coq backports”

This PPA currently publishes packages for 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 38 builds have been created for this PPA.

Completed builds
36 successful
0 failed

Packages

in
1 → 19 of 19 results First • Previous • Next • Last
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.5-2build1~ubuntu14.04.1~ppa1 (changes file) Published Trusty Math All builds were built successfully.
coq - 8.5-2build1~ubuntu12.04.1~ppa1 (changes file) Published Precise Math 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.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~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-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~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~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.
1 → 19 of 19 results First • Previous • Next • Last