Source
z3
Version
4.8.4-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 10 Sep 2019 09:32:37 +0000
Build-Path
/build/z3-4.8.4

First submitted
Tue, 10 Sep 2019 11:33:54 +0000
SHA1 of .buildinfo
eafe75d8c3312456eda0572182ed9a0a2c85d87a

Binaries

libz3-4 (libz3-4_4.8.4-1_armhf.deb)
SHA1: f4c76623f7f5917b2771be04f9f414257342014e
SHA256: 8406c4d9b2a4d78a4a55c0087d93a33dd8c4729248ebddcb7cd3747d40fa9ab4

Size: 5,633,636 bytes
libz3-cil (libz3-cil_4.8.4-1_armhf.deb)
SHA1: c2d6c304cc11171484dba4bbd9bc2f0cf0a3c21c
SHA256: aac4d3efb184dad834b269625a1e9aec444c5f3ae3a8f21fd6bde45d91af0daf

Size: 45,092 bytes
libz3-dev (libz3-dev_4.8.4-1_armhf.deb)
SHA1: f04cde1c028d09449f07c11038d3fa35e1deb936
SHA256: 75400d0907e3f13ef0c65c8c3ef8f1860bce223baf0362451c34da4c8466680d

Size: 83,484 bytes
libz3-java (libz3-java_4.8.4-1_armhf.deb)
SHA1: eb2d4935847238a2ec2b5aba5242cc7584697bbb
SHA256: f5dd3e850c791456f472138755b1c9e4b5286b58249a13d9265feffab12536ec

Size: 152,248 bytes
libz3-jni (libz3-jni_4.8.4-1_armhf.deb)
SHA1: 73feef05db54f0c376563a7754472edee68449c2
SHA256: f97bfbafd3a180803f5628428757adcdfb5f838e5206423567074f0818238352

Size: 29,556 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.4-1_armhf.deb)
SHA1: 8e9e5554856f0621be69ebdaff6fcdcaf46c8734
SHA256: fbd07418958e372c2893688fb79166c07f2cc6fde62af7ab36ae308836d28564

Size: 463,892 bytes
python-z3 (python-z3_4.8.4-1_armhf.deb)
SHA1: 6dadf95372117906a093255be76512fa0157c2b5
SHA256: 811621cf5be52bf91d0c9ee72e092a681f0b64ea61c95d741febf36d793ae05f

Size: 1,344 bytes
z3 (z3_4.8.4-1_armhf.deb)
SHA1: 06420b42c7afd8688026cd641217e9c2c176b557
SHA256: 883e6509c399733fe0144f8397c5844cb8373d403e26a42b92d81d50f6d247bd

Size: 5,743,132 bytes

Other checksums

z3-dbgsym_4.8.4-1_armhf.deb
SHA1: fec4564db7b776aaa2aaefa2e55de41be45f99f8
Size: 97,920,456 bytes
libz3-ocaml-dev-dbgsym_4.8.4-1_armhf.deb
SHA1: 321c434db974f07d70a225c17df4c872cad67d3c
Size: 356,216 bytes
libz3-jni-dbgsym_4.8.4-1_armhf.deb
SHA1: 090a66e65b0b9d56e9747962c7954e426cefee07
Size: 182,296 bytes
libz3-4-dbgsym_4.8.4-1_armhf.deb
SHA1: a079ae88ce6d12f99a3cda4d0fe3d82206f2057f
Size: 95,142,804 bytes

Submissions

Submitted
Tue, 10 Sep 2019 11:33:55 +0000
Signed by
0xA7B82CF0C0043589 jtx1a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=4"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1566909011"