Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 1 May 2017 21:49:11 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Mon, 1 May 2017 21:49:29 +0000
SHA1 of .buildinfo
0ad691dab60dfc118aa8dbdc1e6192445dc7f55c

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: aa67aaa0e5e0c8dd2ebd47a047e3a26ed9b2ad78
SHA256: 4aadc5361fc37609e04e403dec96317a827ce0ee33c26909f2d8e5737cf497f5

Size: 5,158,342 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: 680afba475a4ba131b0e934ba26bd95b3b661d12
SHA256: 2b32d3a44ae55a0354ada527183a0e9946cabe51986ae3ffbb8311e96a2d8541

Size: 40,610 bytes
libz3-dev (libz3-dev_4.4.1-0.3_amd64.deb)
SHA1: d0e70bef6eab4975bc25d55d12efe2e5177f64ed
SHA256: bcc5ec2406bcca7952b4244eacb6a30f9480855976655c7ca9bddae3f28e698f

Size: 79,172 bytes
libz3-java (libz3-java_4.4.1-0.3_amd64.deb)
SHA1: 8b79ad1db1f64402da5578903aa4b904e2feccc0
SHA256: 7d23d297afffdf653c231b424f280d353eb2e4ba4971a9f220b1b7c09cd7fbb4

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_amd64.deb)
SHA1: e8b519084944cc2d67817eaa3454cf9d859a750a
SHA256: 44b95cec14024e1ce547052d71006bc52cdf0aded4fc68cf545305c0ef5f228a

Size: 29,762 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: b49056da28883221554f30273720921fd959e46f
SHA256: 581fdca0798095f67d6cca21cf0199757c45ba3f0003b93efaae65cd8ec7d430

Size: 448,774 bytes
python-z3 (python-z3_4.4.1-0.3_amd64.deb)
SHA1: 01d2b9b0d97e8511f0f701697bd42bc3eccc7641
SHA256: 0afa4a98f80bf0c99e040a3dea05533a1b3067ce50dd36b40c088f9b4d211ccf

Size: 66,918 bytes
z3 (z3_4.4.1-0.3_amd64.deb)
SHA1: 1957e23a8576307ba0f7872af1c974a35628782e
SHA256: 2cf3233354b3206b52e7a49e389c015edd8fd3e54151f226af3f3daca531c5db

Size: 5,174,590 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 177df3fcea6782076cba101f498aabbb9cec3fb3
Size: 77,254,272 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 0afe0584c9ed27d5a674bf3865ef098e4a3b9b36
Size: 186,724 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 2960bb639757561e401a1ed59db1c6d991aa6f7b
Size: 136,890 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 8f96157c02ce10495368ca0806d3dfe9aadd1095
Size: 76,733,958 bytes

Submissions

Submitted
Mon, 1 May 2017 21:49:30 +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/z3-4.4.1/2nd"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=16"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"