Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 13 Oct 2018 05:26:55 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sat, 9 Sep 2017 23:38:58 +0000
SHA1 of .buildinfo
11d705d1813e122dd06ca1c9a05ca426dc584ee3

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 95f8fac317cfc39b39017cda1615d574c61ac58d
SHA256: 76e8627aec180da794fc18e09e344a6f898280c0f9d7069c30a83607189487e5

Size: 5,198,958 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: be79e15a64e31abb10a9ec8aecc392ad68898f0b
SHA256: 923be8376ff7e3a3aa47d467b2a2a2d35b06d79ea9bb82435664eb8222137696

Size: 40,606 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: d0e70bef6eab4975bc25d55d12efe2e5177f64ed
SHA256: bcc5ec2406bcca7952b4244eacb6a30f9480855976655c7ca9bddae3f28e698f

Size: 79,172 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 8b79ad1db1f64402da5578903aa4b904e2feccc0
SHA256: 7d23d297afffdf653c231b424f280d353eb2e4ba4971a9f220b1b7c09cd7fbb4

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 7f690beb32f94442b031e23fc14cc7871680aae6
SHA256: 783c8bb08b42fac578b7f9e108aec07c3189817b5f250b9e62f028ecfd1ce4c1

Size: 31,372 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 80c8ce0a88b632550eff5322b70d272ece2474ae
SHA256: 57b83a8e90c2a5ba3abb5fbeeebbb56516b9a3334c8925212fc6fe1101145241

Size: 451,356 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: 01d2b9b0d97e8511f0f701697bd42bc3eccc7641
SHA256: 0afa4a98f80bf0c99e040a3dea05533a1b3067ce50dd36b40c088f9b4d211ccf

Size: 66,918 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: 4c281a7a1314a3cfdc586242bffbdec8d9165421
SHA256: 0b670349a3be14ecf3eae374445e13089cf80d2647a7a2686cbac923116cf3e7

Size: 5,216,320 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: cd851aa15f1245b29db18569ebd2478e32e222b4
Size: 77,235,006 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: e3500ae2ad4e849b24eb8e1af0eeefcc63079f8a
Size: 183,862 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: d0f483a770a2cec31c993c8466c5e47dc6b4e203
Size: 137,394 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: cd7339289d8f3310dca1b35f60622a84a3820234
Size: 76,708,174 bytes

Submissions

Submitted
Sat, 9 Sep 2017 23:38:59 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"