Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 1 Jan 2019 23:13:39 +0000
Build-Path
/build/1st/z3-4.4.1

First submitted
Wed, 29 Nov 2017 19:13:38 +0000
SHA1 of .buildinfo
d798934791a71e8e04cc0e8be1d81aa3bf6df9b3

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: ee8bdf8d765fdeb80bce4c56b1ec4d837c117b0b
SHA256: 2efb9a1695c574f29f06890bbdf5a441c4fd36f11d0ddf4eb6ef708a1dda0003

Size: 4,733,200 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 9878df0f4873906a8eab5d19484dade77b4c666c
SHA256: 008ead59d74af16718ef2d6fe59f83fa8707d61a4e698e2a74d29917833db1ee

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: 10ad0b1ffa0cd72ab831624f300794883aadcde6
SHA256: d1702cf9966d9a258e334accfcf41227a72d91efd82cbcd6107e88bb7b11fa41

Size: 143,512 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 2af03489720e11cc4e37346bfef07b621916ca3d
SHA256: 5b4140f0b79165d0e545a31e037da9786e5b487b64593f2c6e39bf110bdbfca8

Size: 30,032 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 9fffe392f493641f820cdf090c4cb3d4fe23636c
SHA256: d8f7d3062a2f65c348a88df0f07f1c58341ad86c23cf5d49eed281209430be4a

Size: 500,008 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: f70dbddf9eb8379490f11d2b20fbfb5554fbebc3
SHA256: b826650554a9bef1f26cf51d66a264f7929a1360bd2610a8c4e4c3b14cdc3962

Size: 4,742,360 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: fa7d1f36361318dfe05d261122ddd5b69b24624d
Size: 76,693,168 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 62626e9cb548447ac62b72041e0ca00172914c28
Size: 189,080 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 42fe024bc76f9060344aae66cfc6f48053f5de8c
Size: 139,552 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 8df2eefa0e1a7d9f8496f23c6a3965b335358ea9
Size: 76,179,988 bytes

Submissions

Submitted
Wed, 29 Nov 2017 19:13:39 +0000
Signed by
0xF8139FC1C7D1A40B codethink-sled9-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"