Source
z3
Version
4.4.1-0.4~deb9u1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 17 Feb 2019 13:22:13 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 17 Feb 2019 15:31:40 +0000
SHA1 of .buildinfo
035b7de6edcd3b5dfd123766a4394c2c4f219cc8

Binaries

libz3-4 (libz3-4_4.4.1-0.4~deb9u1_arm64.deb)
SHA1: dc29a035f6c3879602ade455a00a5d0a0f4fa675
SHA256: 28e4bfc375245e6c1a6629931c62f0aa8a16ff169d9f998e8e984fe51bb68a0b

Size: 4,412,316 bytes
libz3-cil (libz3-cil_4.4.1-0.4~deb9u1_arm64.deb)
SHA1: 854147fb626bd0980d43fd063aff0d5bd77fb0f0
SHA256: ee4c64ddabb45e5a3ac76e56d0f41f81a3f7307c6abc1cb7c283ea5e848a4eb0

Size: 40,554 bytes
libz3-dev (libz3-dev_4.4.1-0.4~deb9u1_arm64.deb)
SHA1: e89dee123b608d4715545985baaef909db645440
SHA256: 76af78c89b8f384c6e6cea24880db33332bf666b19fe29a5dad1ba719e9507e1

Size: 79,308 bytes
libz3-java (libz3-java_4.4.1-0.4~deb9u1_arm64.deb)
SHA1: 486dba7b1b88f5c176bb15382f2d88be540d4b20
SHA256: 72713e4eb9c140f99a97c0f398df3e66cdd18bb0f13ec722752e635fe94aac73

Size: 143,436 bytes
libz3-jni (libz3-jni_4.4.1-0.4~deb9u1_arm64.deb)
SHA1: cca51c42870a7baba1e14e0def40d3de5604b637
SHA256: 5829b6ff8eb1bf0d38c76fafe2bbdbdbe41666f813d393d73296c529a7bffd73

Size: 29,872 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4~deb9u1_arm64.deb)
SHA1: ec7c93817b8d7c067f7d127b1cb1bbbd7a0c8dea
SHA256: 3a33ac96e6da50f8f9a9304cd10fcca8bbd2cbaf0e4f0aceb3824d38fd1d2ba6

Size: 456,540 bytes
python-z3 (python-z3_4.4.1-0.4~deb9u1_arm64.deb)
SHA1: efa69b3647095fc257711ae0fc3b241c058c8e6e
SHA256: 27ceee512a29ea6305f9d8e0aed253974ce75185be4ba682c76d1a4fdba9febb

Size: 66,900 bytes
z3 (z3_4.4.1-0.4~deb9u1_arm64.deb)
SHA1: 71e3521340ae6368c4afb27f6a310b12f6eef57b
SHA256: 385b207a5c3fb56f48a49c97f5034c1af6bf167d761a5f1e305dbdbace83316d

Size: 4,419,342 bytes

Other checksums

z3-dbgsym_4.4.1-0.4~deb9u1_arm64.deb
SHA1: 45d7434b7eeb7776d40b0f9f1edb034d89069bf1
Size: 76,368,558 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4~deb9u1_arm64.deb
SHA1: 752a89bf67eed0fad8fd68a631b0037ac1c378b7
Size: 186,620 bytes
libz3-jni-dbgsym_4.4.1-0.4~deb9u1_arm64.deb
SHA1: c6980e598bc908792b40576468568a70f2978f6f
Size: 140,172 bytes
libz3-4-dbgsym_4.4.1-0.4~deb9u1_arm64.deb
SHA1: 3f5200d49ac61814b72912ebd23e870a69686ffb
Size: 75,851,312 bytes

Submissions

Submitted
Sun, 17 Feb 2019 15:31:42 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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="1537119964"