Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 17 Dec 2018 12:59:19 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Tue, 14 Nov 2017 08:34:06 +0000
SHA1 of .buildinfo
6458569539d38ddcbbf85aa2ac29006a5fb58325

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: adb1e238bba0ee780aea59808d85e7456a1b1bb3
SHA256: 9bd562dbefd421f636b799f28c82fff43cf65bc93b6099c668302833545769e1

Size: 4,733,856 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 938fdb0fdee9cba557c1c44d48f90c69f4d0f452
SHA256: db6abb3063d060c39632a260e4e7264a511dd33d6d9f8384c34db05d9a2d30d6

Size: 40,688 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: 10ad0b1ffa0cd72ab831624f300794883aadcde6
SHA256: d1702cf9966d9a258e334accfcf41227a72d91efd82cbcd6107e88bb7b11fa41

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 936457236635522bd869454a88dc3584ca4d2de7
SHA256: 6fde96f2d88dcfd26bb0c3463563604d5a815625752bc2c5b27550458afa5d1f

Size: 29,880 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 9c2ac89066f25cc1ef3dcc238cb2da6ca5ab82fe
SHA256: cfbacbcc928adcee2e711592cafb106361e6a115df0b00fe7b3ecf53a2b07719

Size: 504,336 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 78e9d4e5c3fadd79b154617ffb9f477b84423bb3
SHA256: 7fdc40474113e6ae5db7c10cb52c5d97657aaa1b61f818ce4b60f481192b12f2

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: 165b5816d3f943d2ba824594d045274a433439cf
SHA256: e2c50e9ce2b812c9651f0d60462fe670fb8bc642c808b4fb0e5f4d78d7336470

Size: 4,741,280 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: f2b84f2ab11b7c2fb44fcf15391ea6afeac339b9
Size: 76,669,352 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: c6a78e0f6ec216cff47928704d1d46d4d4acc845
Size: 189,184 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: e70d1715b6b597816219f4062dcdbd47dd0577b0
Size: 139,576 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 73c69c1d389d8b292a486574d241336a2a581f3d
Size: 76,163,016 bytes

Submissions

Submitted
Tue, 14 Nov 2017 08:34:07 +0000
Signed by
0xB42DAAC6B200534A codethink-sled11-arm64 (Automatically generated key for signing .buildinfo files)

Environment


BUILD_PATH_PREFIX_MAP="z3_4.4.1-0.3=/build/1st/z3-4.4.1"
DEB_BUILD_OPTIONS="buildinfo=+all parallel=8"
LANG="C"
LC_ALL="C"
SOURCE_DATE_EPOCH="1474837584"