z3_4.8.8-1_armhf.buildinfo (view)

Source
z3
Version
4.8.8-1
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Sat, 6 Jun 2020 15:51:53 +0000
Build-Path
/build/z3-OBQ8l3/z3-4.8.8

First submitted
Sat, 6 Jun 2020 18:15:36 +0000
SHA1 of .buildinfo
1cc135c0bc970339e8fd921b5f75856cd927ff72

Binaries

libz3-4 (libz3-4_4.8.8-1_armhf.deb)
SHA1: 20710a53c9e818c7f311c1e1d7b300b52bb639d5
SHA256: f866f961f697308378b15c634d46f43c6001ce5ea4f51bdde1686302f9f50899

Size: 6,285,520 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: 3dea9a5b5a73403348b9650467eddb2c71104503
SHA256: b1f0715db3aca019e08e88c9a89f5532713a37aa9c8cbab061dbc6b377d5a913

Size: 154,216 bytes
libz3-jni (libz3-jni_4.8.8-1_armhf.deb)
SHA1: 35dff6eb033a408cc92b386eb5267195540b15fa
SHA256: a63cf83f2f90ae652ad1501d5464b1c639ae813f64ef260e04458a53469ba8c0

Size: 30,096 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: bf59dbdbf4d54b310b402e4832d480fd5ed57901
SHA256: 211ec3b0aa1d9599ebdb14b527326e2ca6f8d1a097afe4aba6168d6190971443

Size: 6,290,000 bytes

Other checksums

z3-dbgsym_4.8.8-1_armhf.deb
SHA1: 0e27ae2c2ae8a49a3e52a48338eb3b4833ec1f0e
Size: 118,105,700 bytes
libz3-jni-dbgsym_4.8.8-1_armhf.deb
SHA1: 75c16c1629098b51c94b44338d97385aee7c4e58
Size: 185,936 bytes
libz3-4-dbgsym_4.8.8-1_armhf.deb
SHA1: 312a1981611482c2862b4590ba54923c3af3d63f
Size: 116,769,764 bytes

Submissions

iaohqfdk
Submitted
Sat, 6 Jun 2020 18:15:36 +0000
Signed by
0x289DB3F819B2E0DD

Environment


DEB_BUILD_OPTIONS="parallel=8"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1591453977"