Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 10 Jun 2019 16:01:51 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Tue, 8 May 2018 09:40:14 +0000
SHA1 of .buildinfo
575724010520f8e28b9da687b1775642dc2aa143

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: b0c62beac7a0fb35f7e1ee755961e6a2ffea82ee
SHA256: 7619c09190a163cef48977139cc3fe80af9facb14cc014b2e282c6758bb07727

Size: 5,199,400 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: ae2794f9235b373fa4dba53ece77891d904497ae
SHA256: 76e13f374bf0eb6ce9c80936176f35b66456879d0646f26e6136a55811a227f1

Size: 40,692 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: d92873f3ff5fd0a050c58cfb9a6532f6a906329a
SHA256: e21a0f2f9c0480d50b979dc5a9393d0de8ca5cc8839860389658ed30ba016b07

Size: 31,316 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 013791052aa700f42bf87a3bd0490d7f793620b9
SHA256: c685c13f74f38ea8772c8eb463254df775bea71d43fd41993808a11e31d543c7

Size: 488,312 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: 29b87b6185faed4ac738868ba4a8e627c457b7e7
SHA256: c3323ac9986af06b4e49d7098eb5dab10ebb67129afd6f3c000ec6192c340835

Size: 5,213,612 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 209ce7e0844ec05630a4236f734d34a855f0cb58
Size: 77,886,108 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 14185659927251b62880bd618c0283458ba01d4b
Size: 184,096 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: e82362d92f39a0199c618d929b7035f504fc9c48
Size: 137,444 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 7b9266ef4facc252cd1880246c428e8f986c1d82
Size: 77,361,480 bytes

Submissions

Submitted
Tue, 8 May 2018 09:40:14 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-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=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"