Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 16 Oct 2021 01:35:17 +0000
Build-Path
/build/2/z3-4.4.1/2nd

First submitted
Sun, 11 Aug 2019 12:50:30 +0000
SHA1 of .buildinfo
89dd0db1069aaa53d0ff5bb371398016b30bb018

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 05cb4fcc5e1d6537f5d7d2b1b9cf634268fd1700
SHA256: 142b38ee09f36a341515bb734f45f518dccfd4f97ac7797548c80e4908bf373d

Size: 5,244,540 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: ae6c97a6f40d6015eac91eff6b1b32ea4eff1655
SHA256: 56125378f6b2aedfa43e431641d994373f4f4f4415d5001f64b6d02cb22c6348

Size: 40,668 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: 27a4864adb48f490a5fd14b907e8f778ab976a90
SHA256: 7a2dd6811080f2f0b35eb0f49d9235675bb555c03d082aeb109e5b88c4bdb5c1

Size: 31,956 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: 4e346ba51b8c2541e591e756c47bac6187426c2e
SHA256: 50bb1e25f8ad76566f3846b317aac56186c7b31854fd831bd65f810f89d6d73b

Size: 522,444 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: 5cc01ae79e2f1272ab0f895fc5c78eedc3a8bf43
SHA256: 8fe709143fc049c7e867ce4dd52211e0610a17d482580ba77a93d80dec406a96

Size: 5,259,352 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 526200ad8edd1bff72430b6a42a3108ba6f4892c
Size: 98,802,200 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 3b517860351eda236fa79ee0f4ee15e0b6e4a4ae
Size: 218,812 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: b92c4486cd65f3cba077175aac389e61e428bd1e
Size: 168,512 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 5ff7aa6b08e822de04ab72a9a3d0ad38cb5c9276
Size: 98,194,704 bytes

Submissions

Submitted
Sun, 11 Aug 2019 12:50:30 +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"