z3_4.8.8-1_armel.buildinfo (view)

Source
z3
Version
4.8.8-1
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Sat, 6 Jun 2020 16:00:18 +0000
Build-Path
/build/z3-LZVc8s/z3-4.8.8

First submitted
Sat, 6 Jun 2020 18:15:56 +0000
SHA1 of .buildinfo
ce431f7598b5a2c8c81ed94182ee2410c6de6ae9

Binaries

libz3-4 (libz3-4_4.8.8-1_armel.deb)
SHA1: 128e0fa574d83e5a5533b491e5c674e362bb0ced
SHA256: 6f979666c9902ede55a8b1271836e1e3389ddf69a746fad0f41c8f2a625e8b2f

Size: 5,904,560 bytes
libz3-dev (libz3-dev_4.8.8-1_armel.deb)
SHA1: f07420e97a3668b617b9404827f3126590cf88d9
SHA256: cd1a6777953a5fbd05e50a481b04cec4fa2c0950f8b82a85fcb0695ced7fd5c2

Size: 88,268 bytes
libz3-java (libz3-java_4.8.8-1_armel.deb)
SHA1: d847d76304b922586f9602b577e30bed13152d95
SHA256: e2fda3f3948b4aa12ae88767d0d4777b6406f0bd5efff68ab009643057b67c34

Size: 154,216 bytes
libz3-jni (libz3-jni_4.8.8-1_armel.deb)
SHA1: aed11faf8a4cdf3b7acc68990916aa84426a009a
SHA256: 21b6134038436cc03f4d7b1cad540d67a9d7caed182f0e1ac1964548a9a16517

Size: 28,244 bytes
python3-z3 (python3-z3_4.8.8-1_armel.deb)
SHA1: 98246c6c8a48ce4cc1633fb2c8d7ec8d771a70f1
SHA256: 1d905165e6f0b3c6c9c6b4d74a482a0fbe72f6ba4dba0811750023b98b100dcc

Size: 76,708 bytes
z3 (z3_4.8.8-1_armel.deb)
SHA1: e0328e90b81e2022d978c6f9fae261b4b2be05e2
SHA256: eb647148ae295b7f1f1aa8bc2e14e2792808b5c9a95ae39acb9b8e6cdd5fdb0c

Size: 5,903,012 bytes

Other checksums

z3-dbgsym_4.8.8-1_armel.deb
SHA1: 183719f2532429900d6b8896da12462befc48720
Size: 117,991,296 bytes
libz3-jni-dbgsym_4.8.8-1_armel.deb
SHA1: 16c99246c475df1a0b782a599c961f9540ac5670
Size: 179,320 bytes
libz3-4-dbgsym_4.8.8-1_armel.deb
SHA1: be26383f1268c015dc0ffde8a7d08bafd6dbfb84
Size: 116,660,340 bytes

Submissions

vvzkq9bq
Submitted
Sat, 6 Jun 2020 18:15:56 +0000
Signed by
0xE3B4BB7EDC0B4691

Environment


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