z3_4.4.1-0.4_amd64.buildinfo (view)

Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 25 Mar 2020 15:41:32 +0000
Build-Path
/build/z3-4.4.1

First submitted
Thu, 21 Feb 2019 09:43:36 +0000
SHA1 of .buildinfo
54d95cb23ae5cf1d0275ae64416d3e21572698b7

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 1d3c1953f2bcb467c75782c4908c4da00d2fe0ba
SHA256: 77c05fe52d01a27c73388b690a5a4b4908d53e1ff23c322ec2d1030727c01a57

Size: 5,204,732 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 9375d098faba5a009e095c14ddb09f3c037f3ed6
SHA256: 1b1975b0f85e44f451f27bd8d8bc69824c07c445f930556129c3a993fa96ded0

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: ab11ad68acb0d0e80436e88562db7c4adb599512
SHA256: 89294d2b1acc79a25c24ec5bb2d37bc30af398e366604364f3c4c7f0273262c2

Size: 32,072 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: 7d836aa9ac7383cf236853c01f6284e641330669
SHA256: 76cffd15ba31ea5c60f8dd43349bf18a5c2bb5170128cfbba694cc983ba64c80

Size: 523,616 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: d37259e0d9e9d0eea384e2c48d9f00ac465e8489
SHA256: 248d9dff35352e2f029458d93e194fc71a44b9e7195f76d7229827a1e8ec9f39

Size: 5,219,888 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 499a8a43b29991bc869d73e2a9216939140c4c36
Size: 98,672,332 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: fd853a8941921daa35b1f89d91677374fdc5f982
Size: 218,836 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 020bc8d2c946b40187a15804d8fc00e42bcc0e7b
Size: 168,628 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: ad3981377f18beace9ba9cd8a195941d4d70f41b
Size: 98,067,092 bytes

Submissions

jffqmr3n
Submitted
Thu, 21 Feb 2019 09:43:36 +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"