Source
z3
Version
4.4.1-0.5~exp1
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 23 Jun 2019 02:55:24 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Sun, 23 Jun 2019 05:22:36 +0000
SHA1 of .buildinfo
b4d948b2e8f3a645bf3cdc460d9f41d7c1de5810

Binaries

libz3-4 (libz3-4_4.4.1-0.5~exp1_arm64.deb)
SHA1: 9b2701277e7e65c5877b7805dde3a1bd46888956
SHA256: 11777d18d6a572bf5de31b2e3dee9a32ddf8894f88ee169b7b316de40a76b023

Size: 4,555,940 bytes
libz3-cil (libz3-cil_4.4.1-0.5~exp1_arm64.deb)
SHA1: 216f8ac6782e8ae157f8b5e1fd5c684b5637edac
SHA256: 13428baee5df9ace36d8f8d0df895283529b270ae11367f4b1b369854d9a3df8

Size: 40,620 bytes
libz3-dev (libz3-dev_4.4.1-0.5~exp1_arm64.deb)
SHA1: b2a5e760b349a31c6eca5bf6e77b405e22c07cbd
SHA256: 1cc8d005dc6c59e205704986c1c8b1d58fdb8f3a485ef5aa16ebd7cb3020e367

Size: 79,524 bytes
libz3-java (libz3-java_4.4.1-0.5~exp1_arm64.deb)
SHA1: f7ca1346f92efa9c77fe38407fe0604472a8e328
SHA256: 41ac51b6774b0d7555ca20d25ae56995a6f250ad34ad346f4d3beb036c84c5d7

Size: 146,348 bytes
libz3-jni (libz3-jni_4.4.1-0.5~exp1_arm64.deb)
SHA1: be5de2843aeb4fb531cbd6fcd46649b0837532f5
SHA256: 47ac8f4efd9bc9f323d5bbda04acfe3dc2d4f094978d33f08026d6dbdabcaca1

Size: 29,832 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.5~exp1_arm64.deb)
SHA1: 13208fc4f7724630d0e6bbf6f9004b5f04fd738b
SHA256: b2215f8cf9926cdaf0ea6335a30257109d26c21dadedde86a5ae614b179c5b4b

Size: 513,316 bytes
python-z3 (python-z3_4.4.1-0.5~exp1_arm64.deb)
SHA1: 455386fbd894109ed1c43ce67b9140a9a80877a4
SHA256: 53143dc27c8f0216ae45a52269c3b59c02cb82d0097e006c88f4c1f48fd2f396

Size: 67,028 bytes
z3 (z3_4.4.1-0.5~exp1_arm64.deb)
SHA1: 03e282913956f17646e6a17731bf9f81a951cbfc
SHA256: d93f1ff06b94fb4466464f176105b843d7d6878ad85c5d074515ea77eee91b3c

Size: 4,561,404 bytes

Other checksums

z3-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: 9af4c2126495cf62804455a3382309e593cd6fe8
Size: 97,073,288 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: de7e0faf16cc95747dc9e9db5572d2fa864fcb4b
Size: 204,284 bytes
libz3-jni-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: 06b5d041584ebec44e5634d47d6b6f407f1bf947
Size: 170,140 bytes
libz3-4-dbgsym_4.4.1-0.5~exp1_arm64.deb
SHA1: 595c2460bbd2806b13578650ce1e6ec2599b4a0e
Size: 96,492,892 bytes

Submissions

Submitted
Sun, 23 Jun 2019 05:22:37 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1555417831"