z3_4.8.7-4_arm64.buildinfo (view)

Source
z3
Version
4.8.7-4
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 1 Jun 2021 23:25:05 +0000
Build-Path
/build/1st/z3-4.8.7

First submitted
Wed, 29 Apr 2020 17:32:28 +0000
SHA1 of .buildinfo
1b5a80fc8850917641887e475d23723451c31bf8

Binaries

libz3-4 (libz3-4_4.8.7-4_arm64.deb)
SHA1: dd5c8ce46c4eb5c1727472645e0b4ae33b897cb8
SHA256: 491c0124f3260aeb4c9140714b32082a9ea69942d7c07db40d435cc3571718a8

Size: 5,889,832 bytes
libz3-dev (libz3-dev_4.8.7-4_arm64.deb)
SHA1: 6398e91bc23f4625ce7567d44eb33e57f577df29
SHA256: 54d5bb33a4da6b3a690befe689c54734313fe4c158040e1363faf90fb3b99d79

Size: 87,308 bytes
libz3-java (libz3-java_4.8.7-4_arm64.deb)
SHA1: ad274c6df431c7a3e9bb601bb6e81357065e98d2
SHA256: 96b713c2b527906b5792514ba34007cebd1d71ec3dde9eb5d653b11a397f6e18

Size: 153,724 bytes
libz3-jni (libz3-jni_4.8.7-4_arm64.deb)
SHA1: 73f42a34be8f84c2571bac7850d1f3837227267d
SHA256: 443be50d85407b455a5894abc4a6da45291e1686535a638dcf7bae59a1a6bc0e

Size: 30,712 bytes
python3-z3 (python3-z3_4.8.7-4_arm64.deb)
SHA1: 28f1456b761f2a9aa62bd0be27bddd714bd6405b
SHA256: 426b5b63b2feb96fdb4991ae7bb2a9e6f6fe5fc63ea085d5fc1c849d161a7c11

Size: 76,520 bytes
z3 (z3_4.8.7-4_arm64.deb)
SHA1: 735292a56d8e2045afb574600fa049c4742089f1
SHA256: be43adccd666a1f43b38972763aeda63d88158c1adf95a3ef642b92ca09e9b41

Size: 5,891,864 bytes

Other checksums

z3-dbgsym_4.8.7-4_arm64.deb
SHA1: 3ebba7639c68bf722f0d8dcd00998bac445e83a1
Size: 114,805,888 bytes
libz3-jni-dbgsym_4.8.7-4_arm64.deb
SHA1: e600dbacb2efd2cde49d19b3b661cbe86e9f5409
Size: 177,576 bytes
libz3-4-dbgsym_4.8.7-4_arm64.deb
SHA1: 3b672d15d6a41b72c45e12a74bd11c6c90310eb4
Size: 113,458,888 bytes

Submissions

j3hypgmh
Submitted
Wed, 29 Apr 2020 17:32:30 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-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="1578952552"