Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 15 Mar 2020 20:15:09 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Mon, 11 Feb 2019 16:30:55 +0000
SHA1 of .buildinfo
501291d99bb07505a396ce209fe5d6f8b3dcb9ca

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: df645b89e2a74354b73671f8199e432cd8cb0ec3
SHA256: ade5dc21244687a3a3477c57bdbfdd8b0942324c2616546b6bdde37f1c238bb0

Size: 4,522,472 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: cf1e7e37f7bfb09b5f48a0993ad9b27655b7a90c
SHA256: ef06863f3b9d6a634ec8fca44e349cdae62ebc6496f26789144071332a0e084d

Size: 40,664 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: df88f66270c3af037d4341d1118ac4fadc0687e5
SHA256: 435086664542a5f8f08939b3265be46a1702988d6780aea3331d2ee46b5ff1b5

Size: 29,760 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: 23467baa8abc7d3bdbdbd09737138b3e528dfc56
SHA256: 3132df727a7cd73a135af734dcd7d901b618cef1bd2f060eacfbcc8862005472

Size: 519,940 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: 70d0e4d5eee3786b0fb7fdb8d6018d18b954945e
SHA256: c2506e899d4098af69c7fd2116a1c6099ffe1564ac1f7ff4c023fa94707696ce

Size: 4,529,984 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 1a561ed050ba181cc96430d65d16153c90fdc077
Size: 96,837,588 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: c3ff02a397c16ea957070dece53ac4e2983c7ce1
Size: 204,384 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 03782667e183edf6f92d21e2fcb487d99d7ce548
Size: 170,104 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 922500bc5a93586105908ca8589b114c8a6d8019
Size: 96,248,824 bytes

Submissions

Submitted
Mon, 11 Feb 2019 16:30:55 +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"