Source
z3 (4.8.12-1)
Version
4.8.12-1+b1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 16 Sep 2021 22:07:52 +0000
Build-Path
/build/z3-wEYmvt/z3-4.8.12

First submitted
Fri, 17 Sep 2021 00:14:30 +0000
SHA1 of .buildinfo
32b992fd7cb196e8ac1b97f7dcf32e994d27e046

Binaries

libz3-4 (libz3-4_4.8.12-1+b1_armhf.deb)
SHA1: ef61a3e5af689104c17dea610423a50ec20e1df9
SHA256: 3ef330b083f18d58954be0a70d8da37f6313b0a6fab5560c8f44fff5a4a063b8

Size: 6,024,780 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1+b1_armhf.deb)
SHA1: e433e79a4e863fc2c4d1ef62e0ea7333bfce38ae
SHA256: e0eb6f13a242071c80a835f129d4b441aa03547685c6c991e24b06d149905bdb

Size: 135,093,124 bytes
libz3-dev (libz3-dev_4.8.12-1+b1_armhf.deb)
SHA1: f2253db3fbeec6c15fbf33eec6c4d44352364d7c
SHA256: f9a4b05d5258c570a7710b99d93f44360e91f942a4e4592626a11b0fb28e34ff

Size: 92,156 bytes
libz3-java (libz3-java_4.8.12-1+b1_armhf.deb)
SHA1: 94b9dee024e34bb6cb2eba6cd04a4bdbd89a8acf
SHA256: 3470244722cfa18aa25ca94b1d18478b44a70f472bdf47270c5edbb36bcd1172

Size: 159,992 bytes
libz3-jni (libz3-jni_4.8.12-1+b1_armhf.deb)
SHA1: a893b780bcf208cb7d69d0a86ddd4e5ad1eeb59b
SHA256: 8246fdfbc76cee6dde23cc3da62c7d2df38446737d0b0aea102aad03e48e4f8f

Size: 30,484 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1+b1_armhf.deb)
SHA1: 114431b75f70ff6f8367628a0344a9ade469c652
SHA256: 70772fcec709cbdde9ce53bd24e398d9eb643d47e569cb936cc4a93507c97c2c

Size: 186,504 bytes
python3-z3 (python3-z3_4.8.12-1+b1_armhf.deb)
SHA1: 62138268ef184076099d40eba77e7e30079e4757
SHA256: ec5bdeb428b02869679e09dc867884cd31833c6f250a59aeac189e8086783ca6

Size: 78,336 bytes
z3 (z3_4.8.12-1+b1_armhf.deb)
SHA1: 661ec524ed57d2e5b6f11cb77031257958bf06b4
SHA256: 548fa74fec6d11193adea89d88158d468e8c531625f88fc504d9636d6b8d7a79

Size: 6,039,420 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1+b1_armhf.deb)
SHA1: 60822fa423c44ac58c3986ffea42f3416b81630f
SHA256: 85254121734b023bdf2fca6ef41be0df5ab405bea9473790aec34bb34915b5d0

Size: 136,796,020 bytes

Other checksums

Submissions

Submitted
Fri, 17 Sep 2021 00:14:30 +0000
Signed by
0x6DDB09D01B5D4101

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1631829067"