Source
z3
Version
4.8.8-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 1 Aug 2021 16:12:39 +0000
Build-Path
/build/1st/z3-4.8.8

First submitted
Mon, 29 Jun 2020 10:53:53 +0000
SHA1 of .buildinfo
542565a6e7bdeff85f3ce225dec37795e4d55232

Binaries

libz3-4 (libz3-4_4.8.8-1_arm64.deb)
SHA1: 78171757971fa4081970eeef69e866caa72851c4
SHA256: eb7de209794610128d99b7edae1caf1fa33ca0b81cc957af711714183e2e8d1c

Size: 6,323,916 bytes
libz3-4-dbgsym (libz3-4-dbgsym_4.8.8-1_arm64.deb)
SHA1: cb332326e1c2b20a9b6c2e99f91fe4ec9b2e0053
SHA256: 2e3bd0398cd8c6ebb5e3958a3f0e9208c55e90586421fcb5c4884565018b72e3

Size: 123,561,500 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: c37388ff7896776af7f86a6de3987a6399f4e5a2
SHA256: 2d46e96b75151f1b067010d506f2d9203d96f2174648cda36e5ea3cbba250b4f

Size: 30,864 bytes
libz3-jni-dbgsym (libz3-jni-dbgsym_4.8.8-1_arm64.deb)
SHA1: df0a767d1f2c61aa53b7afa09fa093d85b2e88a0
SHA256: 8e4e957e6cff33232c39a6e55ddd89e75db09986ae8010f4004c8b9cd57c2816

Size: 177,940 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: 53b05797ccd96c296a6c1cc3b9f3cedcaddff44f
SHA256: 3096b25ebdba657668e1075a77b6afa92fa1695c99e9a96863d8ff9766364645

Size: 6,324,236 bytes
z3-dbgsym (z3-dbgsym_4.8.8-1_arm64.deb)
SHA1: 7aef4807031f91ac4d03e47634382a4f444211ab
SHA256: 0f8872a93cc3ec8a9b1a88e3f8053a1d30df73faff57392d756afcfb99e4be69

Size: 124,918,560 bytes

Other checksums

Submissions

Submitted
Mon, 29 Jun 2020 10:53:54 +0000
Signed by
0xAAA3AE5F86A5D0BA codethink-sled13-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"