Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 30 Jun 2018 10:52:16 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sat, 30 Jun 2018 11:06:50 +0000
SHA1 of .buildinfo
37e6d0e4eeec32921161d341d66b8a2319aa8263

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: e4881a17cc889d7041efc164f743dcc532e1d06b
SHA256: 6bb6c0433d31dad7da4eae6615289bf1c4d4edccc43b373ca8e66061246b4bbc

Size: 5,198,192 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 3880ec5c582083f7a7c6a3ddc5f601ff1b649e45
SHA256: eb2aa0625129952a870ecf923e6b27a119429981952d522342b7fd59d4208f25

Size: 40,688 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: c4eb3c174bef60cc4a342a21f14bdbc0dfd5f216
SHA256: 6673021c14012110553585a93e9362259b0dae2bbd49f328b6cfeff3b70f2ae0

Size: 79,248 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 37a3225867478728957af2f3a040bfcbf79caff4
SHA256: fd8baec0351c6a32b81055cc5158b409095ddba53727371738503e55e41c435b

Size: 145,732 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 4c5d63140dbb07caf939bd61270d1746bc8a0d75
SHA256: 9300a436c1d868cc9744ae1c6ed3cd76c7ef5724429c76ca3ddaf3c2f85851f0

Size: 31,868 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: caf4a65f0d1533702d1981fe9c660195790cd1e3
SHA256: 49cacf9f8fc808409c82c78e81d973d2370b5db2c095157214f7f20525679624

Size: 490,964 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: e530a2f8f7bfcae9be50094f3d4580a0c1007092
SHA256: 6c36b394cc508f7c3339c40ef39237bf3448517f754b471fe429e3d05b22769f

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: bba9ed147587cf82acd2cd4113f8dbccf05cf31b
SHA256: 2898fcb5b0d5c2f98ab27c0c6d0e749b7aea23bdb4df6d76d95ed3bdc1763bf2

Size: 5,214,200 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: e49480a153eab92515f440e6a11023fef507511c
Size: 77,870,852 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 5b76789c1dc09362b52bd4e52a85c0ed4dfd657b
Size: 183,960 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 845de4fd4efb9454194aa9cb2f8bfbf0b38bd053
Size: 137,412 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: b8d9e28f244ba12ff1302f03ace78399bf7edc45
Size: 77,364,464 bytes

Submissions

Submitted
Sat, 30 Jun 2018 11:06:51 +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/1st/z3-4.4.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"