Source
z3
Version
4.8.8-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Tue, 9 Jun 2020 09:07:53 +0000
Build-Path
/build/z3-4.8.8

First submitted
Tue, 9 Jun 2020 09:20:01 +0000
SHA1 of .buildinfo
020ccffae3c2106b55dd0dbc740cee10e80d9cc0

Binaries

libz3-4 (libz3-4_4.8.8-1_amd64.deb)
SHA1: a6b1ff301717cf14163fd39348742f7d63528af6
SHA256: 26de68861238008f0997f886ddcf9c5329465c67e7ddb02b8c03f73ec3e32663

Size: 7,303,364 bytes
libz3-dev (libz3-dev_4.8.8-1_amd64.deb)
SHA1: 288cae58d430f93837ecb5cd1062abbe0ef9f265
SHA256: 00617f2012ddf8a0dc557683ee0068bfe624a5f803c54c3c2c8b902693e4511f

Size: 88,276 bytes
libz3-java (libz3-java_4.8.8-1_amd64.deb)
SHA1: 8153c40450939510fc533bf067e726be13062562
SHA256: 9ef1222b34dc40f1204c0d68eee7b8f853248491219e82a97d382962d0ed7403

Size: 154,240 bytes
libz3-jni (libz3-jni_4.8.8-1_amd64.deb)
SHA1: 0fd01277bf6aa70f20c2db4e3d4d3295b1a0f842
SHA256: 5f32fee23ac74e4b11e3d6633d40993d02560aca563f56b07a410f1eab899516

Size: 32,308 bytes
python3-z3 (python3-z3_4.8.8-1_amd64.deb)
SHA1: f228489d9977a537571b97659f0ea555d5bb338a
SHA256: e698b035210b1273d8bb408d53ae88b208d2fbe3f86bbc2fcc59eb2b732b150e

Size: 76,708 bytes
z3 (z3_4.8.8-1_amd64.deb)
SHA1: 11403655c6b8e4fdaff97db1fd4f627b9ca38705
SHA256: 3430e03762bba55d1a5481d62a1faaba9d81fcfba684a909627ba16ad0fc95f0

Size: 7,311,008 bytes

Other checksums

z3-dbgsym_4.8.8-1_amd64.deb
SHA1: bb134b3cf37fb3bde4b9d8282c6436680d2f130b
Size: 128,341,568 bytes
libz3-jni-dbgsym_4.8.8-1_amd64.deb
SHA1: 4e2bee6a3119439e3d970ba1ee3a1169607821b3
Size: 179,628 bytes
libz3-4-dbgsym_4.8.8-1_amd64.deb
SHA1: ff95f699f7f29ab2e0e29f574348a728e5ca6986
Size: 126,943,568 bytes

Submissions

Submitted
Tue, 9 Jun 2020 09:20:02 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=15"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1591453977"