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

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Thu, 16 Sep 2021 22:07:20 +0000
Build-Path
/build/z3-71lEfQ/z3-4.8.12

First submitted
Fri, 17 Sep 2021 00:14:29 +0000
SHA1 of .buildinfo
89ba64dfc930d90d7042c217afdfb8c4eaf4b5d6

Binaries

libz3-4 (libz3-4_4.8.12-1+b1_amd64.deb)
SHA1: fcd05291f2d3d8bda83183c2cc0e8615f6d26ce9
SHA256: b415b863678625dee3f3c75bd48b1b9e3b6e11279ebec337904d7f09630d107f

Size: 6,996,716 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.12-1+b1_amd64.deb)
SHA1: f43c3b39810abe363071de8106536a1eb3323f07
SHA256: b046c1ae10d7701052ee55d4bb499b1447d655ebb1fbc954282d23050839099e

Size: 142,807,860 bytes
libz3-dev (libz3-dev_4.8.12-1+b1_amd64.deb)
SHA1: 25718cfb08b5a4fa3cb3ae82f8910c3e30f527e6
SHA256: 766861923f67326edf97e60f88e296e2618f494564fd076e9ac2574f2dc702d1

Size: 92,160 bytes
libz3-java (libz3-java_4.8.12-1+b1_amd64.deb)
SHA1: c3af3a5324a882dfec7fd67e20fc1951d94c10e1
SHA256: 13e647c578bfd514ecfbae3f130798f028c97b4a68dc231498ed7e27357c5aa0

Size: 160,016 bytes
libz3-jni (libz3-jni_4.8.12-1+b1_amd64.deb)
SHA1: cdf2b7cc48a36bec4e1b239c3bbedd14cd9a5a76
SHA256: 3bcd120229842ef3541400279fecb3530a4d53d8aa309a4fdfb7e3230dd01d83

Size: 32,752 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.12-1+b1_amd64.deb)
SHA1: abc4dbe17211d39ede3baf163ed08acead5fca8c
SHA256: 559de0198082c7177bb3c2aeabe4bee251bb5402464f23c636b2eeac34dd0e0e

Size: 179,708 bytes
python3-z3 (python3-z3_4.8.12-1+b1_amd64.deb)
SHA1: a74414c810b6bd5af804811cb19669d24d72dd7d
SHA256: 4f463468f77d2e437100071fc9ddd3da406a6cd19917cdf7ab5969339d23239a

Size: 78,332 bytes
z3 (z3_4.8.12-1+b1_amd64.deb)
SHA1: 5f382f7e4c8df4bb6ac208c7901603f6be817067
SHA256: ad6329b1d22bbe74cab74fd5a2927cb08956e8bee714ed208fec1b94ee0e01a4

Size: 7,012,200 bytes
z3-dbgsym (z3-dbgsym_4.8.12-1+b1_amd64.deb)
SHA1: 080e53d28cf72e18eacee447a5be4243fe6ae219
SHA256: 6ab22d3c8893189d5d34aeeafb90b774695e6e1b5af0c97420bc0bd05142b3a8

Size: 144,530,436 bytes

Other checksums

Submissions

Submitted
Fri, 17 Sep 2021 00:14:29 +0000
Signed by
0x393CB6ACFE6A01A3

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
LC_COLLATE="C.UTF-8"
SOURCE_DATE_EPOCH="1631829085"