Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 5 Aug 2017 23:28:39 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Sun, 6 Aug 2017 01:29:24 +0000
SHA1 of .buildinfo
47b82b24b5e9aee20234e7c0e82c9b986c7d1e1d

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: f65874b9fa5a03f76bca23520b1128915b34bbba
SHA256: 94c42c682c41130e61fcd59bc6ee59836dd6407b46a327062f20ecc65056fd08

Size: 5,200,454 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: de12930539193dc1b5da8d313c97c18af9440e72
SHA256: fc70262a9e2e756def64804a6d54a7b0901a52ace32763e09b738ac5d55deccb

Size: 40,606 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: d0e70bef6eab4975bc25d55d12efe2e5177f64ed
SHA256: bcc5ec2406bcca7952b4244eacb6a30f9480855976655c7ca9bddae3f28e698f

Size: 79,172 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 8b79ad1db1f64402da5578903aa4b904e2feccc0
SHA256: 7d23d297afffdf653c231b424f280d353eb2e4ba4971a9f220b1b7c09cd7fbb4

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 6195c148aaed0275846de44b2bf20aac3584df4d
SHA256: e02831c6aca10a7c9566442f2a741aae0d1cef21f9f05f75083c7d4ebdf8dcc8

Size: 31,746 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: fb63dbb750c08e91d120ad1fc0d32c5b3a1fc3d5
SHA256: 38f3cc8eb82b3e1c50c14ce86f568fa79e6457275df92a88c6b7430858c56368

Size: 448,330 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: 01d2b9b0d97e8511f0f701697bd42bc3eccc7641
SHA256: 0afa4a98f80bf0c99e040a3dea05533a1b3067ce50dd36b40c088f9b4d211ccf

Size: 66,918 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: c0af013657a2ae96423f2d62e7fe9ea2d02c59e2
SHA256: b18dd218f0d8f8c810e60d96328f0d8204a4901a91f81b4aea3d1b35fa0acf4c

Size: 5,214,774 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: e61dbb7db24f61d8d64d6594fb5ab708e59668c2
Size: 77,235,006 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 8613b962c48ee001e8159fde4d560a03b0cbc9b0
Size: 183,942 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: ccee4e93b9d970476e49f41d4bf898d7b1d9d6c3
Size: 137,346 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 2e6eae3852745e273e58e3d5f9e940e079efac76
Size: 76,706,198 bytes

Submissions

Submitted
Sun, 6 Aug 2017 01:29:24 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/z3-4.4.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"