Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 2 Dec 2019 01:54:48 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Mon, 29 Oct 2018 20:09:50 +0000
SHA1 of .buildinfo
3079e1367f2022992c54f7dcdc1008c091340e12

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 51c6887331ca5ac5fe87d47fd889657fd0f0fa83
SHA256: 0f59187a6eb824e4e09c689a150829b0210626667aa474521c153eddcd4cf844

Size: 5,202,896 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: cccc00eaaf2c455e6898a147ebf0dd1c23c75038
SHA256: 39ec62d7537b16c000fdf8fee5492cd7d94e5f33de639feac3f42886b0e37f98

Size: 40,652 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: ecc0d327b3ff11add832c07821548982f7c8109a
SHA256: 274b0e2e35045e3c087eadb7d6f0f75e7d96e4a2b0c540aab79c98ed1d9e1323

Size: 31,788 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: b4ed548c3771af2c8e1ae559ca7a5be26a5d4814
SHA256: c749297fef0541668b084241de6ac4b543964a2ffaed1aae2cca4391ca52cacc

Size: 526,920 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: fa162dff2eab9a04655244e6034fa13b6020226a
SHA256: 24f3fc08788644552a9180570013433d121f92e86ef789a6c0d1b1d8b7219d94

Size: 5,218,724 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: cb78f9bd7fbe8c93cb6d712d949713d523deca1c
Size: 98,400,632 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 633df1fca0c5dea8e5dc5bfc25a0dad59b1c3323
Size: 219,120 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 6e9076ac4117cdbc541451289654efa69936ab4f
Size: 168,676 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: a778aedee340026b6ec4154aa0f943cd87d34b27
Size: 97,790,496 bytes

Submissions

Submitted
Mon, 29 Oct 2018 20:09:50 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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