“mCRL2” team

Packages in “Release PPA”

  1. Release PPA
  2. Packages in “Release PPA”

This PPA currently publishes packages for Jammy, Groovy, Focal, Disco, Bionic, Zesty, Yakkety, Xenial, Utopic, Saucy, Raring, Quantal, Precise, Oneiric, Natty, Maverick, and Lucid.

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

Completed builds
102 successful
16 failed

Packages

in
1 → 17 of 17 results First • Previous • Next • Last
Source Uploader Published Status Series Section Build Status
mcrl2 - 202307.1.2-1ubuntu1ppa3~jammy (changes file) mlaveaux Published Jammy Math All builds were built successfully.
mcrl2 - 202307.1.2-1ubuntu1ppa3~focal (changes file) mlaveaux Published Focal Math All builds were built successfully.
mcrl2 - 202206.1-1ubuntu1ppa1~bionic (changes file) mlaveaux Published Bionic Math All builds were built successfully.
mcrl2 - 202106.0-1ubuntu1ppa1~groovy (changes file) mlaveaux Published Groovy Math All builds were built successfully.
mcrl2 - 201908.0-1ubuntu1ppa2~disco (changes file) j-w-wesselink Published Disco Math All builds were built successfully.
mcrl2 - 201908.0-1ubuntu1ppa1~xenial (changes file) j-w-wesselink Published Xenial Math All builds were built successfully.
mcrl2 - 201707.1-1ubuntu1ppa2~zesty (changes file) j-w-wesselink Published Zesty Math All builds were built successfully.
mcrl2 - 201707.1-1ubuntu1ppa2~yakkety (changes file) j-w-wesselink Published Yakkety Math All builds were built successfully.
mcrl2 - 201409.1-1ubuntu1ppa2~utopic (changes file) j-w-wesselink Published Utopic Math All builds were built successfully.
mcrl2 - 201409.1-1ubuntu1ppa2~precise (changes file) j-w-wesselink Published Precise Math All builds were built successfully.
mcrl2 - 201409.0-1ubuntu1ppa1~lucid (changes file) scranen Published Lucid Math There were build failures. amd64 i386
mcrl2 - 201310.0-1ubuntu1ppa1~saucy1 (changes file) scranen Published Saucy Math All builds were built successfully.
mcrl2 - 201310.0-1ubuntu1ppa1~raring1 (changes file) scranen Published Raring Math All builds were built successfully.
mcrl2 - 201310.0-1ubuntu1ppa1~quantal1 (changes file) scranen Published Quantal Math All builds were built successfully.
mcrl2 - 201210.1-1ubuntu1~oneiric1~ppa1 (changes file) jkeiren Published Oneiric Math All builds were built successfully.
mcrl2 - 201210.1-1ubuntu1~natty1~ppa1 (changes file) jkeiren Published Natty Math All builds were built successfully.
mcrl2 - 201210.1-1ubuntu1~maverick1~ppa1 (changes file) jkeiren Published Maverick Math All builds were built successfully.
1 → 17 of 17 results First • Previous • Next • Last