Source
z3
Version
4.8.7-4
Architecture
armel

Build-Origin
Debian
Build-Architecture
armel
Build-Date
Tue, 14 Jan 2020 00:32:35 +0000
Build-Path
/build/z3-ueVfjW/z3-4.8.7

First submitted
Tue, 14 Jan 2020 01:46:30 +0000
SHA1 of .buildinfo
efc37f014166cfc82ceb98326c33d52456cc09eb

Binaries

libz3-4 (libz3-4_4.8.7-4_armel.deb)
SHA1: 42189507ba9d0d76d8f2683f2726853f6092547e
SHA256: 80015b4a04a2bdec9db3bd48d6452efd468f320c1eda34c6329012e5e6396d0b

Size: 5,463,612 bytes
libz3-dev (libz3-dev_4.8.7-4_armel.deb)
SHA1: ee7c8bbe21ce831df6d6fdc2444153d5da46d940
SHA256: 65ebb65fb51fc83dd60e13e013e075b736d260d4256368b0dba08dbfaf0898c8

Size: 87,304 bytes
libz3-java (libz3-java_4.8.7-4_armel.deb)
SHA1: d807e469d8c68496a8d6ef256a365d49ba50a0f8
SHA256: 9275c211ffe0dd7e4e3364c5dd14f22e218b2ce736163a3baf9b7ae42f79e3c1

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_armel.deb)
SHA1: 7cbd978ba4f4dcb565f1f59cf0adb70a45b6b76f
SHA256: 1ba94027dc74fd11b8000187a88204bf78bad1cdfb68a5d60932c86b50181a08

Size: 28,252 bytes
python3-z3 (python3-z3_4.8.7-4_armel.deb)
SHA1: bcc5c519ed77ed296af2d012d75c5f77edc167bd
SHA256: a5923d702317de0de5482c7eb53643b960da57d8578463f180ad33c62622154a

Size: 76,520 bytes
z3 (z3_4.8.7-4_armel.deb)
SHA1: b81d62d4eef725c3627010a5a6698b5ef1451acf
SHA256: 53269d98aa639341cee6635b91d7b500ce44464105e53b607a4126fdeba361a8

Size: 5,460,728 bytes

Other checksums

z3-dbgsym_4.8.7-4_armel.deb
SHA1: 956a6201ccf7b97a50b6182866ec22bfe526f8e0
Size: 108,050,868 bytes
libz3-jni-dbgsym_4.8.7-4_armel.deb
SHA1: 7c37b7826553199d6b7750015bd9926679885c51
Size: 179,164 bytes
libz3-4-dbgsym_4.8.7-4_armel.deb
SHA1: ddb8eba8ae59597cbc557de833813b4754d93dfd
Size: 106,745,732 bytes

Submissions

Submitted
Tue, 14 Jan 2020 01:46:31 +0000
Signed by
0x4121BF61A17B96E8

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1578952552"