Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sat, 30 Jun 2018 23:41:38 +0000
Build-Path
/build/z3-4.4.1/2nd

First submitted
Sat, 30 Jun 2018 23:42:10 +0000
SHA1 of .buildinfo
337e9c2c1d7b4c9d44b3905564a0c7bc1cf0694f

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 69faf9c9d3e6b744ab8f4fbf579f5a0e2e9acc72
SHA256: 936b0baf35c2384e2fefa3c81c7edaf7c6ed4ee0a3b799e785a5167dd64d570a

Size: 4,699,264 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 519e86c3e7e5fe9ab2f59de0af1883a3bdd2f7b1
SHA256: f1b6d44da910bdf8961a8db4f18eb8748bd2c20430829639f211975a2292acec

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: e758dede47c6205c0fdf2d890a1b6889213550b2
SHA256: d640fe1a1e88786337deddcd8f77b3204a42644e536220630b576fc95c8f0778

Size: 30,132 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: 7023b4f40c8b55c378611d7a54ba4bc3aaf6ac8d
SHA256: 760bf737d09653b6509d62ac384ef8e1d178e52dd8099e77927aaca57bc7962f

Size: 500,248 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: 39d9791fa0a4c4c9e01e9625e943371d4ffad5bd
SHA256: 7dd33e5c2bd0f64c97cba9d16af469d2372d5244c503f2fad8dd3e135c35f7a1

Size: 4,706,536 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: c982d5d58c26a1fe9adb1a00a19ac908d91b3097
Size: 77,283,948 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 4e6bf8a17ebab636d1d182fd8b115e625eb4f468
Size: 188,200 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 7f165b51e8b4a17c7b2d3dd4ca174723b1276a4d
Size: 139,356 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: bfbe43ac8cccbda4c28c160f972f50acd346b727
Size: 76,773,228 bytes

Submissions

Submitted
Sat, 30 Jun 2018 23:42:11 +0000
Signed by
0x9AF2973C993317DB codethink-sled16-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"