Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 8 Aug 2020 02:56:05 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Sat, 6 Jul 2019 20:37:14 +0000
SHA1 of .buildinfo
483ffd57693a9432f3eb551ff4b0dbe815913979

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 89a91c3b455d19a7fefdbc90aca03b12118b07c1
SHA256: 23f8deb4dd27ba7b686439fcc5b46b1414828524b7cf3aebba220697653e738b

Size: 5,245,492 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 4ae965aa84996fcc7e2a982b2f535c9ead7660ea
SHA256: 17f43c84c9398c1c05fdc6268795f6e229f74b47951d0077e283679c5b88f4e4

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: ef0919f54edc0e80d95451f5fe79d7caa1ea155b
SHA256: 7254dab279006830e83eb88cb4d27ef56fde8beaa876a16deb1491d8b7a74a3d

Size: 32,144 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: 1115b9394253c90cd4b0206c5698102725e9e62d
SHA256: 69e4f04a392ec44d835f519bd031f33d7e24e41619735f6be3734480b637bee6

Size: 525,548 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: d207864f3199ac1458ffc51b2851d7099ce40089
SHA256: 64e4d2b820d75aea73fc3076a8630961351ac9c757376574dd0ae5a205fe4eac

Size: 5,259,380 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: af0b0ca9968b282f1aba9044033444b2c93fcf6c
Size: 98,905,720 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: d36a77439363ddcb546aa7a845733364740f5065
Size: 218,860 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 6f190928fe214d09276a07a2c605ad55e225d9e2
Size: 168,684 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 867fa5c1af511d40b0ae9d6469bead91dd950032
Size: 98,302,944 bytes

Submissions

Submitted
Sat, 6 Jul 2019 20:37:15 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-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"