Source
z3
Version
4.8.7-2
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 9 Dec 2019 13:59:15 +0000
Build-Path
/build/z3-qJJHkn/z3-4.8.7

First submitted
Mon, 9 Dec 2019 18:38:11 +0000
SHA1 of .buildinfo
e3ad187551c4df456b50f68374ae3d1275a744f4

Binaries

libz3-4 (libz3-4_4.8.7-2_amd64.deb)
SHA1: 7c5328bedf23e331ea3a28c671493002303b5861
SHA256: 0c487f8c256586d13cba4f495a3c472acec9d70f29a084e94797556d916b2150

Size: 6,840,872 bytes
libz3-dev (libz3-dev_4.8.7-2_amd64.deb)
SHA1: 537fafe46057bfb7253f100afa5624e13733bfd7
SHA256: 4c148a87946af2d4c667109bbdf750432ba6a1a1e928f269ffc161f3e06ec354

Size: 86,744 bytes
libz3-java (libz3-java_4.8.7-2_amd64.deb)
SHA1: 3cb770d41052c9527cadfce40de9521762e96a57
SHA256: f786263bb40c8db8553a0bdbbd08648b8f8108aba5ec838b57def76827a9dde9

Size: 153,776 bytes
libz3-jni (libz3-jni_4.8.7-2_amd64.deb)
SHA1: 8c836800adf43dbe038aefba148a86b18eb472de
SHA256: b554b4d77c0424ca3c898502a29b1b999e96de05219fd61ac5e95b30eb510e55

Size: 32,516 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.8.7-2_amd64.deb)
SHA1: 940fe78b4bac46b23412d8d4681d273268b238ff
SHA256: 54f7f60e441d5371615e65708f7be8a16f3cc760b632d27b46c4afaf140985be

Size: 574,996 bytes
python3-z3 (python3-z3_4.8.7-2_amd64.deb)
SHA1: 13f2502a92ae8b827a491837e3a493cc4fdf4472
SHA256: 8b565b4ba0f6b83b02a5445224bce5ef03b8304ccf7f43648d24a8af2f9a0d9d

Size: 76,408 bytes
z3 (z3_4.8.7-2_amd64.deb)
SHA1: 7e4777a2ea71ad2c43b2c41eb7bc6112ef086873
SHA256: d00ba425a2f04c9602f759ab56cc739182ef28016c0611d01b0da4e9aecc5368

Size: 6,978,776 bytes

Other checksums

z3-dbgsym_4.8.7-2_amd64.deb
SHA1: 65e91ea71158ee9e3fc8765cc874f544fc3b0bf6
Size: 110,479,924 bytes
libz3-ocaml-dev-dbgsym_4.8.7-2_amd64.deb
SHA1: 93618efac08e8a03835611164d7cef058ee9ecb7
Size: 356,932 bytes
libz3-jni-dbgsym_4.8.7-2_amd64.deb
SHA1: bf0044cea2eb120c0e91fd53a871ba4d7a826e42
Size: 179,008 bytes
libz3-4-dbgsym_4.8.7-2_amd64.deb
SHA1: d1006f76538a7f04f6f4d583c0fb3b76fea79492
Size: 107,433,640 bytes

Submissions

Submitted
Mon, 9 Dec 2019 18:38:11 +0000
Signed by
0xE9BEE1DBDA111424

Environment


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