Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Tue, 2 Jan 2018 10:53:07 +0000
Build-Path
/build/z3-4.4.1

First submitted
Tue, 2 Jan 2018 10:53:47 +0000
SHA1 of .buildinfo
d77ba419a04a2a00030eef23ebbcf3229e7375f8

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: bea55247710530fc0cfe23115a8c7793a4948f12
SHA256: 8ee9ebec66f857b641e1b2707f96627ba125f934699402dcf4f647e5e431c0b4

Size: 4,734,820 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 4b07f85e4697ed356a5399e9d837e1a1922eac6f
SHA256: ce5cd1f33ef2d856bba6f9f93233d5a467bdc5528ed279fda4c2a2cec06595eb

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: 1ead86a447dea9e81f60192d4e98cb91fe30a8b4
SHA256: 93c002cff627f43584c819c2c67d57813a50081f22c1ca0636167bc59856caa6

Size: 29,860 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 59f8a831f32b6b35283b021173967dc205ee6c3a
SHA256: 89c3a27c734bad54166eafe70ffbc3ee54f8758d52b37d5d96ad8c73077ca13f

Size: 455,408 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: 7ed0029e9d049b8b9c8438d78d545be77c9ca6aa
SHA256: d28d82b03e33a5c2639b059e4c0a9f9ae385d8d31bbad039d5d814834e458ba9

Size: 4,741,408 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 04638872df3d518312b315f43241c4e1e7f30f2c
Size: 76,678,204 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 5a8a8fde7958bd77d5852b86fb76b44920a333e2
Size: 188,560 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 736a7a731441714cedcbf2b6dbd8900dbf0eedba
Size: 139,712 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 0c3c8539fc432c5f7ecc8e3240e18831f7c195a2
Size: 76,189,432 bytes

Submissions

Submitted
Tue, 2 Jan 2018 10:53:49 +0000
Signed by
0xC58597F326D8D216 codethink-sled14-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"