Source
z3
Version
4.4.1-0.4
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 23 Dec 2018 21:09:13 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sun, 23 Dec 2018 21:28:55 +0000
SHA1 of .buildinfo
391b070b8937822d46610411da0fe6ded54bfabc

Binaries

libz3-4 (libz3-4_4.4.1-0.4_amd64.deb)
SHA1: 8d8f3845a8c4807bdd8dcc504b4b23d4a371672a
SHA256: d9086432f49d81527192efdaa08e3f3064522f0e16f1b299d6d470c4ad16f613

Size: 5,204,144 bytes
libz3-cil (libz3-cil_4.4.1-0.4_amd64.deb)
SHA1: 388ba970729fc83af35cc6b8bbc8909aa2f9d133
SHA256: 769240ade109f28f0b3d2b8afe9a78478023c340fdaf1630c81709fbf2dc44a9

Size: 40,652 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: 3533a0353ff5c34ca9082f6146f9e322f3726246
SHA256: e9491dc2d9a331e6ec1000e268766794964c06ce5b5ec4de5c3359c77f30f8e0

Size: 31,904 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_amd64.deb)
SHA1: d3af97c2da7178d4a41d8e59cc1c129a40ea2283
SHA256: 491f51a204a0078b4c14d27f8837a4ad9a19bcf306eb99f6f1fd356fcca74b90

Size: 522,776 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: c9ae3ae3f3030cc9920e0b5722e6ed78182f817f
SHA256: b675747ac936b5d60855140d9a7d31263eda7b76e5fe87598e37a81e7dc216ea

Size: 5,219,308 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_amd64.deb
SHA1: b6d709fdda88f7c1c289afc0296eb01477c2e9d0
Size: 98,673,484 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 5a39d9a05c63b193689d8bd795b368e58462bcbc
Size: 218,764 bytes
libz3-jni-dbgsym_4.4.1-0.4_amd64.deb
SHA1: 779d64f55170fd414522b6bd8106eb6f0655688b
Size: 168,568 bytes
libz3-4-dbgsym_4.4.1-0.4_amd64.deb
SHA1: b90420b3a284f84950973d6993e5b287b4baa788
Size: 98,073,440 bytes

Submissions

Submitted
Sun, 23 Dec 2018 21:28:56 +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"