Source
z3
Version
4.8.12-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 29 Mar 2022 23:56:30 +0000
Build-Path
/build/1st/z3-4.8.12

First submitted
Wed, 30 Mar 2022 02:32:42 +0000
SHA1 of .buildinfo
c143ffbf06b0913d490a548460ee7c8380f8c95e

Binaries

libz3-4 (libz3-4_4.8.12-1_armhf.deb)
SHA1: fd15ff4700f4f4fde8543c8ff02d4ca6a80c3583
SHA256: ca13c15b8527b72a82330f84235d2e56a61b69d8d4e2c86b11b14e681f1b4bd1

Size: 6,031,100 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1_armhf.deb)
SHA1: 9c8134f281bb58998209760384a2a7271d211eaf
SHA256: 3cab637e407be057004877d99021b05d503de6a9caaa37f28210df5a9037da03

Size: 137,199,000 bytes
libz3-dev (libz3-dev_4.8.12-1_armhf.deb)
SHA1: 555737be7aa58df7ef7c5b2f35bc5321b5218441
SHA256: dcb155933af058cc28d7d498f3b46ed6a20fbac6e4bc7d058fff7407c50558e6

Size: 91,864 bytes
libz3-java (libz3-java_4.8.12-1_armhf.deb)
SHA1: 329adab6fb1d704db30a9f83087a40a5fbb4ad2f
SHA256: 68c58a28a3b4986beb31583bb4e34ba2c17d73d6c805003ca3136f1c8771a031

Size: 159,972 bytes
libz3-jni (libz3-jni_4.8.12-1_armhf.deb)
SHA1: 8cd7b13f790dc4af9f293d21e37609b010ef26e1
SHA256: 0cb646ad88f4ed7564c5aae108aea1b652f71f1b37c47441afd631b65fee180f

Size: 30,428 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1_armhf.deb)
SHA1: 9f1733840b8c9daede18d90c298005a70ab954e6
SHA256: 7b16f3937c299bf8f7539ce23a88651370dd45068673bc3d3361034f2a92c057

Size: 194,988 bytes
python3-z3 (python3-z3_4.8.12-1_armhf.deb)
SHA1: 2ada7dca16105c18976a98e450cb3bd686f1f5b4
SHA256: 61d7fb3c064187c0022cf380c81ec1f787a436dd1413932e4c77f86a079e12c7

Size: 78,336 bytes
z3 (z3_4.8.12-1_armhf.deb)
SHA1: c5eec4d0903632ee7dc4face7f3dddfafcf19491
SHA256: 2b42426c6f046dae8629de11e5e3886ee74aad94c59358656b3f1de3db5307f3

Size: 6,046,144 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1_armhf.deb)
SHA1: 4ee75f040c715a1dfebbe39c4ac4c2b243e0a67c
SHA256: dbbbe28c1ae959147325877651c28e98c2bb29c609b6b9aa7259372c1f04aa95

Size: 139,128,052 bytes

Other checksums

Submissions

Submitted
Wed, 30 Mar 2022 02:32:43 +0000
Signed by
0xFD20BBE472905784

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1631375903"