Source
z3
Version
4.4.1-0.5~exp1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 16 Jul 2019 20:56:40 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Tue, 16 Jul 2019 23:48:05 +0000
SHA1 of .buildinfo
dce83b6173ddabe441d3c9379b62f02d3a68c696

Binaries

libz3-4 (libz3-4_4.4.1-0.5~exp1_armhf.deb)
SHA1: 6f478ef1dfea7d31493e994d644324b006cf70f8
SHA256: 5b42c9fe45d1adacd62665df1d4a847c74d937599858bbde3dd5147a7796f827

Size: 4,325,292 bytes
libz3-cil (libz3-cil_4.4.1-0.5~exp1_armhf.deb)
SHA1: 458b7111df3eb57fb90f502c8b80a2f66de8a0a8
SHA256: 45f583a2253bd024c41aafa77e3479b5190a3168c2fe46b340a4488e3a5cce5f

Size: 40,736 bytes
libz3-dev (libz3-dev_4.4.1-0.5~exp1_armhf.deb)
SHA1: 90a4f3b32a21ffd4cdf306b688d1583ddf28adff
SHA256: 7aa41102dd354cbf1d680354c6bedfda3b6da272c9828aa80d1847724737899d

Size: 79,528 bytes
libz3-java (libz3-java_4.4.1-0.5~exp1_armhf.deb)
SHA1: 3692c96b192aba8923427a7f3ff98b128174210a
SHA256: 8e90e719cd15e1cc10d1def46900e489db5853723b5bf02f3334b0b15a8d8078

Size: 146,348 bytes
libz3-jni (libz3-jni_4.4.1-0.5~exp1_armhf.deb)
SHA1: 3d65ffeb505ce86e8a6abfa596142272586d24cc
SHA256: b720c47ed97fad35d324a4b5e13b44262b57f165f06e9bd2ec2304a25fb9c65f

Size: 28,980 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.5~exp1_armhf.deb)
SHA1: b3939e718a11fc4508f6a83b87c4fdef78fd9b98
SHA256: 4686843d551f49a78e99705f4daff98e81b3090b48240da5ef511460f5753c4d

Size: 536,244 bytes
python-z3 (python-z3_4.4.1-0.5~exp1_armhf.deb)
SHA1: a19865e7340909f6ac235ace18cb675769a1df33
SHA256: 749f5951790729af4e5e3fdf482e994d168c9776c600080a5e9ae99c792d0656

Size: 67,032 bytes
z3 (z3_4.4.1-0.5~exp1_armhf.deb)
SHA1: f58c68596971ad857ea26fd4ab14f477ac3cb6f2
SHA256: 09b23fb8043e4f931d258c9e98c120f48b0e6e1021ad9b2491d44a1b0dd32227

Size: 4,330,768 bytes

Other checksums

z3-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: 6a420bd99014209d9298b996a1b9d417cb7ded4d
Size: 94,851,812 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: 28f8a7752de26e3f7e310803752a052368afa881
Size: 217,480 bytes
libz3-jni-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: fa74966a02ba266c1b0a6a6a7eb792c159c2b008
Size: 177,616 bytes
libz3-4-dbgsym_4.4.1-0.5~exp1_armhf.deb
SHA1: ed072a31075938a6d01577fae34b58edda3b785a
Size: 94,386,264 bytes

Submissions

Submitted
Tue, 16 Jul 2019 23:48:05 +0000
Signed by
0xB31CD0602364F84B jtx1c (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="1555417831"