Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 25 Nov 2018 07:13:21 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Sun, 25 Nov 2018 07:13:43 +0000
SHA1 of .buildinfo
28e81447ded257481a5bbc402471487d2e9afd12

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: e928eec14cf2c23c99eff709c1ec891a8bb2d75d
SHA256: 34150cc660ec00eb53e7fc7da88b75fa014793c313ff71cc3b255d1a9fee79dc

Size: 5,204,196 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: fa53ce17a75718870131239e64652e515f745e73
SHA256: 6d90cc0ad312a0b82c1255ee9eb7c2e861bf6d72fc6daa248995113c32495648

Size: 40,656 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: 58961489d474f3afda6f96d1cf12b4a8c8916395
SHA256: 49006b2d599aa54f9d13c437ff7ba1db0b54d5a895723267b2128bcb6f8352cc

Size: 31,968 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: 1cf468e0d9545e0c970efde800d8be0997494f4a
SHA256: e6c0262f90dfc388b874c29a2e6df3cd38b02c04a810abc84c5b7f4e9c9c9907

Size: 525,408 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: 1917adfc973f1b220552837a196acb0467e1b9ab
SHA256: 4b687cd528637111cf6a9f630b31983fafd7f74eaffc72f3a8cfb68700a8d11d

Size: 5,219,844 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 8c62a80e9f5258d178995a7e79f2d084a9a32e5b
Size: 98,642,172 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 8f8c197ee7cf6aab25b88a869a69fafbdef9d10a
Size: 219,172 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: b4202bb426ecd51bd5e8cc353e496f9160a56291
Size: 168,676 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 161b01a21dfab9f5db962cf6c42332986eab943b
Size: 98,055,732 bytes

Submissions

Submitted
Sun, 25 Nov 2018 07:13:43 +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"