Source
z3
Version
4.8.10-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 4 Feb 2021 13:29:37 +0000
Build-Path
/build/z3-4.8.10

First submitted
Thu, 4 Feb 2021 16:59:00 +0000
SHA1 of .buildinfo
508034acf6492323290348966d46e9bd3cc0150a

Binaries

libz3-4 (libz3-4_4.8.10-1_armhf.deb)
SHA1: beabbd9921ee31700df2332a39c6e73b158bacb8
SHA256: 78fb93dd60c07d37414210c71bb552118721b16ef18829f389c095a160bb10f4

Size: 5,959,868 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.10-1_armhf.deb)
SHA1: 9e8e1dd5d9d1828b8139e43bb70c0650387189ef
SHA256: 7eb12bf5e58b152fc9caa8ab2654c7f90ca26f332e27a71733f6a876628730c2

Size: 128,301,180 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: bee38b5e5be3706bb4f564e9dd055f03d8bfc051
SHA256: c3fad462da87ac9a4a2da23924d50af7e235af6ece6c18b0832bde0ee9c1f69f

Size: 159,336 bytes
libz3-jni (libz3-jni_4.8.10-1_armhf.deb)
SHA1: fdbd79afb3f9fb5548b913b84f9bb42f0a6dae7d
SHA256: 70d54aae71c3b978734f3b22ac5a2436514fa5ea85b3a12fa0fd4bffbb192a45

Size: 30,440 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.10-1_armhf.deb)
SHA1: a667e4c1619fc5f4c72212715cacbfb2ca319efa
SHA256: 4ec7ff19ff59824bc59d3da6eff7b9506570dc8574d6ba57f8a4a29075405ede

Size: 186,616 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: 41f5ccfc73b9ada9edaf7ffff1ca5e3b515882a7
SHA256: 73be6393e800719f1e4ce2b51144504c0e50acb16f2a215a98e457ff5ee0cfac

Size: 5,973,856 bytes
z3-dbgsym (z3-dbgsym_4.8.10-1_armhf.deb)
SHA1: 61c8a36b281097b5c45cff9ab6698c51f5032f73
SHA256: e60f3025c15541d8b527f43240db2683e6f5f7f3e9706c2558e4d232ff0ffdff

Size: 129,944,800 bytes

Other checksums

Submissions

Submitted
Thu, 4 Feb 2021 16:59:01 +0000
Signed by
0x00C8B57F4FD162BC odu3a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1611938649"