Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 19 Feb 2020 08:57:50 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Thu, 17 Jan 2019 02:35:30 +0000
SHA1 of .buildinfo
4ec6ec4fdfcfef91260ed0f9a635bc45849bd0a4

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: 30651435209c6a073995cf09e6a5d48cfb1bbb49
SHA256: 88d8aa18b1dd67f984e43f2528732d68de1fbea8f5d31c967bc32412f4736d0a

Size: 4,521,756 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: 8a1ab7ca3221024bb22c60a503cb6a82d5fdfb89
SHA256: 49b9ab3729de43e2cc25b084d4fa50645d7c7fdb919fb3ca9d06229fb70c6aee

Size: 40,660 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: d00e2acf67dbbe87611b43972aa9eb10b89e73e9
SHA256: 4863b06186dd87e80ac6d1a719aa0c48d16ab86280717968d11c74db27cb9d22

Size: 29,848 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: be9eabe6e7fb5f7ad092098bfad777666536ded1
SHA256: 8a14655c117dd91527f0f59097feb3693b5e550d57c9c263b84af38a61053665

Size: 514,628 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: 69bf26226ab53f58922bc700bd812270a100496c
SHA256: 7e63933d7427d59c33819e9d6cc2a190908e10da9f69386b6342a4a0eef76d69

Size: 4,529,448 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: b290606e906de44a3e74b51382fe64a5e8a8b305
Size: 96,836,272 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: ac04d0f5ef68d8e66de19790d956dc41ca3c0c91
Size: 204,444 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: c8c9f8fa1e4c79bf5a8689485c0e5ba8ea33fea6
Size: 170,112 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 07997f6d1b6894c25214fd19d82fcb4f973c1183
Size: 96,263,488 bytes

Submissions

Submitted
Thu, 17 Jan 2019 02:35:30 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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"