Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 1 Jun 2019 05:31:06 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sat, 1 Jun 2019 13:55:04 +0000
SHA1 of .buildinfo
97749ef3fd131a4a127191246fd545762b7ca43e

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: f04e2e2041dbbdc9e1579284e07e7d7f32ece2ab
SHA256: 62bb21812c621ac98c688df144e5a4ed563ce2d5993195512bca59fdc28f0664

Size: 4,327,904 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: def29f76dee30e429b8a1d954fd140cf0b7a6294
SHA256: 57f7c9744f2f06ededde7eabecbc02b198933272f1f299de1639da08addff337

Size: 41,128 bytes
libz3-dev (libz3-dev_4.4.1-0.4_armhf.deb)
SHA1: d876eef98da09409b08c38d4b3abba54481342b8
SHA256: 2084ade65db65312ad6b65cf8724afb83e1eb0333ce8c692d079580bc45057cf

Size: 79,356 bytes
libz3-java (libz3-java_4.4.1-0.4_armhf.deb)
SHA1: 48c16f6690e3d4127deaf16e7823200ddcb0ed71
SHA256: bade7c007d6c3ac4acb643450ef9d86427a009ee4bd12222ad7a4affdaa88018

Size: 146,352 bytes
libz3-jni (libz3-jni_4.4.1-0.4_armhf.deb)
SHA1: 1544b12f1cc6afbd9f21eb480baf00aefc4d8aa7
SHA256: 270617a18ad63b30b18736092853e7cbaecd9da8a5ef0eb71b1696f1e46b9d26

Size: 28,964 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armhf.deb)
SHA1: e265246ca7ba9ea0eb9c07e4cc898b2978287910
SHA256: 9ca9967a2c3f9ef7875c2bece295c32cb01768aba349e54eaac31b5732cd73fd

Size: 544,380 bytes
python-z3 (python-z3_4.4.1-0.4_armhf.deb)
SHA1: 503990694a19c3bf43a4e2d6db88bf42d946f51b
SHA256: 0a337858ec63aa9b9eba238cce60d59afb841b2fa992f74241a83ab1b64d63a9

Size: 67,000 bytes
z3 (z3_4.4.1-0.4_armhf.deb)
SHA1: 9600bafc849cc9096ff6562480cd6dd30b493e20
SHA256: 76834d76e545c8af3f415c3d7b5b299163f6c0083dabfe1176865a02147f626f

Size: 4,334,232 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: e5457abf076fd1a9b8f5d81aadf73895dbe885f9
Size: 95,113,240 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.deb
SHA1: ef5679190bcd7dd4c81d54aacd5aea0f40b722c5
Size: 217,452 bytes
libz3-jni-dbgsym_4.4.1-0.4_armhf.deb
SHA1: ce914e6a043ac49744a8a96e0f363992633483d9
Size: 177,736 bytes
libz3-4-dbgsym_4.4.1-0.4_armhf.deb
SHA1: f7587f0d849dfbcffdd2ecae9add379e0dafbe88
Size: 94,549,312 bytes

Submissions

Submitted
Sat, 1 Jun 2019 13:55:04 +0000
Signed by
0x8AEA1470736A9EB3 cbxi4a (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="1536521312"