“hets packaging” team

Packages in “hets ubuntu repository”

  1. hets ubuntu repository
  2. Packages in “hets ubuntu repository”

This PPA currently publishes packages for Jammy, Focal, Bionic, Xenial, Wily, Vivid, Trusty, Precise, 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 1793 builds have been created for this PPA.

Completed builds
1415 successful
354 failed

Packages

in
226 → 269 of 269 results First • • Next • Last
Source Uploader Published Status Series Section Build Status
pellet - 2.2.2-4ubuntu1 (changes file) cmaeder Published Lucid Misc All builds were built successfully.
pellet-src - 2.3.1.3-2.22.4 (changes file) jelmd Published Jammy Math All builds were built successfully.
pellet-src - 2.3.1.3-1.20.4 (changes file) jelmd Published Focal Misc All builds were built successfully.
pellet-src - 2.3.1.3-1.18.4 (changes file) jelmd Published Bionic Misc All builds were built successfully.
protege - 4.1-1ubuntu5 (changes file) cmaeder Published Precise Misc All builds were built successfully.
protege - 4.1-1ubuntu2 (changes file) cprodescu Published Lucid Misc All builds were built successfully.
reduce - 04-Aug-10-1 (changes file) cprodescu Published Lucid Misc All builds were built successfully.
satallax - 2.7-1ubuntu2~lucid (changes file) jonathan-von-schroeder Published Lucid Misc All builds were built successfully.
satallax - 2.7-1ubuntu0~precise (changes file) jonathan-von-schroeder Published Precise Misc All builds were built successfully.
satallax-src - 2.7-2.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
satallax-src - 2.7-2.16.4 (changes file) jelmd Published Xenial Math All builds were built successfully.
satallax-src - 2.7-1.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
spass-src - 3.9.0-3.18.4.2 (changes file) jelmd Published Bionic Misc All builds were built successfully.
spass-src - 3.9.0-3.16.4.2 (changes file) jelmd Published Xenial Misc All builds were built successfully.
test-src - 0.5-1.15.10 (changes file) jelmd Published Wily Misc There were build failures. amd64
test-src - 0.5-1.14.4 (changes file) jelmd Published Trusty Misc There were build failures. i386
twelf - 1.5R3r1687-2ubuntu2 (changes file) cprodescu Published Lucid Misc All builds were built successfully.
udrawgraph - 3.1.1-4ubuntu8 (changes file) cmaeder Published Vivid Misc All builds were built successfully.
udrawgraph - 3.1.1-4ubuntu6 (changes file) cmaeder Published Wily Misc All builds were built successfully.
udrawgraph - 3.1.1-4ubuntu3 (changes file) cmaeder Published Trusty Misc All builds were built successfully.
udrawgraph - 3.1.1-4ubuntu0 (changes file) cprodescu Published Precise Misc All builds were built successfully.
udrawgraph - 3.1.1-2 (changes file) cprodescu Published Lucid Misc All builds were built successfully.
udrawgraph-src - 3.1.1-11.22.4 (changes file) jelmd Published Jammy Misc All builds were built successfully.
udrawgraph-src - 3.1.1-11.20.4 (changes file) jelmd Published Focal Misc All builds were built successfully.
udrawgraph-src - 3.1.1-10.18.4 (changes file) jelmd Published Bionic Misc All builds were built successfully.
udrawgraph-src - 3.1.1-10.16.4 (changes file) jelmd Published Xenial Misc All builds were built successfully.
vampire-src - 4.5.1-3.22.4 (changes file) jelmd Published Jammy Math All builds were built successfully.
vampire-src - 4.5.1-3.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
vampire-src - 4.5.1-3.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
yices - 1.0.38-0ubuntu1 (changes file) cmaeder Published Precise Science All builds were built successfully.
yices-src - 2.6.2-2.22.4 (changes file) jelmd Published Jammy Math All builds were built successfully.
yices-src - 2.6.2-2.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
yices-src - 2.6.2-2.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
yices-src - 2.6.2-2.16.4 (changes file) jelmd Published Xenial Math All builds were built successfully.
z3 - 4.3.1.1-ubuntu1 (changes file) cmaeder Published Precise Science All builds were built successfully.
z3-src - 4.8.9-6.22.4 (changes file) jelmd Published Jammy Math All builds were built successfully.
z3-src - 4.8.9-6.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
z3-src - 4.8.9-5.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
zchaff - 2008.10.12-4ubuntu2 (changes file) cmaeder Published Precise Misc All builds were built successfully.
zchaff - 2008.10.12-1ubuntu1 (changes file) cprodescu Published Lucid Misc All builds were built successfully.
zchaff-src - 2008.10.12.1-1.22.4 (changes file) jelmd Published Jammy Math All builds were built successfully.
zchaff-src - 2008.10.12-1.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
zchaff-src - 2008.10.12-1.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
zchaff-src - 2008.10.12-1.16.4 (changes file) jelmd Published Xenial Math All builds were built successfully.
226 → 269 of 269 results First • • Next • Last