“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
76 → 150 of 269 results First • • • Last
Source Uploader Published Status Series Section Build Status
haskell-uni-htk - 2.2.1.1-0ubuntu6 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-uni-htk - 2.2.1.1-0ubuntu2 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-uni-htk - 2.0-2 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-uni-posixutil - 2.2.1.1-0ubuntu11 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-uni-posixutil - 2.2.1.1-0ubuntu9 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-uni-posixutil - 2.2.1.1-0ubuntu6 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-uni-posixutil - 2.2.1.1-0ubuntu2 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-uni-posixutil - 2.1.0.0-2ubuntu1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-uni-reactor - 2.2.1.0-4ubuntu13 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-uni-reactor - 2.2.1.0-4ubuntu11 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-uni-reactor - 2.2.1.0-4ubuntu8 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-uni-reactor - 2.2.1.0-4ubuntu4 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-uni-reactor - 2.0-2 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-uni-udrawgraph - 2.2.1.3-0ubuntu4 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-uni-udrawgraph - 2.2.1.3-0ubuntu2 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-uni-udrawgraph - 2.2.1.2-0ubuntu5 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-uni-udrawgraph - 2.2.1.2-0ubuntu1 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-uni-udrawgraph - 2.0-3 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-uni-util - 2.3.0.1-7 (changes file) cmaeder Published Vivid Haskell All builds were built successfully.
haskell-uni-util - 2.3.0.1-4 (changes file) cmaeder Published Wily Haskell All builds were built successfully.
haskell-uni-util - 2.3.0.1-1 (changes file) cmaeder Published Trusty Haskell All builds were built successfully.
haskell-uni-util - 2.2.1.2-0ubuntu1 (changes file) cmaeder Published Precise Haskell All builds were built successfully.
haskell-uni-util - 2.1.0.0-2 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-utf8-string - 0.3.6-1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-wai - 0.2.2.1-1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-wai-extra - 0.2.4.2-1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
haskell-zlib-bindings - 0.0.0-1ubuntu1 (changes file) cprodescu Published Lucid Haskell All builds were built successfully.
hets-hollight-tools - 20131026-2ubuntu2~wily (changes file) jonathan-von-schroeder Published Wily Misc All builds were built successfully.
hets-hollight-tools - 20131026-2ubuntu1~trusty (changes file) jonathan-von-schroeder Published Trusty Misc All builds were built successfully.
hets-hollight-tools - 0.3-0ubuntu7 (changes file) cmaeder Published Lucid Misc All builds were built successfully.
hets-hollight-tools - 0.3-0ubuntu4 (changes file) cmaeder Published Precise Misc All builds were built successfully.
hets-libs-src - 0.108.0-1.22.4 (changes file) jelmd Published Jammy Math All builds were built successfully.
hets-libs-src - 0.108.0-1.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
hets-libs-src - 0.100.0-1.18.4 (changes file) jelmd Published Bionic Misc All builds were built successfully.
hets-libs-src - 0.100.0-1.16.4 (changes file) jelmd Published Xenial Misc All builds were built successfully.
hets-libs-src - 0.99.2.1-1.15.4 (changes file) jelmd Published Vivid Misc All builds were built successfully.
hets-libs-src - 0.99.2-2.15.10 (changes file) jelmd Published Wily Misc All builds were built successfully.
hets-libs-src - 0.99.2-2.14.4 (changes file) jelmd Published Trusty Misc All builds were built successfully.
hets-metapkg-src - 1.2.9-1.22.4 (changes file) jelmd Published Jammy Math All builds were built successfully.
hets-metapkg-src - 1.2.8-1.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
hets-metapkg-src - 1.2.0-1.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
hets-metapkg-src - 1.1.0-2.16.4 (changes file) jelmd Published Xenial Math All builds were built successfully.
hets-metapkg-src - 1.0.5-1.15.10 (changes file) jelmd Published Wily Misc All builds were built successfully.
hets-metapkg-src - 1.0.5-1.15.4 (changes file) jelmd Published Vivid Misc All builds were built successfully.
hets-metapkg-src - 1.0.5-1.14.4 (changes file) jelmd Published Trusty Misc All builds were built successfully.
hets-mime-types - 0.99-1 (changes file) jonathan-von-schroeder Published Precise Misc All builds were built successfully.
hets-src - 0.108.0-1.22.4 (changes file) jelmd Published Jammy Misc All builds were built successfully.
hets-src - 0.108.0-1.20.4 (changes file) jelmd Published Focal Misc All builds were built successfully.
hets-src - 0.106.0-1.18.4 (changes file) jelmd Published Bionic Misc All builds were built successfully.
hets-src - 0.105.0-3.16.4 (changes file) jelmd Published Xenial Misc All builds were built successfully.
hets-src - 0.99.14-1.15.10 (changes file) jelmd Published Wily Misc All builds were built successfully.
hets-src - 0.99.14-1.15.4 (changes file) jelmd Published Vivid Misc All builds were built successfully.
hets-src - 0.99.14-1.14.4 (changes file) jelmd Published Trusty Misc All builds were built successfully.
hol-light - 0.0r112-1ubuntu3 (changes file) cmaeder Published Lucid Misc All builds were built successfully.
isabelle - 2012-1ubuntu2 (changes file) cmaeder Published Trusty Misc All builds were built successfully.
isabelle - 2012-1ubuntu1 (changes file) cmaeder Published Precise Misc All builds were built successfully.
isabelle - 2012-1ubuntu1~lucid (changes file) cmaeder Published Lucid Misc All builds were built successfully.
isabelle-installer - 2014-2ubuntu4 (changes file) cmaeder Published Trusty Misc All builds were built successfully.
isabelle-installer - 2014-2ubuntu3 (changes file) cmaeder Published Precise Misc All builds were built successfully.
leo2 - 1.6.0-1ubuntu0~precise (changes file) jonathan-von-schroeder Published Precise Misc All builds were built successfully.
leo2 - 1.6.0-1ubuntu0~lucid (changes file) jonathan-von-schroeder Published Lucid Misc All builds were built successfully.
leo2-src - 1.7.0.1-4.16.4 (changes file) jelmd Published Xenial Math All builds were built successfully.
leo2-src - 1.7.0.1-3.20.4 (changes file) jelmd Published Focal Math All builds were built successfully.
leo2-src - 1.7.0.1-3.18.4 (changes file) jelmd Published Bionic Math All builds were built successfully.
libghc-aterm-dev-src - 0.1.0.2-3.22.4 (changes file) jelmd Published Jammy Haskell All builds were built successfully.
libghc-aterm-dev-src - 0.1.0.2-2.20.4 (changes file) jelmd Published Focal Haskell All builds were built successfully.
libghc-aterm-dev-src - 0.1.0.2-1.18.4 (changes file) jelmd Published Bionic Haskell All builds were built successfully.
libghc-aterm-dev-src - 0.1.0.2-1.16.4 (changes file) jelmd Published Xenial Haskell All builds were built successfully.
libghc-esqueleto-dev-src - 2.5.3-3.16.4 (changes file) jelmd Published Xenial Haskell All builds were built successfully.
libghc-glade-dev-src - 0.13.1-4.18.4 (changes file) jelmd Published Bionic Haskell All builds were built successfully.
libghc-glade-dev-src - 0.13.1-4.16.4 (changes file) jelmd Published Xenial Haskell All builds were built successfully.
libghc-heap-dev-src - 1.0.4-1.22.4 (changes file) jelmd Published Jammy Haskell All builds were built successfully.
libghc-heap-dev-src - 1.0.4-1.20.4 (changes file) jelmd Published Focal Haskell All builds were built successfully.
libghc-hexpat-dev-src - 0.20.13-10.22.4.6 (changes file) jelmd Published Jammy Haskell All builds were built successfully.
libghc-hexpat-dev-src - 0.20.13-7.20.4 (changes file) jelmd Published Focal Haskell All builds were built successfully.
76 → 150 of 269 results First • • • Last