z3_4.8.7-4_armhf.buildinfo (view)

Source
z3
Version
4.8.7-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 13 May 2020 17:23:46 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Wed, 13 May 2020 21:45:46 +0000
SHA1 of .buildinfo
1b17ba11d686a047d560142ecdc06551ec086bee

Binaries

libz3-4 (libz3-4_4.8.7-4_armhf.deb)
SHA1: e4ee412813081de8b755dc3591e82910151a2997
SHA256: 0d69b83ee7d8ae77fc75db140dd8a5031160079ee451cf482c15d23caccdbfd8

Size: 5,808,748 bytes
libz3-dev (libz3-dev_4.8.7-4_armhf.deb)
SHA1: c7f1baad1d827604f6b58407d3c10aa1497a6b55
SHA256: 2f8986e155430017258f938bc64a14d680279d140e24b74dde0b4914e41094a0

Size: 87,316 bytes
libz3-java (libz3-java_4.8.7-4_armhf.deb)
SHA1: 608b88e71acc3e94afd0e7142e3df2c47082112a
SHA256: 43d6f118895c3aa7740faadcc7fa0ca2efbc321fb23f877f3df7e00662f0be73

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_armhf.deb)
SHA1: b8525b13b5466077425f4a00dc14a43ae9ed5e48
SHA256: d30b23a339414d4236867e7be8a9aca5ff55043a84927bb57580705f4f24e583

Size: 30,088 bytes
python3-z3 (python3-z3_4.8.7-4_armhf.deb)
SHA1: f230dafbb74484c53cffad8e9731c84965a46590
SHA256: deb2d89cbe768e729afe5ac141fb8729e3d43fd400e3c6b44fb8708065d35eba

Size: 76,520 bytes
z3 (z3_4.8.7-4_armhf.deb)
SHA1: e78ffc0db448e61bd8300fb7742491b43154c73c
SHA256: 4a918f7ede809a74a5a08774aedf8ede3cd4a38e845ab88178cf1f372ab9aa30

Size: 5,815,280 bytes

Other checksums

z3-dbgsym_4.8.7-4_armhf.deb
SHA1: 9d533ae6900c8ab5cc07acd6bc724d2c065660df
Size: 108,125,696 bytes
libz3-jni-dbgsym_4.8.7-4_armhf.deb
SHA1: e3eebcd304af23ec86f788de4b38a2d24f927b69
Size: 185,840 bytes
libz3-4-dbgsym_4.8.7-4_armhf.deb
SHA1: 4f4dfd00a945e184e61603122bfb2fb5939cf1bd
Size: 106,832,548 bytes

Submissions

bwojf9ra
Submitted
Wed, 13 May 2020 21:45:47 +0000
Signed by
0x4AB633F00B2AAAA1 odxu4a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=5"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"