Source
z3
Version
4.4.1-1~deb9u1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 11 Oct 2020 19:18:43 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 9 Sep 2019 18:07:21 +0000
SHA1 of .buildinfo
240dcf205061f0542aee03b32ae6d499f6909845

Binaries

libz3-4 (libz3-4_4.4.1-1~deb9u1_arm64.deb)
SHA1: 63f70652cf4e402edc9205b2f380f3bbc52e700c
SHA256: 7a4b487aaf64a5a2caf95ac6c4102cf709067c8f1d35350b18d40a606b9bd522

Size: 4,413,062 bytes
libz3-cil (libz3-cil_4.4.1-1~deb9u1_arm64.deb)
SHA1: 248067ccfc9f21850038073cc775d73546b03386
SHA256: 80c3a73ac0e5d04ce141a8d96c60200b46f658be758f71eb474a7102c93e1022

Size: 40,594 bytes
libz3-dev (libz3-dev_4.4.1-1~deb9u1_arm64.deb)
SHA1: 84f666ad926a843276d7579ec56d44b3e9adbc72
SHA256: 86795b4d4da156f07cdac0b41ac2802f089bf86846d6d69c833a186514d129cd

Size: 79,632 bytes
libz3-java (libz3-java_4.4.1-1~deb9u1_arm64.deb)
SHA1: 20036f704088ec63e97f2b4bd6e95be0e372bfac
SHA256: 7db0ca1a80b85cc707e741b679c7320b366f346df70858e2c8b328fff4ee1c5e

Size: 143,454 bytes
libz3-jni (libz3-jni_4.4.1-1~deb9u1_arm64.deb)
SHA1: bc34e80a7edca14c5cc18a00d8cad0d3189b5f46
SHA256: b8a24d841098aec39c3b26ba3fa4ba8846fcf0cd9bf34cf0da526fac9257c3da

Size: 29,626 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-1~deb9u1_arm64.deb)
SHA1: 546096e75c17af407e95fdfb32f566149705d5b4
SHA256: f2acde238ce9c85f712a836133edbd6bfe04b3011d63750ce1a5e3473e9b967f

Size: 462,898 bytes
python-z3 (python-z3_4.4.1-1~deb9u1_arm64.deb)
SHA1: 0cc3f0672118474fbcc5e9239d78c538e35833bc
SHA256: 738d74e63fa20d780d35a2309fac75d617f775188164f28811e8754ebfa461d8

Size: 66,934 bytes
z3 (z3_4.4.1-1~deb9u1_arm64.deb)
SHA1: a4d9cae9b17908ffe0cc3eff972c6df053dc1154
SHA256: 486c59adf2307fbcd3b1d3faaa5e209d1ec32556f83216e239c6f06bd97b4b9d

Size: 4,420,292 bytes

Other checksums

z3-dbgsym_4.4.1-1~deb9u1_arm64.deb
SHA1: b66aa4e344e38946b4d81912719281091692f426
Size: 76,368,572 bytes
libz3-ocaml-dev-dbgsym_4.4.1-1~deb9u1_arm64.deb
SHA1: e26673383652a2abd9cbb1ce0003b89889f7bc36
Size: 186,714 bytes
libz3-jni-dbgsym_4.4.1-1~deb9u1_arm64.deb
SHA1: 8ba96634b068e9f4f2893ce7aaf90242c643d392
Size: 140,360 bytes
libz3-4-dbgsym_4.4.1-1~deb9u1_arm64.deb
SHA1: ab5c79f07b1c943fb8e3b71ebcc73c15b1a8a10e
Size: 75,851,338 bytes

Submissions

Submitted
Mon, 9 Sep 2019 18:07:21 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1566643444"