“hets packaging” team

Builds for hets ubuntu repository

  1. hets ubuntu repository
  2. Builds
Package:
1 → 75 of 1415 results First • Previous • • Last
[FULLYBUILT] amd64 build of zchaff-src 2008.10.12.1-1.22.4 in ubuntu jammy RELEASE
Build started on bos03-amd64-012 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of hets-src 0.108.0-1.22.4 in ubuntu jammy RELEASE
Build started on bos03-amd64-004 and finished taking 21 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-udrawgraph-dev-src 2.2.1.4-3.22.4.2 in ubuntu jammy RELEASE
Build started on bos03-amd64-049 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-graphs-dev-src 2.2.1.2-2.22.4.2 in ubuntu jammy RELEASE
Build started on lcy02-amd64-057 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-htk-dev-src 2.2.1.3-4.22.4.2 in ubuntu jammy RELEASE
Build started on lcy02-amd64-017 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-reactor-dev-src 2.2.1.0-4.22.4.2 in ubuntu jammy RELEASE
Build started on lcy02-amd64-063 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of libghc-uni-posixutil-dev-src 2.2.1.1-4.22.4.3 in ubuntu jammy RELEASE
Build started on lcy02-amd64-053 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of libghc-persistent-mysql-dev-src 2.10.2.3-4.22.4.2 in ubuntu jammy RELEASE
Build started on lcy02-amd64-095 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-mysql-dev-src 0.1.7-6.22.4.2 in ubuntu jammy RELEASE
Build started on lcy02-amd64-028 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-events-dev-src 2.2.2.1-6.22.4.2 in ubuntu jammy RELEASE
Build started on lcy02-amd64-051 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of libghc-mysql-simple-dev-src 0.4.5-4.22.4.2 in ubuntu jammy RELEASE
Build started on bos03-amd64-020 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-hexpat-dev-src 0.20.13-10.22.4.6 in ubuntu jammy RELEASE
Build started on lcy02-amd64-047 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of haskell-devscripts-minimal-src 0.16.2.1-1.22.4.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-004 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of haskell-devscripts-minimal-src 0.16.2.1-1.22.4.3 in ubuntu jammy RELEASE
Build started on lcy02-amd64-043 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of haskell-devscripts-minimal-src 0.16.2.1-1.22.4.2 in ubuntu jammy RELEASE
Build started on lcy02-amd64-011 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of libghc-heap-dev-src 1.0.4-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-035 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-heap-dev-src 1.0.4-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-071 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-xeno-dev-src 0.6-2.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-065 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-xeno-dev-src 0.6-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-016 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of hets-metapkg-src 1.2.9-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-026 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-libs-src 0.108.0-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-087 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-libs-src 0.108.0-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-046 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-metapkg-src 1.2.8-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-026 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-src 0.108.0-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-070 and finished taking 18 minutes — see the log
[FULLYBUILT] amd64 build of hets-metapkg-src 1.2.7-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-085 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-src 0.107.4-10.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-103 and finished taking 18 minutes — see the log
[FULLYBUILT] amd64 build of hets-metapkg-src 1.2.6-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-004 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-metapkg-src 1.2.3-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-059 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-metapkg-src 1.2.2-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-015 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-metapkg-src 1.2.1-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-056 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of udrawgraph-src 3.1.1-11.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-057 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of udrawgraph-src 3.1.1-11.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-102 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-libs-src 0.107.0-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-097 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-libs-src 0.107.0-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-079 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-libs-src 0.100.0-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-020 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of hets-libs-src 0.100.0-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-068 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of z3-src 4.8.9-6.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-031 and finished taking 10 minutes — see the log
[FULLYBUILT] amd64 build of z3-src 4.8.9-6.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-062 and finished taking 10 minutes — see the log
[FULLYBUILT] amd64 build of libghc-relation-dev-src 0.5.2.0-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-041 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of libghc-relation-dev-src 0.5.2.0-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-051 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of libghc-list-dev-src 0.6.2-5.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-044 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of libghc-aterm-dev-src 0.1.0.2-3.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-044 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of vampire-src 4.5.1-3.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-037 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of yices-src 2.6.2-2.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-044 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of z3-src 4.8.9-5.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-092 and finished taking 7 minutes — see the log
[FULLYBUILT] amd64 build of eprover-src 2.5-2.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-092 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of darwin-src 1.4.5-4.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-046 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of cvc-47-src 1.8.0-3.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-031 and finished taking 8 minutes — see the log
[FULLYBUILT] amd64 build of owltools-src 0.3.0.0.2019.7.1.1.1-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-089 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of pellet-src 2.3.1.3-2.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-030 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of pellet-src 2.3.1.3-1.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-070 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of hets-src 0.107.1-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-007 and finished taking 17 minutes — see the log
[FULLYBUILT] amd64 build of libghc-persistent-mysql-dev-src 2.9.0-3.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-079 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-mysql-simple-dev-src 0.4.5-3.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-063 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-mysql-dev-src 0.1.7-5.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-042 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-mysql-dev-src 0.1.7-5.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-031 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-udrawgraph-dev-src 2.2.1.4-2.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-077 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-graphs-dev-src 2.2.1.2-1.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-062 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-htk-dev-src 2.2.1.3-3.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-099 and finished taking 3 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-reactor-dev-src 2.2.1.0-3.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-011 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-posixutil-dev-src 2.2.1.1-3.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-050 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-util-dev-src 2.3.0.3-4.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-059 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-util-dev-src 2.3.0.3-4.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-062 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-events-dev-src 2.2.2.1-5.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-065 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-list-dev-src 0.6.2-4.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-071 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-list-dev-src 0.6.2-4.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-079 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of libghc-list-dev-src 0.6.2-3.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-056 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of libghc-list-dev-src 0.6.2-3.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-071 and finished taking 1 minute — see the log
[FULLYBUILT] amd64 build of libghc-uni-util-dev-src 2.3.0.3-3.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-059 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-util-dev-src 2.3.0.3-3.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-012 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-list-dev-src 0.6.2-2.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-108 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-list-dev-src 0.6.2-2.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-059 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-aterm-dev-src 0.1.0.2-2.22.4 in ubuntu jammy RELEASE
Build started on lcy02-amd64-050 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-aterm-dev-src 0.1.0.2-2.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-073 and finished taking 2 minutes — see the log
[FULLYBUILT] amd64 build of libghc-uni-events-dev-src 2.2.2.1-4.20.4 in ubuntu focal RELEASE
Build started on lcy02-amd64-051 and finished taking 1 minute — see the log
1 → 75 of 1415 results First • Previous • • Last