z3_4.8.8-1_arm64.buildinfo (view)

Source
z3
Version
4.8.8-1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 9 Jun 2020 05:03:14 +0000
Build-Path
/build/z3-4.8.8

First submitted
Tue, 9 Jun 2020 05:48:13 +0000
SHA1 of .buildinfo
8063bd23fa92dd8cfcf6fd34d9fde4b3f7557ffa

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: 59d29c70694af260643455be89c54a8e8c2ce011
SHA256: e502bdaa57610ef69f8c40b6cb3ea50966f07e61f31455c03a19927851d03519

Size: 154,240 bytes
libz3-jni (libz3-jni_4.8.8-1_arm64.deb)
SHA1: 3ce17d9e2af3ae8c16a781232a5fe72707d9bd05
SHA256: 2b173ea135e6ba962a30535e00bf24ade884aabb74bc1a8d53385a95cd11953e

Size: 30,788 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: 0aaac911db3b905a3b33826e3513a645f2905b8f
Size: 177,920 bytes
libz3-4-dbgsym_4.8.8-1_arm64.deb
SHA1: b58423dee45793ae0b48aa519ea6127474fba944
Size: 123,561,524 bytes

Submissions

uhssbze7
Submitted
Tue, 9 Jun 2020 05:48:13 +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"