Source
z3
Version
4.4.1-0.4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Mon, 17 Sep 2018 06:25:12 +0000
Build-Path
/build/z3-4.4.1

First submitted
Mon, 17 Sep 2018 09:18:56 +0000
SHA1 of .buildinfo
70c9089b29e7d2b0d7fb8ca4ae8dce677adea2ba

Binaries

libz3-4 (libz3-4_4.4.1-0.4_armhf.deb)
SHA1: 32ada51af0a00655fbed4cef92b66207285fa386
SHA256: 8c0d7fc7ec4696d1a6c7d78abe1e2b65aec5204192b9fd00654a3e905c37f526

Size: 4,287,356 bytes
libz3-cil (libz3-cil_4.4.1-0.4_armhf.deb)
SHA1: 101008900d3d71db645106b0833aeedc4289e307
SHA256: 3aa5a8b12f711f7901e2dd55447e477109b81a139ee0333bfaaf3d165aef9f5f

Size: 40,900 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: a250f1156e283eca850a29fcd474eb3000cef85f
SHA256: f5e628bb23a08d95e06bc5c09ed8303d9bfad99d6cec2aefd217acb5b42d0276

Size: 145,704 bytes
libz3-jni (libz3-jni_4.4.1-0.4_armhf.deb)
SHA1: 8d0011f8251d598064485c3c2ae84c1007b46288
SHA256: 5c2ff90a466ad31d8efa2d8ce24553aa5288caf13f47bada563a211916e14fc2

Size: 28,860 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_armhf.deb)
SHA1: 759e077d38f79d062ee502f10455f1782d6fb1af
SHA256: d22586d8eb99db020e78085a22e75d258a389df80f24f665c8c1b320f9c441bb

Size: 536,620 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: 7ce6c5cc8482be1756a1f8d2dee329935dac3d69
SHA256: 0c7b690bfec6aaef934c14a984ccd1cdaf49e80f7419066c66b7c0dd6272700e

Size: 4,294,996 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 8dc53fee84e234814f6eef935fa83c31cd644242
Size: 94,737,856 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 73ec3918c8dcbac4234fd97b352942468b832a9e
Size: 217,332 bytes
libz3-jni-dbgsym_4.4.1-0.4_armhf.deb
SHA1: c0f7121a672091295abf1834ca6029b0fb89f679
Size: 177,720 bytes
libz3-4-dbgsym_4.4.1-0.4_armhf.deb
SHA1: 132f1695d6ee1c0f6cc3499208cbee4ae4bfa8d8
Size: 94,098,200 bytes

Submissions

Submitted
Mon, 17 Sep 2018 09:18:56 +0000
Signed by
0x101CF655F3A0F753 ff4a (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=4"
LANG="C"
LC_ALL="C"
LD_LIBRARY_PATH="/usr/lib/libeatmydata"
SOURCE_DATE_EPOCH="1536521312"