Source
z3
Version
4.8.7-4
Architecture
armhf

Build-Origin
Debian
Build-Architecture
armhf
Build-Date
Thu, 16 Jan 2020 07:58:40 +0000
Build-Path
/build/z3-4.8.7

First submitted
Thu, 16 Jan 2020 09:16:07 +0000
SHA1 of .buildinfo
046c90fb80c805384a0537b3c98905f358feeeab

Binaries

libz3-4 (libz3-4_4.8.7-4_armhf.deb)
SHA1: be4b69f409791d17d50e05297d119bc849a7a840
SHA256: 44c9139be05e1a9e04a97444ce2d267b4c9bf30192c45562e04d641965af13b0

Size: 5,808,764 bytes
libz3-dev (libz3-dev_4.8.7-4_armhf.deb)
SHA1: c7f1baad1d827604f6b58407d3c10aa1497a6b55
SHA256: 2f8986e155430017258f938bc64a14d680279d140e24b74dde0b4914e41094a0

Size: 87,316 bytes
libz3-java (libz3-java_4.8.7-4_armhf.deb)
SHA1: 52b7fa12c74f39ea0fc9a7353e31ba5058ad50c3
SHA256: d067adc6d9e61103d50bd6534bc8a876eb727ecec4b859354dd5ab2ac1344a74

Size: 153,736 bytes
libz3-jni (libz3-jni_4.8.7-4_armhf.deb)
SHA1: aea0d1b4d3c1ef17073ff2479f70ad3cde1ce15f
SHA256: 7e0ac2f794f139496e6eb6306b6f3a7f9248066370e98e4b1940f3f5895dad35

Size: 30,036 bytes
python3-z3 (python3-z3_4.8.7-4_armhf.deb)
SHA1: 49e9a4a1e90d705580e200a047fad86f1e90dc69
SHA256: 8a93308851cc39624cab537569f72fdfd18357605ca9e0a93b416617fcecba86

Size: 76,520 bytes
z3 (z3_4.8.7-4_armhf.deb)
SHA1: 73a26ff413c11da1bbb9d77241f91c3145c628f4
SHA256: 3a15ea84d1b168a7fc7391a7005976855cd8578436bed75fe0df90b9667d7f7e

Size: 5,815,020 bytes

Other checksums

z3-dbgsym_4.8.7-4_armhf.deb
SHA1: 1bf312ef3c4716a0bb67257545c24d004fc78960
Size: 108,093,988 bytes
libz3-jni-dbgsym_4.8.7-4_armhf.deb
SHA1: c352b75e4361baeaf70ba9dd4359983285980146
Size: 185,888 bytes
libz3-4-dbgsym_4.8.7-4_armhf.deb
SHA1: 06c0a38ff4a7f52a190296cdcbb122fa13471804
Size: 106,791,604 bytes

Submissions

Submitted
Thu, 16 Jan 2020 09:16:07 +0000
Signed by
0x7BF7A541C51D4B87 cbxi4pro0 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=3"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1578952552"