Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Thu, 30 Jan 2020 02:38:53 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Thu, 27 Dec 2018 22:50:50 +0000
SHA1 of .buildinfo
3691ee9780912d90973bf1b8c8a8d12fac9de7e4

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: 1c30d9f17c33f05ef75753ac0b3057646dba3475
SHA256: 13043693ced7541cb04b47ac6f8118a7b3a40cdf4bff62769e52631f8c36c369

Size: 4,521,420 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: 08c9128981ebf8c16e6ea59f5d0e72e0448a246a
SHA256: da9825d6b659651139c1bd483687b782d41fd4b6556f30577363276f1d2db400

Size: 40,656 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: 6b8c88b3297667d560a5b7b34afe88fc2bbdced9
SHA256: 072fb7a7318f6dab0507c5882160b7b3641fbd646049860909c5a4df5e911ac0

Size: 29,740 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: 2e13ba15b8db264c2ec720c0b4e3dde8d02c2a22
SHA256: 196fedd3b05bae32a009cd582df1d6bc938a532f1aa46637a1fa3c89d0c2d9bc

Size: 520,512 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: cef1febd6b746e7f2fccdedf8cce25cc5d7fc4f3
SHA256: ef67947cc98628f8b1d8ca4538d7c5a59b87b22e6aa5c36a5964fba91e2e9d0a

Size: 4,529,288 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 621f1c0bcc4eb626706f8d872ac15a678e0e384b
Size: 96,839,292 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 29e78c45c62baf7a307e3996786bd2682e0684bb
Size: 204,436 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 2d4201d215a1d823edfd64cdd6e17d085d11a926
Size: 170,068 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 87ce0b60d90cffddbf4a739a67bae8075fa47301
Size: 96,264,364 bytes

Submissions

Submitted
Thu, 27 Dec 2018 22:50:50 +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"