Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Sat, 12 Oct 2019 21:54:37 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sun, 9 Sep 2018 16:51:26 +0000
SHA1 of .buildinfo
8a27b6664c87240e37a43dc4c504dcb643aeb613

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: d88a69f7aa5b66d2fbba624e31cafce8c533cc52
SHA256: 3ea43f627676f9db326fbc926afbd1b9aea41cfc3102e4897393cd1fddb0d772

Size: 5,202,528 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 11aa3e0504b40b7bf2e0b851ede227f4d393d90d
SHA256: 75b093ef6742c49f2799a50aaf57d885c18a32ffd27d152f554cf7010edd5a00

Size: 40,692 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: c4eb3c174bef60cc4a342a21f14bdbc0dfd5f216
SHA256: 6673021c14012110553585a93e9362259b0dae2bbd49f328b6cfeff3b70f2ae0

Size: 79,248 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 37a3225867478728957af2f3a040bfcbf79caff4
SHA256: fd8baec0351c6a32b81055cc5158b409095ddba53727371738503e55e41c435b

Size: 145,732 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: d5a94e0d3c9df1546ab04d4cbbdd0b754d853369
SHA256: 13d7c9b8473068944fac061fabb9975c8471199a97134b93122d75b27818308f

Size: 31,740 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 77db6fe2aa2c27329d402d715dbc638c36a87fa0
SHA256: b4c9674be7ef5a062cb099718360163babe6617f6cea57c8b807808704fa523a

Size: 528,668 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: 6eaa958d444c7641bd8c388e6f6049b85047ccd3
SHA256: c1fbf2e368f866843844966c332805112d03e82fb91bf5fe0586147c08193fa5

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: f4ae238a14a64a3f4e1d12a8d8e02f033471b6b0
SHA256: a9cbd3d7404e7ad7859c7e40985613823c49cd5a87cfec892ecbc0984c246164

Size: 5,219,612 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 6f45cdd942e85c5f5c776045c4a55e89032ee730
Size: 98,431,576 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: f074ed29ec7998bcf8c7cce899a6ddc64077918c
Size: 219,152 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 7d3ac1939df06e5f94bf5d8070c689cbbd9c02da
Size: 168,660 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 278e94fbc3215792ffd62fdfb115144a9c44872c
Size: 97,815,104 bytes

Submissions

Submitted
Sun, 9 Sep 2018 16:51:26 +0000
Signed by
0x1BD40F376E003684 profitbricks-build5-amd64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"