Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Fri, 19 Jul 2019 20:20:11 +0000
Build-Path
/build/z3-4.4.1

First submitted
Fri, 19 Jul 2019 23:33:25 +0000
SHA1 of .buildinfo
bd5ef1c81a720576e3de1a80736db3a09d6ef7fb

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: e5fed4bb9721540b065865eba25dc488ec6977ac
SHA256: f4466ba62bc3ad4e5e8143c97140318610add629057d7bfe7b2e315cd87c42b2

Size: 4,326,848 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: f99d4aadd78cb87f7acfa49b95d29a99036834f1
SHA256: e4b228fef29e9e6b50caf06b6fcc8c268b631098b937240bf2bdafd3466c11d2

Size: 40,864 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: d84f34e9db7c23e22018873548e269f91a5fc009
SHA256: 28c9e81942037be6b7f2a68e3abae77a1d3088310a36efd18cc64a2ad264f83e

Size: 28,944 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armhf.deb)
SHA1: a5360e7d431afb6527045b93d68ca505fef11b3a
SHA256: fc51d77e35781da9a47c8354df7f6542faa81e0ee5e9fa2507c91ea36cfdac7f

Size: 536,652 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: 409427c19f719b6f1fc214b0649d048e75abe2b2
SHA256: f6741a34467155c3dd974fc8c103f33aa8394f69d4898e4606a46c6bb4168456

Size: 4,331,540 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 42b5147831b2c15a038e74213efad5fdf72c5938
Size: 95,444,644 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 6e7ba83b788d4e0780a9810107b0f1ce3be1bbf3
Size: 217,252 bytes
libz3-jni-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 4c020e3b4bb0f221865314b2903986461bf7d2f9
Size: 177,688 bytes
libz3-4-dbgsym_4.4.1-0.4_armhf.deb
SHA1: bce58a0d87754f6d9a3741daa4520f53feba4c90
Size: 94,685,060 bytes

Submissions

Submitted
Fri, 19 Jul 2019 23:33:25 +0000
Signed by
0x3ED2935763F0D6A2 odxu4c (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"