z3_4.4.1-0.3_amd64.buildinfo (view)

Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Fri, 23 Aug 2019 00:00:51 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Fri, 20 Jul 2018 20:04:28 +0000
SHA1 of .buildinfo
dfe88b724a8b91ff03d8468319f91b5d0e1a734c

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: cb53882b840f6bdc2937fa847bf976afc1f81340
SHA256: ae48213f96c10f683b920d3fbcb0167b9a004d25e4d0c93fcac2d2e1b09c743d

Size: 5,202,484 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 61f896a1f865984d840b085750c891036390123b
SHA256: a96d60ee83ad5530063617e0952cbd9dfe2196de222332981a28905387163189

Size: 40,688 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: e5bdc0c6cab1e132ae64c5700c0c7239e2a6906b
SHA256: 9263857a1e2deb9ed0413db0054bdaf5403868c981ff9ff422bf3916e85ac5ec

Size: 31,776 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: ff081e940768be07754a228afe9b82918d89c409
SHA256: 35d5ea2948030757c68fc156d6c1b10c3588826763e9b6d101cdc78dbc0b6cd2

Size: 526,296 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: e530a2f8f7bfcae9be50094f3d4580a0c1007092
SHA256: 6c36b394cc508f7c3339c40ef39237bf3448517f754b471fe429e3d05b22769f

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: 42c70b13c5a25f23e069a7f204aaf497229912a6
SHA256: fb9a3bead69d8d39ab4ea01e2d171e634250e8cc742b79d721f45a58ec4c1288

Size: 5,219,148 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: caee2b64013b8e11098c5b4885c570204e5fdf84
Size: 98,444,128 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 8fb55fa426b3906586defe8423e30ce2ee6e97c0
Size: 219,220 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: e0ca7bd3ccbdb33086b27e5a5ef7f53355808dab
Size: 168,736 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 13b63c7840ea5a262eb34790704891233fa1561f
Size: 97,835,912 bytes

Submissions

zgrywwut
Submitted
Fri, 20 Jul 2018 20:04:29 +0000
Signed by
0xBFF95736F711C117 profitbricks-build15-amd64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/1st/z3-4.4.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"