Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 23 Dec 2019 23:03:34 +0000
Build-Path
/build/z3-4.4.1

First submitted
Tue, 20 Nov 2018 19:31:03 +0000
SHA1 of .buildinfo
8b45237446ec6c5688eb37bd0caea24c1dc95adf

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: f56e107c470fa522b8dcbd6c352030566cbf0110
SHA256: 8f076388dc193dd9d72765837c62fa673d192c251f42a7e6cde23435f8534c29

Size: 4,521,328 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: 40c6b4767e800c9f1ef493bdf2dc91eb1a3457ef
SHA256: cd38f101a2bc9076c7027af022dc9c3c0a823614ab61ec45d11f37a25fe64034

Size: 40,652 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: 70e91b073775f95eecfb53cd096d183c7a2a3dcd
SHA256: b91bf0799aa1f12079a2c9d835d7585ab70c66815242cd19944da1d8cbf94792

Size: 29,536 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: 664736483a4388159d9549d37815db2fa01062e1
SHA256: 41d9cf2a58755f9060c0abe6078eabeb343fbc8994ce3c58c620674b289acffa

Size: 520,124 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: 4ca4d45d27ee13ecf8b0ede14eb8494dfb17d5a9
SHA256: 3be462c08531616791dbe60f9c895327236185e21b37f8a1ffc78a5ae8844808

Size: 4,529,040 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: e2facf82ba78644ace52101aee155afa6b34317a
Size: 96,791,928 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 3c8ba9d815fc2b078f92c99ea87a41a26ac09fab
Size: 204,268 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: cb7c44649834e72d9c7e59c84b08a90332fcf6c6
Size: 170,284 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 908fa3554f79f7398aa1052fcc749fea9f93cd7e
Size: 96,205,512 bytes

Submissions

Submitted
Tue, 20 Nov 2018 19:31:04 +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"