Source
z3
Version
4.8.10-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 2 Apr 2021 16:08:40 +0000
Build-Path
/build/2/z3-4.8.10/2nd

First submitted
Fri, 2 Apr 2021 16:17:35 +0000
SHA1 of .buildinfo
536dc03848ddffded089eab4106c76148b48d785

Binaries

libz3-4 (libz3-4_4.8.10-1_armhf.deb)
SHA1: 13a00f530914052d1d2862ef00bc9f13b8770d5f
SHA256: caad15cb46c3283edd734fa61b5ff9adc4abbac13c64ba8b32d75e65d43afcec

Size: 5,958,512 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.10-1_armhf.deb)
SHA1: a099f25f7f95c8045a74d387d4dce7a3e758e708
SHA256: aa433578fb33be5bfdf1b6122639341e01bb2a3738e8436da2c446b9421501b5

Size: 128,302,216 bytes
libz3-dev (libz3-dev_4.8.10-1_armhf.deb)
SHA1: 2d62edfbec4eb339d95bfbb99572c5a509ec2794
SHA256: 59d538822f861b4f1d1ba7cfbea01b8d6bc459f7d6c94d2dca48366ca179f514

Size: 90,836 bytes
libz3-java (libz3-java_4.8.10-1_armhf.deb)
SHA1: 349001beb835bfda4b060bcf43bbfa9121091ea9
SHA256: 0806e7f2169b171d6f6028a79a22b54b2900afa0a8f8d7129c1e1c73188d31a0

Size: 159,344 bytes
libz3-jni (libz3-jni_4.8.10-1_armhf.deb)
SHA1: 21c69bf2f415add7f6a4ff6040582a3db354300d
SHA256: c23f7531ce4fb10ec433a459faaa66b731444b59e613a4ca231cbe59f9b11cda

Size: 30,420 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.10-1_armhf.deb)
SHA1: d3ee52dbc4f5d1c0e2bfed9405a296efabf12b75
SHA256: 399104693e51eccfa8e2b24170f23faf7d9c69efa90510f4d0639080447da4d8

Size: 186,644 bytes
python3-z3 (python3-z3_4.8.10-1_armhf.deb)
SHA1: e1f33be6a76e4ef4bca4c186413bc9a16f8018b7
SHA256: b30cd3b81911d0ad0f50bc8e0fc678c0b826026b1c67d506d32d6375c83b62b6

Size: 78,100 bytes
z3 (z3_4.8.10-1_armhf.deb)
SHA1: 3157b8b8603e628fb3dce7cfce8d1f74acedd61b
SHA256: 72339202c63f0dbbe2040bc42b42c1c6894323ecdf7afed862325512eaf65ae5

Size: 5,974,420 bytes
z3-dbgsym (z3-dbgsym_4.8.10-1_armhf.deb)
SHA1: 3bc7fc28587facd867b1780b85eba46ebfd8c0ec
SHA256: f59a77eac6ed0c169fd02513223beba59d108a2f8ff98c53f9313d014b99d89b

Size: 129,940,316 bytes

Other checksums

Submissions

Submitted
Fri, 2 Apr 2021 16:17:36 +0000
Signed by
0x3B7B0B0B40A455E9 opi2a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1611938649"