Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 10 Aug 2018 18:13:51 +0000
Build-Path
/build/z3-4.4.1

First submitted
Fri, 10 Aug 2018 18:14:50 +0000
SHA1 of .buildinfo
b9b58f6de12174a7d940805defc16e646d934bc2

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 20d4453e3b0dd7489fda651bacc56df2cfbf76a5
SHA256: 4852e7eb47c8d302af339789d0d4ecf62b557d87057dcd4a178d8ffd19540693

Size: 4,521,540 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 6f3e0e9dfc343d3c25c1750da250e031096591a1
SHA256: 9427b03167587e7c883cd311264d0a542fc69de215e14105a9405e8a1b64958f

Size: 40,684 bytes
libz3-dev (libz3-dev_4.4.1-0.3_arm64.deb)
SHA1: ec694fa86d5da892861522f22e3dfb9165066e3c
SHA256: a2fce585b238854e196a00f7ed047e4689c24c1cc4c1092e857f9e8515b5e06d

Size: 79,244 bytes
libz3-java (libz3-java_4.4.1-0.3_arm64.deb)
SHA1: 7d872f9db9b57262c5170082b87a147b16fe44ac
SHA256: d372170875c89ce17dc9e01b4aee1774f5df61f011580b2575f8cc3e0f6b5cb1

Size: 145,732 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: ad91720ff8b6d50d67843022b2481c1a042ec4df
SHA256: 3c426c43aa45c0bf93366e76263bbbcf8126fbd54b16b4dcae274dbd6faf591b

Size: 29,744 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 8f71c8d7692423d301c2fce6ffe4646d4c7ad8e3
SHA256: c9b781d969c92851463beebe0b2149412eb1086d74b348c6a1070c98890e59fe

Size: 521,496 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 1c2f85751b9f3b4ddc344ea23fe65aefbc173202
SHA256: e37573a3e97b796e4254dafeeabab78f3005c04af381d3b06762d03692ab08c7

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: aff621b8c5afd21304a6fb007ba8a75fe545519f
SHA256: f3540d75fb809e82a1e481945ad0e0e50de79cbd85ea5deefa74bd3d355a84ac

Size: 4,530,016 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 77f4092de175e651526ef1feb5d7fbcfe711dbc3
Size: 96,633,112 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 9dda8091a3a7c931c3b05c18e5026aa7ac03c5c9
Size: 204,416 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 5a74f893d6fbf9bb04a3fc29fcd0676cfc309207
Size: 170,260 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: a926d907e49987366617ffb46f64acd328adf97f
Size: 96,022,440 bytes

Submissions

Submitted
Fri, 10 Aug 2018 18:14:50 +0000
Signed by
0xFDD087C6FCA6B1BE codethink-sled10-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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