Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Fri, 29 Dec 2017 03:02:23 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Fri, 29 Dec 2017 03:03:17 +0000
SHA1 of .buildinfo
9a55afabe824d77bcb8379af3773506881dfb880

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 98f96991a5e55c110d6caf32193e4493fc3a2e05
SHA256: 25c08e058003e5c963e78514b9696619725fda97c4084da15b8cc39b97a7acd3

Size: 4,733,644 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 8951693fc569f4e6ed1b124c0476a8ff0abfade7
SHA256: 2873a3a4b05620213b9cc933d32bb6783bc8efc9e9f67ec5a304ee3cd28e4fa1

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: 610e4858f23add1e5f16399b439c977b4fd06ac6
SHA256: 66bf15571c659e4fbca2b1d474e4640c62a035ea21997f7f7fe3790c14badc5a

Size: 29,860 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: a723cb3f27a970605b0db6594329f1dcc3c14da3
SHA256: cf7df8aa06e874f50c583de6b115d6df1469758de2622923563fe50d3bc34e95

Size: 501,508 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: fe2e76f73f140424e6a3e0c965576d14b04f6ec4
SHA256: f91a38b94a0b52ed57531934b74b79eff14509d09f9e464970721718d4ab70c3

Size: 4,742,280 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: bd326a9b3b6527ce7bc55c94e24a62e0854395c2
Size: 76,691,960 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 29e0aad3880fb95430c460e5049c5400bfb29bd3
Size: 189,156 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 05a27dacaa775756e1f83d999faed51fc8eea911
Size: 139,640 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: a55a2cd3ebca0815c69e79140ec2bf8e0838c209
Size: 76,172,448 bytes

Submissions

Submitted
Fri, 29 Dec 2017 03:03:18 +0000
Signed by
0x192E42C740CBB29A codethink-sled12-arm64 (Automatically generated key for signing .buildinfo files)

Environment


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