Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 5 Jul 2020 01:14:47 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 2 Jun 2019 21:34:34 +0000
SHA1 of .buildinfo
4c46d4759289b041df3e670f6267efa8ed0f6017

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: 701629e8acea726eff3917211f5414516b43b23d
SHA256: df8f405d03d52c3266477631b8640940387052c643b88aa626621da70310da9e

Size: 4,560,332 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: b783203490b296c3f79afa62c67d6ff6d09c334a
SHA256: 8de151deffe26db8dfd74c1fae05440fd39ba20283a361023137cb7c7bb6cc10

Size: 40,668 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: 79e41cd64b12e5d3000013be879c22b19af7a5fb
SHA256: 4cdf82b722903397e160e9989137229d850ce431cbd809376358f1f1413ef27b

Size: 29,804 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: f3213209e9068d99bab0334d3951c38f6cf62619
SHA256: 55bb03918efe2b0435a29578a9aac42d05693050f8283a431c5be62e0abcd4f9

Size: 518,204 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: f8bf6f383b1c94ce61a07e71bde67109fa273e6e
SHA256: 44da94e22f129e12e47ad3176125e7c3f054ecd1275e3151adea53cae213e2e5

Size: 4,566,896 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 1cf023cc79253ce574cdb7c437d2c7152e613b6c
Size: 97,104,152 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 7b89fa073549dc1e74aefb09106de9fbb4fe9f5b
Size: 204,420 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: bd7f9ed154cc59573fb0d4f12c59c3ccace78a07
Size: 170,112 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 508c3c790eb9794717138110a68b39ff6e7b74ad
Size: 96,525,040 bytes

Submissions

Submitted
Sun, 2 Jun 2019 21:34:35 +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"