Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 18 Mar 2020 18:33:10 +0000
Build-Path
/build/z3-4.4.1

First submitted
Thu, 14 Feb 2019 12:11:31 +0000
SHA1 of .buildinfo
6ca1d93b0d1d016e3a951c51680fa5c58ddf23f4

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: 463b368a3ca1194715718ad2b32deb201649d056
SHA256: 3ececd49f2b4b4762ab5e2889d4ea1fb29437276e917102f6a5b77e8c6f637d6

Size: 4,522,584 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: d2e467d54e48268a084dcb293fd7af9b164cfba8
SHA256: 7dbaf3eef6c14f68d01074dfee53f780a4644a397b690700d11dc2a03495dfbb

Size: 40,672 bytes
libz3-dev (libz3-dev_4.4.1-0.4_arm64.deb)
SHA1: 3254fbafbb427e78096d3490f66b0b867c38681b
SHA256: a5422451643d5bdedc17f8361b6e3ab63e05a689398a43dc1a0e73a5ff5650d4

Size: 79,352 bytes
libz3-java (libz3-java_4.4.1-0.4_arm64.deb)
SHA1: 9f4bc3dc448b6d1b743a6897a4d4d18d5a0b350d
SHA256: 54a4617a2ac954f7198ab7174afb74fecc5bdcd049b0521c8616188ba9fd4147

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_arm64.deb)
SHA1: 76ebbe5d1238672951711152d79e34e875b880c7
SHA256: a5421fca64a0e28cb4c0cebbb58c2320b9398050dcc2efcb118c3b678bd1e027

Size: 29,764 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: 0fc9cecdc01e2927cd3b94fe3018859e4573208c
SHA256: 9f0392761163ae4591334d2def02ce02b07bc288da349439d4f3c504d8ee2d4f

Size: 514,396 bytes
python-z3 (python-z3_4.4.1-0.4_arm64.deb)
SHA1: 9bab827455d3557361ef16b01d8d61dda7033bb3
SHA256: a6a6e74f600adca7e56966193b119886a6f617a035cb5ab57b9d2a19205ff01f

Size: 66,992 bytes
z3 (z3_4.4.1-0.4_arm64.deb)
SHA1: 64b81823dc2c750bf685655c6ce898f6a044ebb3
SHA256: aba6886e0c746ea5cb74b28f7568ecc7af32b865ef77237ba9876b9fb525cf81

Size: 4,530,284 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 65bab18d4e8bef78436b0445fc5e2307b898ad2a
Size: 96,840,148 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 8077bed8aa5918f8f3aa3b901f29c6a993b72b33
Size: 204,448 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: ef2230ac820fe69ef6e1cb147bc8e8b62ffc47d2
Size: 170,144 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: bac034810e1403deb852d6f23d4e814acc85c64c
Size: 96,249,836 bytes

Submissions

Submitted
Thu, 14 Feb 2019 12:11:32 +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="1536521312"