“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
1 → 75 of 269 results First • Previous • • Last
Source Uploader Published Status Series Section Build Status
cvc-47-src - 1.8.0-3.22.4 (changes file) jelmd Published Jammy Math All builds were built successfully.
cvc-47-src - 1.8.0-3.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
cvc-47-src - 1.8.0-3.16.4 (changes file) jelmd Published Xenial Math All builds were built successfully.
cvc-47-src - 1.8.0-2.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
darwin - 1.4.5-1ubuntu20 (changes file) cmaeder Published Vivid Misc All builds were built successfully.
darwin - 1.4.5-1ubuntu18 (changes file) cmaeder Published Wily Misc All builds were built successfully.
darwin - 1.4.5-1ubuntu12 (changes file) cmaeder Published Trusty Misc All builds were built successfully.
darwin - 1.4.5-1ubuntu8 (changes file) cmaeder Published Precise Misc All builds were built successfully.
darwin - 1.4.5-1ubuntu4 (changes file) cprodescu Published Lucid Misc All builds were built successfully.
darwin-src - 1.4.5-4.22.4 (changes file) jelmd Published Jammy Misc All builds were built successfully.
darwin-src - 1.4.5-4.20.4 (changes file) jelmd Published Focal Misc All builds were built successfully.
darwin-src - 1.4.5-4.18.4 (changes file) jelmd Published Bionic Misc All builds were built successfully.
darwin-src - 1.4.5-4.16.4 (changes file) jelmd Published Xenial Misc All builds were built successfully.
dmtcp - 1.2.3-1ubuntu5 (changes file) cmaeder Published Precise Utils All builds were built successfully.
dmtcp - 1.2.3-1ubuntu3 (changes file) cmaeder Published Lucid Utils All builds were built successfully.
e-darwin-src - 1.4.26092011-1.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
e-darwin-src - 1.4.26092011-1.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
e-darwin-src - 1.4.26092011-1.16.4 (changes file) jelmd Published Xenial Math All builds were built successfully.
e-krhyper-src - 1.4.21022014-2.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
e-krhyper-src - 1.4.21022014-1.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
e-krhyper-src - 1.4.21022014-1.16.4 (changes file) jelmd Published Xenial Math All builds were built successfully.
edarwin - 1.4.26092011-0ubuntu3 (changes file) cmaeder Published Precise Science All builds were built successfully.
ekrhyper - 1.4.21022014-0ubuntu1 (changes file) cmaeder Published Trusty Misc All builds were built successfully.
ekrhyper - 1.2.05042012-0ubuntu1 (changes file) cmaeder Published Precise Misc All builds were built successfully.
ekrhyper - 1.1.4.29062010-1 (changes file) cprodescu Published Lucid Misc All builds were built successfully.
eprover - 1.9-0ubuntu3 (changes file) cmaeder Published Vivid Science All builds were built successfully.
eprover - 1.9-0ubuntu1 (changes file) cmaeder Published Wily Science All builds were built successfully.
eprover - 1.8-0ubuntu2 (changes file) cmaeder Published Trusty Science All builds were built successfully.
eprover - 1.8-0ubuntu1 (changes file) cmaeder Published Precise Science All builds were built successfully.
eprover - 1.4-0ubuntu2 (changes file) cmaeder Published Lucid Science All builds were built successfully.
eprover-src - 2.5-2.22.4 (changes file) jelmd Published Jammy Math All builds were built successfully.
eprover-src - 2.5-2.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
eprover-src - 2.5-2.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
eprover-src - 2.5-2.16.4 (changes file) jelmd Published Xenial Math All builds were built successfully.
fact++ - 1.6.3-0ubuntu2 (changes file) cmaeder Published Trusty Misc All builds were built successfully.
fact++ - 1.6.3-0ubuntu1 (changes file) cmaeder Published Precise Misc All builds were built successfully.
fact++ - 1.6.1-0ubuntu3 (changes file) cmaeder Published Lucid Misc All builds were built successfully.
haskell-aterm - 0.1.0.1-0ubuntu12 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-aterm - 0.1.0.1-0ubuntu10 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-aterm - 0.1.0.1-0ubuntu5 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-aterm - 0.1.0.1-0ubuntu1 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-aterm - 0.1.0.0-1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-deepseq - 1.1.0.0-2.1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-devscripts-minimal-src - 0.16.2.1-1.22.4.4 (changes file) jelmd Published Jammy Haskell All builds were built successfully.
haskell-glade - 0.13.0-1 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-hexpat - 0.20.9-0ubuntu4 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-hexpat - 0.20.9-0ubuntu2 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-hexpat - 0.20.6-0ubuntu1 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-hexpat - 0.19.10-0ubuntu1 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-hexpat - 0.18-1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-list - 0.5.2-0ubuntu4 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-list - 0.5.2-0ubuntu2 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-list - 0.5.1-0ubuntu2 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-list - 0.4.2-0ubuntu1 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-list - 0.4.0-1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-programatica - 1.0.0.5-0ubuntu5 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-programatica - 1.0.0.5-0ubuntu4 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-programatica - 1.0.0.5-0ubuntu1 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-programatica - 1.0.0.4-0ubuntu1 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-programatica - 1.0-2 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-tar - 0.3.1.0-2.1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-text - 0.7.1.0-1.1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-transformers - 0.2.1.0-2 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-uni-events - 2.2.2.0-0ubuntu5 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-uni-events - 2.2.2.0-0ubuntu3 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-uni-events - 2.2.1.0-4ubuntu8 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-uni-events - 2.2.1.0-4ubuntu4 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-uni-events - 2.1.0.0-2 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-uni-graphs - 2.2.1.0-4ubuntu12 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-uni-graphs - 2.2.1.0-4ubuntu10 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-uni-graphs - 2.2.1.0-4ubuntu7 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-uni-graphs - 2.2.1.0-4ubuntu3 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-uni-graphs - 2.0-2 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-uni-htk - 2.2.1.2-0ubuntu4 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-uni-htk - 2.2.1.2-0ubuntu2 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
1 → 75 of 269 results First • Previous • • Last