Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 8 Apr 2018 11:06:48 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sun, 8 Apr 2018 11:26:29 +0000
SHA1 of .buildinfo
b9aef4377a3b30340a58c401c7694113e2358554

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 97853b67c2845f8a0c38dd82108fae54cbd9cfdf
SHA256: 773c56c377b9a2772a935847f7a67a29e341f163278ff335a9dd0e429d1e377d

Size: 5,198,004 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: c9a292952592c61934b716536362bb700d921863
SHA256: e8c5b5bae1681b924769e4f77bc1e59bda6b6e677029a75a76081240fc7e68f2

Size: 40,696 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: c4eb3c174bef60cc4a342a21f14bdbc0dfd5f216
SHA256: 6673021c14012110553585a93e9362259b0dae2bbd49f328b6cfeff3b70f2ae0

Size: 79,248 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: f40e1ff1c7c3f4dbfd2473de3bb852a7a1f409ce
SHA256: a84df479b8d7ff0e418558c921d5821a7a0f3d552a3815b4c3bf04477edba01b

Size: 145,808 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 21d427769c9acd8e195d91f6e667d2af1e0fe67f
SHA256: 5b692960bc32ef4ee99854066ddf45e90a528323661118766ed3caa48b3921ab

Size: 31,336 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: a80f3062961cdc7f6c0d54da601f4b25018877f5
SHA256: ab88e56cd75bdbe8dcf557ea08276a7d3d3c00b88007aa2ef194b1472e3881d4

Size: 489,744 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: e530a2f8f7bfcae9be50094f3d4580a0c1007092
SHA256: 6c36b394cc508f7c3339c40ef39237bf3448517f754b471fe429e3d05b22769f

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: 6c57f056f566b945252e964841c52bbcd8be053b
SHA256: d7c36f16189b062db1711bee7feaa7069098949da9b04a3ab8aa79ce1ee6cc10

Size: 5,213,236 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: a68496bf5583861a49b2dd3240d630c78d67db6f
Size: 77,885,464 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 7fe0db2cb63da7ffb488deb8a04849e564ffad63
Size: 184,196 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 07455a3deca4def9a3da5adaea000a940731de8e
Size: 137,500 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: ff8bd6c7b49858116ef5559140f83e13053a1230
Size: 77,356,524 bytes

Submissions

Submitted
Sun, 8 Apr 2018 11:26:29 +0000
Signed by
0xBB1FD085171F6E18 profitbricks-build11-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/1st/z3-4.4.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"