Source
z3
Version
4.8.6-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 18 Oct 2019 13:38:43 +0000
Build-Path
/build/z3-4.8.6

First submitted
Fri, 18 Oct 2019 13:39:59 +0000
SHA1 of .buildinfo
7ad8a63f61fb55ed9c7277674078bc335b5ddd97

Binaries

libz3-4 (libz3-4_4.8.6-2_amd64.deb)
SHA1: f091820f9c5d8ed24aa92ae788f866ad9fc9def9
SHA256: 273cd544bb26ae303e261451fdc7389daea839017ee016abdf6cfea9647dc234

Size: 6,811,044 bytes
libz3-dev (libz3-dev_4.8.6-2_amd64.deb)
SHA1: e26e7862fadbe489f5d2d97c1b626fad3692562f
SHA256: 1eff8ca1fa7a4cf0fa837100cc092a8193f22e61b841b7264b04df9475486c8c

Size: 85,796 bytes
libz3-java (libz3-java_4.8.6-2_amd64.deb)
SHA1: b8acac97aab625e3d473fe6b41770ebe0a1b64a9
SHA256: efc6d9abe542d7b7581e3286a234ca43eb177db8f5d2bd22f398b77377962f6a

Size: 153,580 bytes
libz3-jni (libz3-jni_4.8.6-2_amd64.deb)
SHA1: 52d35b50aab457681cd56abfea714a5a25137a87
SHA256: ef4405053f1d70ddaedc4b47f7b7af72a129816c7fbc9d7e9958bcb15ba433f7

Size: 31,996 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.6-2_amd64.deb)
SHA1: 92c6c8dc490a6295dc1dadcf05e7e705b3edea26
SHA256: 1cf342f39849f1adc9d446c42bad4ddf84597265a27255fd0187ca6c8e79d06d

Size: 479,028 bytes
python3-z3 (python3-z3_4.8.6-2_amd64.deb)
SHA1: 250c478330f5580adc30f7833ca2e26846e88951
SHA256: 54a909243eebaf4e2947358bf078c43e1fc3d7041cb172c9bff998c7b4eb58f5

Size: 76,356 bytes
z3 (z3_4.8.6-2_amd64.deb)
SHA1: dac2e3f8012cd8c5698aaea38bf3d65c3a737350
SHA256: dea3ca6abfd0638c3d8e25ef433300eab2ae409a4d010fbc2c06df5bc362104d

Size: 6,947,408 bytes

Other checksums

z3-dbgsym_4.8.6-2_amd64.deb
SHA1: 8d7ac124699536957aefff971df649de0672917e
Size: 109,703,988 bytes
libz3-ocaml-dev-dbgsym_4.8.6-2_amd64.deb
SHA1: c06bd214eff594dda635ce23342edf46b37bf7ca
Size: 355,692 bytes
libz3-jni-dbgsym_4.8.6-2_amd64.deb
SHA1: f61528a1c84f45b9d44db1e47bd6e91b6b6161c2
Size: 179,300 bytes
libz3-4-dbgsym_4.8.6-2_amd64.deb
SHA1: 0f60d436623b0b128aaaff0a5c692d2fe09c6e2f
Size: 106,640,280 bytes

Submissions

Submitted
Fri, 18 Oct 2019 13:40:00 +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="1571092162"