Source
z3
Version
4.8.9-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Tue, 22 Sep 2020 10:28:42 +0000
Build-Path
/build/1st/z3-4.8.9

First submitted
Tue, 22 Sep 2020 10:34:32 +0000
SHA1 of .buildinfo
4ddd8c3864c86c48b8031ead069512e68b04cd79

Binaries

libz3-4 (libz3-4_4.8.9-1_armhf.deb)
SHA1: 922c77eba7053fd7df70d6bbb26e37000ebb0811
SHA256: f9ecd392c29748824387f4e42ecc1f09fbeb6a1fe5f6c27deb216788839634eb

Size: 5,819,616 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.9-1_armhf.deb)
SHA1: 8805c91a02161b224fa2d16cedd404effaa42f97
SHA256: d7c16fff13c299c5a87c50e6636564210bbd2d49b55c21f8ea28a91305b72a2a

Size: 123,573,920 bytes
libz3-dev (libz3-dev_4.8.9-1_armhf.deb)
SHA1: 3ccfaa407a2f424d7aa5f0e799a71d73b8bd473b
SHA256: 20f18462e2555d830432ecc2541d12e09084783307f09ed42a9f62ff3e85af5d

Size: 90,760 bytes
libz3-java (libz3-java_4.8.9-1_armhf.deb)
SHA1: 5bc0fef0b1635626bf2137cebb6eb9c637deb79b
SHA256: 5d162b4e14f42e872aabe16408b35cf79dfd49b35f6ed3134ebc7b72a2098387

Size: 154,580 bytes
libz3-jni (libz3-jni_4.8.9-1_armhf.deb)
SHA1: d40f3430fa2e301b6435e3a34b50a6a9e03ac60f
SHA256: aea2835d119bf59627d7669a21052782341255e8fc12ae7c626cc926a3645e8b

Size: 30,420 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.9-1_armhf.deb)
SHA1: bf20ed4378ebba442d416c9566e311cfbecad1f9
SHA256: 37f8a2245c224bb643b904c29a6cabb03f87a8e4b1391986bf0b3c9c1d30d7fa

Size: 187,156 bytes
python3-z3 (python3-z3_4.8.9-1_armhf.deb)
SHA1: 2d0f1cf7d63f374e44700c369e6fd8b744d7871f
SHA256: 6a54dc366637e6fe86b341e994d3b9c83e1cb59620c6ddc47874258c40f98085

Size: 78,204 bytes
z3 (z3_4.8.9-1_armhf.deb)
SHA1: 882d82ac6a17a2dc877d8d8df0d9e903619c5d3f
SHA256: 638f40bcf32d81799b7f15a37cfeaa53a3d6c8d635bd635ef9262cb1c02ea8d3

Size: 5,830,644 bytes
z3-dbgsym (z3-dbgsym_4.8.9-1_armhf.deb)
SHA1: 35b9fbfd59e638512b3d63cb034938fadbda9df3
SHA256: 379b9ff88e44f1f54a586f391ed8e6b44c079f43aa09830deec798452041cf90

Size: 125,164,836 bytes

Other checksums

Submissions

Submitted
Tue, 22 Sep 2020 10:34:33 +0000
Signed by
0x3790BB94D873CF00 p64c (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1600685745"