Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 9 Feb 2018 07:57:28 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Sat, 7 Jan 2017 01:35:02 +0000
SHA1 of .buildinfo
eb7a39b9eb445eeaa6cf5b6ee684114154a48f43

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 4a3d3218d31a13a284ed109d3640dd69bf561058
SHA256: deab84a28fc74123cd36d2ef7726fa1c85dd72a319f57cf9842a777b7cf2c552

Size: 5,158,702 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 268e58d86cf0e009cb42c86c3f9371e926642eba
SHA256: fd5f600eeea457498268f6f4e16900c5b24da6b0120ee256be1c1a90d93847fd

Size: 40,612 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: 9277e9385b3cadf4ea46ad09e658b096ffc61b04
SHA256: c134a2cee9658ba9ec223bad1d21fdf63111497a601d7e85bc0dc5d413c70703

Size: 29,546 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: d3c3d47178df8afdc5ca9b28b5cf566902371f66
SHA256: 31b51defb438bc04d29bd3a2d9bbe115679c4c30691d4da5e040fd7137d5d0d4

Size: 450,280 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: 9fa6b50196d299863eb14247989be7123f7379dd
SHA256: 4f2b42874f6f45faf80658099301505cd3e4a5bd29386d6dff494e7a64cc708e

Size: 5,175,934 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 2fb1d0a47a4aa4874bd6e92e3282efdba66cef45
Size: 77,235,812 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 6d5c27cc30ae28d15cb88644b8122b2ba984c7ee
Size: 186,420 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 30dd819517238238d68819b02f4905b9bec5af2c
Size: 137,250 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: d6989dfc63748f6d2cc09c892c9ca447141734e1
Size: 76,698,948 bytes

Submissions

Submitted
Sat, 7 Jan 2017 01:35:03 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"