Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 15 Mar 2019 13:18:03 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Fri, 15 Mar 2019 13:32:24 +0000
SHA1 of .buildinfo
5032d401b9e2fcca016a4df87435e8df7dbf665b

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: cd80ec1937ca0d8cb599643304ed59200a39c3f6
SHA256: 987b11282f5974dceb9b91c6b97c4e5ed3e33999ab8d3295b2df1a57b79d5b81

Size: 5,253,356 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 9d16c39e8d1c0e163cb842cca38d7ad54ecbbc22
SHA256: a63b0ffc01cd5e2aa938133248100d72901500a61a4d41bae8a83a4a6c52f8de

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: 871e6b9dbd9487d3eb7d1c272e3c7f3f1ff7b92c
SHA256: 4d6b89fb7146248cc4a48831f5e23091255be97d15995c2777be3c5007a4b1b7

Size: 32,084 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: e9da53c899120fb2f882314b65c17fa9f6ac6fe5
SHA256: 6c608441d457e671772ff3741362e34a495214f5cd0822ed5430f41ed6430c74

Size: 524,880 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: c169c87f2fdf9037dfe3736ea1281652145662b8
SHA256: 0e606de364d8ea68ef6552e9bac46074a1e0605b58c140be9a47736234cc1478

Size: 5,266,088 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: b5dbd0c34456e8fc5c3ff3ef3ec4bb8c3342edc7
Size: 98,947,464 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: f153b80a4f17ca922f49cf93a6dc0e8b28743277
Size: 218,808 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 53e1cc59a8a5586bec455501a4e5e65b24c4e91b
Size: 168,676 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: a61c71deda97a98e5c3062a9f4a22dcf87a4912d
Size: 98,355,964 bytes

Submissions

Submitted
Fri, 15 Mar 2019 13:32:25 +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"