Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 24 Sep 2019 23:34:56 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Wed, 22 Aug 2018 17:30:09 +0000
SHA1 of .buildinfo
ffc479ad64fae266b61b93e87f72f18822681193

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 8492dbdb4d5ae4d28df9d3eb198974d58588cb82
SHA256: 8e8acb7ef27f32956ee632497c7eb3141b0b68c6b31a7a20ccf96125670f10bb

Size: 5,201,892 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 92e34cb904897bf5122423e00ed5b641b32982d3
SHA256: ac5378564a84d4521eb88101342fc9c49a8e05f60ce76cd866878ef9437f46c7

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: 3486eb4725d9b207da706c0967ea8160223da219
SHA256: 25911b3ab22b3168b6a0c0c7896edc25014c51fcff20e7af312da80af5b67585

Size: 31,756 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: eada064092d8e769d162c24804f3134a981100b6
SHA256: b7277c3a38705b0b58f4b3995fa279f8f461d0471bfbd0a51194d2bc7f98111a

Size: 522,908 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: 6eaa958d444c7641bd8c388e6f6049b85047ccd3
SHA256: c1fbf2e368f866843844966c332805112d03e82fb91bf5fe0586147c08193fa5

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: fe165d2be5978d901b4196eeca410cea5183d3b9
SHA256: ef6bb93063f205b4c93bc1c10cee36377edcd7a5d01830814a845de2426386e0

Size: 5,218,888 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 1fecd4ce4e8f762142d2188c3bd79da0885ca179
Size: 98,427,244 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 8808c9f81d7a20a8278b2ee85d97d160477018fb
Size: 219,160 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 559f043fc51daf172634595ce9455ee600171eed
Size: 168,668 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 0d372c74765cadc3ec161d9a8ef4cd137fd6715b
Size: 97,814,056 bytes

Submissions

Submitted
Wed, 22 Aug 2018 17:30:11 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"