Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Wed, 20 Jun 2018 06:04:29 +0000
Build-Path
/build/z3-4.4.1

First submitted
Wed, 20 Jun 2018 06:07:47 +0000
SHA1 of .buildinfo
94f313b7aefed09b3731e7538927a50be5c4092a

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 13b91337c880e0202f4b825a824397ced6660f06
SHA256: 26dd4598b8116c7e3b729f3312ac90498681d502af722a05bb64cc441a474ca9

Size: 4,702,112 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 5b6d0c2b49f805a47be3f915494fd5337047533a
SHA256: 5cefb4543e5f5dde5ceb0682cc9acfc1856546613d6dbecf36aa3f66aa5ce30d

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: 7d872f9db9b57262c5170082b87a147b16fe44ac
SHA256: d372170875c89ce17dc9e01b4aee1774f5df61f011580b2575f8cc3e0f6b5cb1

Size: 145,732 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: bf44b2a20927e26a89babcf5262d782405864c18
SHA256: 145224533e8d495362ccc6e885fc5c7796e80d4c405b7f8a839e0d764ce2068e

Size: 30,056 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 192a8580d07d4a24eb27d1176f534b78ddcba87f
SHA256: e39523b174427a9770f00226819611a2861713cd1dcad55d4b721d4804f2a234

Size: 499,836 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: 5ee10ab74b3aaff281d54cc7bd3c7dfde203a079
SHA256: 7860442e64cbb499ddd0b98eaea4c23f5234133c6886b311c6f15ec628257b67

Size: 4,708,016 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: f521a953ac30b7f8fa32cf714211eb5bb04d779f
Size: 77,286,248 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 4c01ea662b6ce4609716df75d574d2712f0fc91c
Size: 188,228 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 33909155d143f3d43b8d240aecbfc975f11729db
Size: 139,488 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: ca0106c18fd586ffd366c08d43ba193eaf01921b
Size: 76,778,112 bytes

Submissions

Submitted
Wed, 20 Jun 2018 06:07:48 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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"