Source
z3
Version
4.4.1-0.3
Architecture
armhf

Build-Origin
Build-Architecture
armhf
Build-Date
Build-Path
/build/z3-4.4.1

First submitted
Sun, 20 Nov 2016 05:40:49 +0000
SHA1 of .buildinfo
0fd4838cffe36bcb267747511a4478641fb2800d

Binaries

libz3-4 (libz3-4_4.4.1-0.3_armhf.deb)
SHA1: 5af7a9eafa0c47842b176b0036c658c552fcaee1
SHA256: ad65d48c8568e3011d92f25a98b106350d1ca57c66db69f2a54538a52e44e441

Size: 4,342,048 bytes
libz3-cil (libz3-cil_4.4.1-0.3_armhf.deb)
SHA1: bd4491021a27c67b0a9537924879a2326d16ac51
SHA256: 2d9b37ad1d72e9a4cbc1b4c465fd4873d1d5dd6023d7cfc3be215fc8c0a7f57e

Size: 40,702 bytes
libz3-dev (libz3-dev_4.4.1-0.3_armhf.deb)
SHA1: 5f61103f5afb6ef66a2c822d855f27ceaf7811c6
SHA256: b8a17836d198fc5448e74c93d20361d4ecea418e8ae22c94ec8960f3410008bd

Size: 79,176 bytes
libz3-java (libz3-java_4.4.1-0.3_armhf.deb)
SHA1: 242e85eb64fa7be113b57f44c3b2b113415dc117
SHA256: 56f488abff8aa9e681ccd441e5193937b2a0131f4d746ba4ef8bd6abe0d35fda

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_armhf.deb)
SHA1: 22c0993f58fb0d0f243e88d9de905ef42c6135a6
SHA256: ddbecd82ada44f28ffb134d43e18d9611b9c851e1d1e3f8248c3f0408ac91032

Size: 28,926 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_armhf.deb)
SHA1: b1b6d1b2a4f3ec4307e416b2901b7bc96904220a
SHA256: 5c648f4a6fc7b58dfded5e0b998b22565695c92acdddf2b67ca6910c4caa5356

Size: 465,808 bytes
python-z3 (python-z3_4.4.1-0.3_armhf.deb)
SHA1: eb37cd59f9d42e2aa1ad524fdc63de20ddba86b6
SHA256: 7a25c17376406c8ebafe9fc7c39f5ab17125442842d96ee33b8b5293be72cf72

Size: 66,922 bytes
z3 (z3_4.4.1-0.3_armhf.deb)
SHA1: d54b162de10b4a2027c28a27fdc4a167b629ad00
SHA256: 75779dd2b9f15bb185b7ac2803b92ae1e88dbb839c6ff8b7e3945552e6a42f74

Size: 4,350,474 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 267384f5ad2a5cff407cc99f5c11aaa444296ad3
Size: 75,118,964 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_armhf.deb
SHA1: 73a0e46abc99c19af1a35ccba3a3c1491231fb15
Size: 170,916 bytes
libz3-jni-dbgsym_4.4.1-0.3_armhf.deb
SHA1: d080720a7090ffd48f3f9e2604376cc4758695ff
Size: 145,538 bytes
libz3-4-dbgsym_4.4.1-0.3_armhf.deb
SHA1: a9793dd0986b4d74a3510c1d22b23cb5727a1ab9
Size: 74,770,178 bytes

Submissions

Submitted
Sun, 20 Nov 2016 05:40:50 +0000
Signed by
0x32BBD35D00AC03E5 wbd0 (Automatically generated key for signing .buildinfo files)

Environment