Source
z3
Version
4.4.1-0.3
Architecture
amd64

Build-Origin
Debian
Build-Architecture
amd64
Build-Date
Mon, 10 Apr 2017 14:39:03 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Mon, 10 Apr 2017 14:51:56 +0000
SHA1 of .buildinfo
f04c3b852331b1b6d5456553002e904eb3ec783b

Binaries

libz3-4 (libz3-4_4.4.1-0.3_amd64.deb)
SHA1: 431acdaba8cc725852425b13160815be604f92d1
SHA256: bf75a732f9a55371e0e9236d6458bc43b3a1a2a3b0a72130ffdc72ed2c9283d1

Size: 5,158,068 bytes
libz3-cil (libz3-cil_4.4.1-0.3_amd64.deb)
SHA1: c2e5a301751f8aecc82352ecd9957e0d2d847b10
SHA256: 64099bfe705b4a148c442578d2c0558e1a84e0f50f2750f8ea0d73f4a74f5fe7

Size: 40,604 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: a0768454a20fb449ea864c24a5c595ebdedbe2ce
SHA256: 199a7b602c75447607115476e09c992da83d46d9786755f431a35f08a9546ec2

Size: 29,586 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_amd64.deb)
SHA1: 3667da6c67bade335c5afdde0f9d510340df038c
SHA256: 5615fd2c978e4ec2f6c6bcb8c6a82e95443691fc2437752185fd85692c103eca

Size: 451,148 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: a82319e1cd3c4d8765b287cf3e89a03a107e5c99
SHA256: 3ee1c5fe75770ae6a33daad9f2846f2a07412127d8571fbf929e4a05b44c7462

Size: 5,174,696 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 85fcf5881a21481a3ce1779160c6e979d8fbd476
Size: 77,253,170 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_amd64.deb
SHA1: e712638fceb4811eaeb9ba7e2cc47e7e58a47092
Size: 186,344 bytes
libz3-jni-dbgsym_4.4.1-0.3_amd64.deb
SHA1: c5c0ebb5d1d7d3bb4851e9ddf6a0fd1fd33dc2f3
Size: 136,948 bytes
libz3-4-dbgsym_4.4.1-0.3_amd64.deb
SHA1: 687003a1c74fbd8adadee8dc95ee089338956808
Size: 76,719,572 bytes

Submissions

Submitted
Mon, 10 Apr 2017 14:51:57 +0000
Signed by
0x5FA3DA39796FBACF profitbricks-build1-amd64 (Automatically generated key for signing .buildinfo files)

Environment


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