Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 4 Oct 2018 18:13:58 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Fri, 1 Sep 2017 11:51:14 +0000
SHA1 of .buildinfo
18833bf6859fe1780c750f0a693ce8c984e7ca4e

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 2850db15a139a2b33989230f9244df12df3e1fbe
SHA256: bd8a6b5d63e2b3304cba54c6aa3ed0e05212f33622e18fb061870c9836312961

Size: 5,199,390 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 60ac92abe341cd6abb6851fb5f20d2a0f7626e79
SHA256: f6230db065bee53e32ce39aaa770a9d4685fe731ba09d0d74178dd174f08c141

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: 2e3aaf55b4faecf3954348220f34de531596920b
SHA256: 9b173866fb25468749b2b190082680af014aee8c13897de40c0ce2da040eed87

Size: 31,560 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: e4b6494c2086edfdfaf1dcfb669082536c656c49
SHA256: 65c94403d7fb68aa806fe83e0abaf49aaa1da115f91c3c969b6595e974bab006

Size: 450,924 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: 38380dd1eb2f90e13de33bedd475b72a918b4d0f
SHA256: f0924fbeadcd0e7349b600d6ae94a56b4c34df401fe722d74d8f49de5833b1a9

Size: 5,216,442 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 9d6a243e3ff673e7ddf7728552006d0c3eb3a12e
Size: 77,244,496 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: caf373bd6ca4b5a0e7b40c2cf8458c15e0ec69d9
Size: 183,926 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 9a975b16186b01b49ab211e7dc0b9e4fe5d0d18b
Size: 137,278 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: af847f52e0eb880826c6938d60bb6e5a64754290
Size: 76,712,364 bytes

Submissions

Submitted
Fri, 1 Sep 2017 11:51: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"