z3_4.8.7-3_amd64.buildinfo (view)

Source
z3
Version
4.8.7-3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 12 Jan 2020 17:07:23 +0000
Build-Path
/build/z3-JTBfNJ/z3-4.8.7

First submitted
Sun, 12 Jan 2020 19:19:24 +0000
SHA1 of .buildinfo
5e6e5db7b25d4dbb60d09cbece96d8ba5635dcdb

Binaries

libz3-4 (libz3-4_4.8.7-3_amd64.deb)
SHA1: 665a4071fbc48057bad0197b798f42ffe9f8ebd0
SHA256: c665702c6878efacc9993e59aed90a84641e2980259e4e929d3fd99bdf0aac30

Size: 6,791,556 bytes
libz3-dev (libz3-dev_4.8.7-3_amd64.deb)
SHA1: ef72246aa26851aff0fdea88bf7f21eb09a16766
SHA256: dccc09681c117d520c2a45b9d3b58c104574d68767f25b0997b76f33075e262b

Size: 87,240 bytes
libz3-java (libz3-java_4.8.7-3_amd64.deb)
SHA1: aa353c1702c4125651467ea2af578f73835d56ff
SHA256: b386ae2d714a385ea6cc63d96b63b3f8aa2a254da302753bc749580f5676cc4d

Size: 153,740 bytes
libz3-jni (libz3-jni_4.8.7-3_amd64.deb)
SHA1: 21e6814bbf1e111f0589c60fdc7757db77506a17
SHA256: 7f06b9b5ab692d0e3928780781183ab727c26c17b79e15274d898370309a6616

Size: 32,272 bytes
python3-z3 (python3-z3_4.8.7-3_amd64.deb)
SHA1: 19ba5dc91dfd4fd4233c0d3fbbee905141f70fbd
SHA256: 4bc83f4991090723f8718830848f7335d4cdf2c38aec60b5d19573672efbf560

Size: 76,532 bytes
z3 (z3_4.8.7-3_amd64.deb)
SHA1: 34979ee2a3eda439c079c916e705676cc1829304
SHA256: ffae4db1027baecfe383fb5ec3fa558098423d8b092c58fedab17c59ccaf3742

Size: 6,800,196 bytes

Other checksums

z3-dbgsym_4.8.7-3_amd64.deb
SHA1: e1304394b18bf3baa3040dbb1cd93dacc0f524da
Size: 117,900,536 bytes
libz3-jni-dbgsym_4.8.7-3_amd64.deb
SHA1: 6f37341fdb2ba664a6d10fa503718938e7c763c4
Size: 179,096 bytes
libz3-4-dbgsym_4.8.7-3_amd64.deb
SHA1: d7f3f494dd320bfaa2f2a90e0c99ab50f611e8f4
Size: 116,558,360 bytes

Submissions

9z74xjmn
Submitted
Sun, 12 Jan 2020 19:19:24 +0000
Signed by
0xDC30804AC2864A83

Environment


DEB_BUILD_OPTIONS="parallel=4"
LANG="C.UTF-8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1578670548"