Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 2 Aug 2019 22:25:40 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sat, 30 Jun 2018 16:02:33 +0000
SHA1 of .buildinfo
20d4b9f9eef3a8f4960a61124e07cf7c554a7086

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: d972d5b98c19ec4912a470b61702c2c8bc46370e
SHA256: 4add83ff392bb635e3681f56a99dfe18ea404f36ab6a81e12d5a75948e946c4f

Size: 5,197,940 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: f7de863acf6ccc02be1c560f8cda2d8ace6f17f4
SHA256: f2426245f00cfd1945b1fa3bb276cea35ba0d9734a1953636d1fd80419ab22c2

Size: 40,688 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: 37a3225867478728957af2f3a040bfcbf79caff4
SHA256: fd8baec0351c6a32b81055cc5158b409095ddba53727371738503e55e41c435b

Size: 145,732 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: 3bab1ae5e0045a24593c4b5172cfbf4c10cfd75e
SHA256: d8052c321c54b72d4e5a42f259451bb76187fd6fdc1e50f1a0ceabd90455caa9

Size: 31,640 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 2f4ecc845d4d51c8fd158386778705f5c6c618dc
SHA256: 7cb7f627298ef7b610792e5752719dc2cf0da62d56c2606961dd6dd384e126d7

Size: 489,180 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: f4e13a35f8cf6c84e9181cbad46c3b982704d76f
SHA256: 3dcd408fafb039a9c5835809e6f5e2f162ad42a050d45b193a6e655e4e69c85d

Size: 5,214,148 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: acc6b12108266d056781b560eb5aa2a6b6a74de2
Size: 77,877,416 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 52e3f642540a5a1bf6370abe83cdb1fb8fa57cab
Size: 184,084 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 142d82c96cab44a3c73a8a3c483f515065219f22
Size: 137,452 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 6cb161956ca00333aea61075ab59afb421202d4a
Size: 77,350,332 bytes

Submissions

Submitted
Sat, 30 Jun 2018 16:02:33 +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"