z3_4.4.1-0.3_arm64.buildinfo (view)

Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 5 Jun 2018 20:20:07 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Tue, 5 Jun 2018 22:32:31 +0000
SHA1 of .buildinfo
b1c13bfc8b873520751b7ccefbe88ffb6979be8b

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 01aa6a562699197bb25c2e0b4d85b9c638c63743
SHA256: 2a5f8f325da992ef1b17f9883c9c8d373e6a0a5833a9a7bb30b033123ee2d568

Size: 4,702,184 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: a33bcd3f5b71eae2b374fb5c8420b93415863f0b
SHA256: f2d98a40b45a2b9c0e36ba3ffa9262e4b2d3c8d03b110ace89e7ba0be0f6ac41

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: 550889163d1d3c92c34a9a43f76bd0e44a0c188a
SHA256: 02eb53e8f1cd308581230538de4897493c908f459e6af717f7a5bd091a0b6c7b

Size: 30,060 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: dd6ded22fcbd2f0976e4c146ceae307f8b9762cf
SHA256: 5b5dee5bd1e8b90bbd87a9e257275695116420b8392598e345bedb9fb0535b07

Size: 507,228 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 446b60d501027a1b515f9f23d8dc2b0bed5df385
SHA256: 61404638385024d742421f54252122e4f394bd46986a7551c559a33f01f25b6c

Size: 67,000 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: dba514cd7d7e7991782f2912917bfc8aacd764b1
SHA256: 2f5a6ab39849037d60e655e1732fdcabad9efcc43a47d6063b5d56e67d9e2e98

Size: 4,707,900 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: fb6040fd0690b3e1238e5cc294ba41a93193d1ef
Size: 77,284,132 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 2d98304cd7fd3ad5307a6c03dcd1008cf4462b80
Size: 188,240 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 5fb8fd7ba69321faa699911249f1121ff2a71d91
Size: 139,500 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: a3b4fcda7e7d9b99d16a27187fbfefcd0ceb14ca
Size: 76,776,656 bytes

Submissions

ypjbhx7p
Submitted
Tue, 5 Jun 2018 22:32:32 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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"