Source
z3
Version
4.8.8-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 7 Jun 2020 09:45:46 +0000
Build-Path
/build/2/z3-4.8.8/2nd

First submitted
Sun, 7 Jun 2020 09:47:19 +0000
SHA1 of .buildinfo
20c7b95eb1292633f0092b5a08ce67a7b2e0ba48

Binaries

libz3-4 (libz3-4_4.8.8-1_arm64.deb)
SHA1: 9cfb9444152857494d44d40765c646ab436dec6e
SHA256: ea72de10c62b1dd2b056efcc13ab7f9e7a1c31cd16de56eeab7d2ac6f6c835bb

Size: 6,325,252 bytes
libz3-dev (libz3-dev_4.8.8-1_arm64.deb)
SHA1: 2862ff8d8176742cecdb19a2b352addac4b0d031
SHA256: c825014b15e2769e0b7d555718bc137bda6f34e8a71a97c615b9f6247108c3b4

Size: 88,272 bytes
libz3-java (libz3-java_4.8.8-1_arm64.deb)
SHA1: ffcefa53243f20b92f0ed841eaaed0ba1eedaad4
SHA256: 67070e81d5df0b0da519c9125227b5c22f2a869c688a2c0d3b774b974f316f22

Size: 154,216 bytes
libz3-jni (libz3-jni_4.8.8-1_arm64.deb)
SHA1: 9b500b06335994c44a9caf06c708221204d777c2
SHA256: 1536d75e0884932530c28ef033db2815784905705af23a50d07ddbdc46278322

Size: 30,632 bytes
python3-z3 (python3-z3_4.8.8-1_arm64.deb)
SHA1: 14c2c39793755f40d6d91ae57a249063395eba04
SHA256: a17f4980e5d030302aeee96527801f46b3bc5a2e1312d5705b9b65c139fdac83

Size: 76,708 bytes
z3 (z3_4.8.8-1_arm64.deb)
SHA1: 403573f4a4f9a23a1335ba20656a61995b3fb0a7
SHA256: 4da553998a7d88fe4d96134e85064d17818acf305583ba5358348edbd6ee6344

Size: 6,323,720 bytes

Other checksums

z3-dbgsym_4.8.8-1_arm64.deb
SHA1: 0be5f3f441ecb89448c88a9cf78b626b5944821d
Size: 124,918,544 bytes
libz3-jni-dbgsym_4.8.8-1_arm64.deb
SHA1: 77e88ca3dd31e02af5d9266403c70170e88467fd
Size: 177,928 bytes
libz3-4-dbgsym_4.8.8-1_arm64.deb
SHA1: b58423dee45793ae0b48aa519ea6127474fba944
Size: 123,561,524 bytes

Submissions

Submitted
Sun, 7 Jun 2020 09:47:19 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (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="1591453977"