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

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 16 Sep 2021 22:12:47 +0000
Build-Path
/build/z3-KVGJ4j/z3-4.8.12

First submitted
Fri, 17 Sep 2021 00:15:20 +0000
SHA1 of .buildinfo
b580692166b472137d29f9d47ab6b87a92739f42

Binaries

libz3-4 (libz3-4_4.8.12-1+b1_arm64.deb)
SHA1: 77c4c944ac2f8315d6b65d5909aedee9dbcdea12
SHA256: 7a33472e9733a62da0ad1109d0018307701fd68245b87ac0acac262afaf01dc9

Size: 6,165,388 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1+b1_arm64.deb)
SHA1: 525aaf3f15cef51e9855f35f04a5597f126ba350
SHA256: a9f504bec13bd901d25b7743a500e251bcab916439933ed2b72d69eabfb3df24

Size: 140,248,300 bytes
libz3-dev (libz3-dev_4.8.12-1+b1_arm64.deb)
SHA1: f37510c7d583b6e37f62d9557fcc9ab1fd8b0243
SHA256: 7ef5d164438a1815e168ba61a54ae51cc63a53cfc9f02a250763d9f28438831c

Size: 92,140 bytes
libz3-java (libz3-java_4.8.12-1+b1_arm64.deb)
SHA1: d5b6cc15f4dc139729eaa12e8141f232aaed4234
SHA256: defe8bd15307f398ea84ae86acc7192f80e032ac92cdce5e4b41f15646b64eff

Size: 159,992 bytes
libz3-jni (libz3-jni_4.8.12-1+b1_arm64.deb)
SHA1: 7fea97669ffd89ba43974f8a68cce736f3365da2
SHA256: 3abd11a717b1d768c3bc563f215d2b055a3d98f1715090f38d769d7fc4e08b13

Size: 30,860 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1+b1_arm64.deb)
SHA1: 200986e9403edeb7afeca963d770150ea9a3b965
SHA256: dae100b5b128357045eaa833dbbadd905ad7f3fef54e3174afdb8ff39f2e20d6

Size: 178,304 bytes
python3-z3 (python3-z3_4.8.12-1+b1_arm64.deb)
SHA1: 09174c701a375d81760227a5d113b5e891e2880f
SHA256: f733972c0ec95ec145a26f41e2dcbafaf7817b9cb4cd2ad65aa6879aac364627

Size: 78,376 bytes
z3 (z3_4.8.12-1+b1_arm64.deb)
SHA1: fa4372405cbdabc8174770f1d06a37b3c57626c3
SHA256: c8100d36c9419f27c8ff53fa2cd9a96961da7b9a58689e33a28e7cc615df413a

Size: 6,174,404 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1+b1_arm64.deb)
SHA1: 747c9f5b9db36835daa91c044d820264270354db
SHA256: ba5e389ee47a51dc4a971b41c0444e1f25d5b6c1a9f33b9ae38a6a84df10f7ed

Size: 141,932,580 bytes

Other checksums

Submissions

Submitted
Fri, 17 Sep 2021 00:15:20 +0000
Signed by
0xB0316BC5D5824552

Environment


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