Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 1 Jul 2019 14:50:00 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 1 Jul 2019 15:02:41 +0000
SHA1 of .buildinfo
88ad87d5e4fc9c8dcb924b06273098ac18037723

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 0f6490a82debefd1d4fd2886fa436de6933241b8
SHA256: 87299ab157a5be0c6d0643c7c7b2ff3aaa32eb18fef95574b7ebdd97513640d4

Size: 5,250,712 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 90cdb8df7daa0c1c3f4658307ae16a3782527cb2
SHA256: f7d3a4bf359109364e728b3bafe203c15b33630f4378a9e84dea650cd5a778ab

Size: 40,664 bytes
libz3-dev (libz3-dev_4.4.1-0.4_amd64.deb)
SHA1: 1affd85a0a3f2f2359748e46cd01fe3b1c664187
SHA256: a34586f674651ef7692332a2d694bea37e0df8a3b4ac90eef134fd151d9dcf0d

Size: 79,356 bytes
libz3-java (libz3-java_4.4.1-0.4_amd64.deb)
SHA1: c4985ab482d61c6f9c6eaded160e265adf09aa44
SHA256: 840297faf60436f4fa4a6c68e87613b239f06d193e0e75a697a0eb14be7d2db0

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_amd64.deb)
SHA1: f45007e4a28238f15751ec1e3994f0610bc429b7
SHA256: d44148914041c3e0a0ca0473f6a1ef8a6aeeb7e8279376ee05f7e89802b341a3

Size: 32,120 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: 408acbfeb20e96b2921deb8b084a852548d02669
SHA256: 5119911fdcf54da1e38e62171bbc21bcc815358597e97f6c52f385a5de050a34

Size: 525,224 bytes
python-z3 (python-z3_4.4.1-0.4_amd64.deb)
SHA1: 7406286014ffe581d40fc8a8ad9f8d2efdbcd9be
SHA256: a9c08bd0430a547154c1e84529877eae035b0f0117cd22b0fa8e1ae5e2b4f638

Size: 66,992 bytes
z3 (z3_4.4.1-0.4_amd64.deb)
SHA1: b7e486c8c5515d1675b405ed9d711308ce709ae7
SHA256: 01bbacbac78d80a535291ae42f5c0cee33cd9b31ffea44669ef9aff0dcb4c67b

Size: 5,265,804 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 9462f6d7afbe062acf1a7cc6e091d36e8af990ea
Size: 98,924,848 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 1dfa3c1e614f95eefc3da0029a9f3b46edaf1d8d
Size: 218,812 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 5a9a95ab0d4faf996713f1c26bbb118e39acabf4
Size: 168,624 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: fdbc12410f616566bb2b53c87967ec3b33d7a615
Size: 98,330,344 bytes

Submissions

Submitted
Mon, 1 Jul 2019 15:02:42 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1536521312"