Source
z3
Version
4.8.8-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Wed, 26 Aug 2020 23:56:22 +0000
Build-Path
/build/z3-4.8.8

First submitted
Thu, 27 Aug 2020 06:15:55 +0000
SHA1 of .buildinfo
bc500b23fc011d299b727464a945a79ab07204de

Binaries

libz3-4 (libz3-4_4.8.8-1_armhf.deb)
SHA1: 6b2734ed1c89b27b8b600f89354684c94b8129d6
SHA256: 50b1626ae295420bd496316906a5a9fc8f561eb964213d8977cb5da31821b2ee

Size: 5,685,168 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.8-1_armhf.deb)
SHA1: e226182780a56c76fda199474c368ed336be7bed
SHA256: ad76845fc48ae77718f3c262e293d9f56333fc9121c1b15aacc7b57328983560

Size: 114,656,580 bytes
libz3-dev (libz3-dev_4.8.8-1_armhf.deb)
SHA1: 138e45f132761c7f918d9cf4857a37ea4c73a310
SHA256: 20545bbec0cdb7e203c644da28a66fc21af722e10d5538b59cb41a322ac5d5ad

Size: 88,276 bytes
libz3-java (libz3-java_4.8.8-1_armhf.deb)
SHA1: c0bd6840d131ecbae7621f26608d0323ba0f2d5a
SHA256: dd9f7b80cf33555e73d0dff735ead48cdc1b328dac192632b8e217c3a97b3fda

Size: 154,216 bytes
libz3-jni (libz3-jni_4.8.8-1_armhf.deb)
SHA1: e338822a4fe4611c150f235f2fce6a55e1fc56f1
SHA256: 18e5d5a67825f094de632f2a58edd1e8ff3a7de0f57dd2c05b106bdc34e77a1b

Size: 30,044 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.8-1_armhf.deb)
SHA1: bbded748ea6fddd0ae9f4a86251a0696f4e4faf5
SHA256: df71c7606d9a05338427dd6832e73dfc4ab82b2d95539bf76c26ca6ffa8c2def

Size: 184,988 bytes
python3-z3 (python3-z3_4.8.8-1_armhf.deb)
SHA1: 898e8cd74d2d2f6de08324cf7111c53c7218a14d
SHA256: 437b865f14b3c2f0c86dd315732315d8442232be1a5858cd56daa4c9c6781797

Size: 76,708 bytes
z3 (z3_4.8.8-1_armhf.deb)
SHA1: 054ce1c819f35499a1343e9396ae75417cc5d32b
SHA256: a3bd094ee89c3d0bca72c1ea93645850aea354a992de1bbb633544944582c22e

Size: 5,688,944 bytes
z3-dbgsym (z3-dbgsym_4.8.8-1_armhf.deb)
SHA1: a79a50d317226ba83dd817c116609207e30ad105
SHA256: 833d457fa08d7b85adc2d7784555edb661bc57e4afa5091b84122beb6be29791

Size: 115,919,008 bytes

Other checksums

Submissions

Submitted
Thu, 27 Aug 2020 06:15:56 +0000
Signed by
0xEB4D5BE69457859B ff2a-armhf-rb.debian.net (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all,-fixfilepath parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1591453977"