Source
z3
Version
4.8.4-1
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Wed, 4 Sep 2019 11:55:49 +0000
Build-Path
/build/z3-KORLpM/z3-4.8.4

First submitted
Wed, 4 Sep 2019 18:13:34 +0000
SHA1 of .buildinfo
90fc4f9dde8211a05cfcd9243bf71045467460d4

Binaries

libz3-4 (libz3-4_4.8.4-1_amd64.deb)
SHA1: 164693c3838b941e783cd577c5321f4e8602794d
SHA256: f08c8e1272443d9e933457961abfcf6af82d8ddeeaafd6984ac8ced233bf8ca4

Size: 6,537,764 bytes
libz3-cil (libz3-cil_4.8.4-1_amd64.deb)
SHA1: 2c46e7f1e3850c58c88f98298f569b2f3da0ac5c
SHA256: 20fb5e82d4b9e44c0855633a9c8f0112ba9ed04134ee825df88d67686f2b8983

Size: 44,664 bytes
libz3-dev (libz3-dev_4.8.4-1_amd64.deb)
SHA1: 057b03cdc4b7b2dcf5ff411373b93da395ded67b
SHA256: 3341a20326d2b606153b1c34010e4af2ccd02b5fd9fbb401922f87b32483a019

Size: 83,484 bytes
libz3-java (libz3-java_4.8.4-1_amd64.deb)
SHA1: d8a9299bfa870146ce3edae60668795db94234c0
SHA256: 1ac4678a92fc1b285803f73941e5700edc12001a743fecec1d1926c87d90dc7b

Size: 152,252 bytes
libz3-jni (libz3-jni_4.8.4-1_amd64.deb)
SHA1: 77b974ad266edf6e724bb4f24f24428a01896192
SHA256: 78e6abd2e2ce80115288020295346ab8bd1c3c1e0b090d5c0c83f90918a09058

Size: 31,616 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.4-1_amd64.deb)
SHA1: bb995f088fa11235d373468dbe21e1dd2720018f
SHA256: 6e93f413cfc47651ab71b5fbbcb92c134718c181c9134d8de2e3ba1b3081f23b

Size: 471,900 bytes
python-z3 (python-z3_4.8.4-1_amd64.deb)
SHA1: 2bbac310a40c449cd13a553877719ad1aa92f903
SHA256: 6bd893644924ae1f343651421d2c212fae7a838c3b37288d33a5dd10a87bde02

Size: 1,344 bytes
z3 (z3_4.8.4-1_amd64.deb)
SHA1: 22826cce27e9211816a2047e9653a0abe31c957b
SHA256: fa9dc9007ca132d13c0abde1357f63dea26868bd7a6fab352eaf9934349924f8

Size: 6,672,160 bytes

Other checksums

z3-dbgsym_4.8.4-1_amd64.deb
SHA1: 28eab8b21fddbf432549d211745cc00744756978
Size: 106,538,552 bytes
libz3-ocaml-dev-dbgsym_4.8.4-1_amd64.deb
SHA1: 8162025d8057c989c251f3ed314ad9fb144c35d6
Size: 348,104 bytes
libz3-jni-dbgsym_4.8.4-1_amd64.deb
SHA1: c121426dcbe5d1bcdeb022efe8c7809088d91cd5
Size: 175,352 bytes
libz3-4-dbgsym_4.8.4-1_amd64.deb
SHA1: 12308c1c38f7ab087ffffb7409ebc0d36c54efda
Size: 103,606,356 bytes

Submissions

Submitted
Wed, 4 Sep 2019 18:13:34 +0000
Signed by
0xD9795CB00A61AF5E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="C.UTF-8"
SOURCE_DATE_EPOCH="1566909011"