Jason Gross

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

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

This PPA currently publishes packages for Noble, Mantic, Lunar, Jammy, Focal, Bionic, Xenial, and Trusty.

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 53 builds have been created for this PPA.

Completed builds
31 successful
22 failed

Packages

in
1 → 32 of 32 results First • Previous • Next • Last
Source Published Status Series Section Build Status
coq - 8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu24.04.1 (Newer version available) (changes file) Published Noble Math All builds were built successfully.
coq - 8.18~git~202310292305+24194-0~daily405-f022d5d194~ubuntu22.04.1 (changes file) Published Jammy Math All builds were built successfully.
coq - 8.18~git~202310292304+24194-0~daily405-f022d5d194~ubuntu23.10.1 (changes file) Published Mantic Math All builds were built successfully.
coq - 8.18~git~202310292304+24194-0~daily405-f022d5d194~ubuntu23.04.1 (changes file) Published Lunar Math All builds were built successfully.
findlib - 1.8.1-2.1~xenial~ppa1 (changes file) Published Xenial Ocaml All builds were built successfully.
findlib - 1.8.1-2.1~trusty~ppa1 (changes file) Published Trusty Ocaml All builds were built successfully.
findlib - 1.8.1-2.1~focal~ppa1 (changes file) Published Focal Ocaml All builds were built successfully.
findlib - 1.8.1-2.1~bionic~ppa1 (changes file) Published Bionic Ocaml All builds were built successfully.
hevea - 2.32-3build1.1~xenial~ppa17 (changes file) Published Xenial Tex All builds were built successfully.
hevea - 2.32-3build1.1~trusty~ppa17 (changes file) Published Trusty Tex All builds were built successfully.
hevea - 2.32-3build1.1~focal~ppa17 (changes file) Published Focal Tex There were build failures. amd64
hevea - 2.32-3build1.1~bionic~ppa17 (changes file) Published Bionic Tex There were build failures. amd64
ocaml - 4.11.1-4.1~xenial~ppa1 (changes file) Published Xenial Ocaml All builds were built successfully.
ocaml - 4.11.1-4.1~trusty~ppa1 (changes file) Published Trusty Ocaml All builds were built successfully.
ocaml - 4.11.1-4.1~focal~ppa1 (changes file) Published Focal Ocaml All builds were built successfully.
ocaml - 4.11.1-4.1~bionic~ppa1 (changes file) Published Bionic Ocaml All builds were built successfully.
ocaml-csexp - 1.5.1-1build1.1~xenial~ppa19 (changes file) Published Xenial Ocaml There were build failures. amd64 i386
ocaml-csexp - 1.5.1-1build1.1~trusty~ppa19 (changes file) Published Trusty Ocaml There were build failures. amd64 i386
ocaml-csexp - 1.5.1-1build1.1~focal~ppa19 (changes file) Published Focal Ocaml All builds were built successfully.
ocaml-csexp - 1.5.1-1build1.1~bionic~ppa19 (changes file) Published Bionic Ocaml There were build failures. amd64 i386
ocaml-dune - 2.9.1-1build1.1~xenial~ppa19 (changes file) Published Xenial Ocaml There were build failures. amd64 i386
ocaml-dune - 2.9.1-1build1.1~trusty~ppa19 (changes file) Published Trusty Ocaml There were build failures. amd64 i386
ocaml-dune - 2.9.1-1build1.1~focal~ppa19 (changes file) Published Focal Ocaml There were build failures. i386
ocaml-dune - 2.9.1-1build1.1~bionic~ppa19 (changes file) Published Bionic Ocaml There were build failures. amd64 i386
ocaml-zarith - 1.11-1.1~xenial~ppa19 (changes file) Published Xenial Ocaml There were build failures. amd64 i386
ocaml-zarith - 1.11-1.1~trusty~ppa19 (changes file) Published Trusty Ocaml There were build failures. amd64 i386
ocaml-zarith - 1.11-1.1~focal~ppa19 (changes file) Published Focal Ocaml There were build failures. amd64
ocaml-zarith - 1.11-1.1~bionic~ppa19 (changes file) Published Bionic Ocaml There were build failures. amd64 i386
ocamlbuild - 0.14.0-1build3.1~xenial~ppa17 (changes file) Published Xenial Ocaml All builds were built successfully.
ocamlbuild - 0.14.0-1build3.1~trusty~ppa17 (changes file) Published Trusty Ocaml All builds were built successfully.
ocamlbuild - 0.14.0-1build3.1~focal~ppa17 (changes file) Published Focal Ocaml All builds were built successfully.
ocamlbuild - 0.14.0-1build3.1~bionic~ppa17 (changes file) Published Bionic Ocaml All builds were built successfully.
1 → 32 of 32 results First • Previous • Next • Last