Source
z3
Version
4.4.1-0.4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 11 Sep 2018 23:30:40 +0000
Build-Path
/build/z3-rz5h19/z3-4.4.1

First submitted
Wed, 24 Oct 2018 17:40:36 +0000
SHA1 of .buildinfo
e099be24f0a7b686d7dce6a420649bf8bf7c438a

Binaries

libz3-4 (libz3-4_4.4.1-0.4_arm64.deb)
SHA1: 64f5dad5a5271d0127e22e0b721398112ba2c18d
SHA256: 2f0e1181461753e78654ea60b190cf68cbbd35819e507ec1a33489540494a6bc

Size: 4,522,888 bytes
libz3-cil (libz3-cil_4.4.1-0.4_arm64.deb)
SHA1: c5805f820900604a1cd93b19d405fc23ec283941
SHA256: 12a9e669f0426072de23b92f03863c1bc264dbfe1b7a7cfdaaada230be5ee19a

Size: 40,648 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: 2445dd961f47e5f0d12109a81ee89c9c74fb61c2
SHA256: 48042df4c3093b673c5b327f02817f90752202782a7932c738e8f93c34952adc

Size: 145,704 bytes
libz3-jni (libz3-jni_4.4.1-0.4_arm64.deb)
SHA1: b9ef39e79246d594adf687a39103304d08912011
SHA256: 6a9843bf0a55e0cb598e369c939b0d45fe6140ccd90fbcb0e0e06d4e95454432

Size: 29,536 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_arm64.deb)
SHA1: c4e8befce32cec3583823b8af05141210ee112d4
SHA256: f1fb05343eb57e08a188213b600fc7e862305c2e763263fe658b08387de2e783

Size: 516,640 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: 9f43c98f89629c03b546d32f043d352e90afa8df
SHA256: 495cdbfbd9bbd066a9a14698ba95466bc3c7fa6cd522c4d70859fbb311f2d4ef

Size: 4,530,496 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_arm64.deb
SHA1: d3fddd559c91c1ec750fbaa99464b5a72c5589c1
Size: 96,637,412 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_arm64.deb
SHA1: e6ec2d6a284fd1ff2d06b4e7acef2c492e8071ac
Size: 204,364 bytes
libz3-jni-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 70acbf446fbfec0da1cd5397dfe39e1f4b2d84c2
Size: 170,212 bytes
libz3-4-dbgsym_4.4.1-0.4_arm64.deb
SHA1: 05b64d816fd642db5bc13fdbe171bfdad93a2f7e
Size: 96,025,680 bytes

Submissions

Submitted
Wed, 24 Oct 2018 17:40:36 +0000
Signed by
0xDAF8174B4FB933D1

Environment


DEB_BUILD_OPTIONS="parallel=3"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1536521312"