Source
z3
Version
4.8.7-3
Architecture
amd64 source

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sun, 12 Jan 2020 12:52:53 +0000
Build-Path
/build/z3-4.8.7

First submitted
Sun, 12 Jan 2020 18:19:07 +0000
SHA1 of .buildinfo
4a71b7f186d392a8c135894d24c6d79066856a11

Binaries

libz3-4 (libz3-4_4.8.7-3_amd64.deb)
SHA1: 3c30ff0af064548799b8af9a6407342d57288035
SHA256: f37579331c968dcf872e77eeec048c0fe59af045ab92661b4d963b391267d6ea

Size: 6,790,860 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: 809d1a9de2dae4738e1a6a4d9aabb3e8276b0e5a
SHA256: cf5c2bc7f49e6b117766464836017ef654b86f5f6ffc5b466375a8ed6ac90894

Size: 32,580 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: b5fef1a23984648f62fb6057e8e7a8a407b4bfaf
SHA256: 8e65c23ff3494d3a2b91536d41cac6a69db39cad3fae716dfdf4375558380135

Size: 6,800,320 bytes

Other checksums

z3_4.8.7-3.dsc
SHA1: fb04f035a55030249917fa8ba700afbf908033f4
Size: 2,564 bytes
z3-dbgsym_4.8.7-3_amd64.deb
SHA1: 515f94cd18555a426cfe717f5b70e5b1e92adf7b
Size: 117,896,412 bytes
libz3-jni-dbgsym_4.8.7-3_amd64.deb
SHA1: 3838fd0cbb75f1401e64dcf739ec643390db1b21
Size: 179,040 bytes
libz3-4-dbgsym_4.8.7-3_amd64.deb
SHA1: 5a96159f18b3ebadd7aa208ee733ddbc82ffb99f
Size: 116,558,324 bytes

Submissions

Submitted
Sun, 12 Jan 2020 18:19:08 +0000
Signed by
0x8A5388B64D692B49 Fabian Wolff <fabi.wolff@arcor.de>

Environment


DEB_BUILD_OPTIONS="parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578670548"