Source
z3
Version
4.8.10-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 22 Jul 2021 14:13:09 +0000
Build-Path
/build/z3-4.8.10

First submitted
Thu, 22 Jul 2021 14:29:15 +0000
SHA1 of .buildinfo
a4a72a640fee827a7d3fa13005c0d4049b813e66

Binaries

libz3-4 (libz3-4_4.8.10-1_armhf.deb)
SHA1: bacc4abd5499bbf2b2c71b9f584d05ae26599385
SHA256: fd4233a4c2607bd0268fc2502664f79c8090d591015b66ed22e3c36e1a2727f4

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: da4fb3e44628f0d2a4a8b48cfdec4f1cc8d58276
SHA256: c7773b1c0af21516129f71f285ed51d0ed33717fd62f2815adcfaf5fba48d37c

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, 22 Jul 2021 14:29:16 +0000
Signed by
0x58023F0702D8EEDD

Environment


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