Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Mon, 28 May 2018 13:03:08 +0000
Build-Path
/build/z3-4.4.1

First submitted
Tue, 25 Apr 2017 06:40:52 +0000
SHA1 of .buildinfo
cafc3d78c0aa924a4d48ef6747917e0e93653611

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: 280dda02b60521e19d95822a423b5e58d05c4bec
SHA256: f263f3494094677ba7855cc117225dd735f7c3ecc670f34bbfe963f66c0ea5d2

Size: 4,410,632 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: 0b3fcbb66a91301d7ed10a09c6b36a2de634f2c3
SHA256: d87044a321199bd7ca1d73a630151e73b351545c5baabb24202e51ddf6722466

Size: 40,606 bytes
libz3-dev (libz3-dev_4.4.1-0.3_arm64.deb)
SHA1: a7b14464406f7669889e00adb65afe8f3783398b
SHA256: 4b2c6454ca8155436b6c98c9c046f7a0b28d53496d9af5be28450174be14d5c5

Size: 79,168 bytes
libz3-java (libz3-java_4.4.1-0.3_arm64.deb)
SHA1: acc3abcb09b9c9c90ba578f9f70d2600058f0363
SHA256: 7e3a204c91bdf0eb6372f9cee40f36313587ae099d66333b3a909db6678dac45

Size: 143,432 bytes
libz3-jni (libz3-jni_4.4.1-0.3_arm64.deb)
SHA1: 58035cd0e0eedb7065cd6b95b40bbd5c0b5875e8
SHA256: 7f95282009a1354030ca2ecbe630a1745a6687f3f045d0a5bd8ed412335a52b2

Size: 29,788 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: de2ca95013dc18c4fc39fa4bf6571778ad5be495
SHA256: 8fb5022cb8dd93fe17e7cb868bdc515323ec4b0c296eee845f3a5e1c04a022a3

Size: 453,716 bytes
python-z3 (python-z3_4.4.1-0.3_arm64.deb)
SHA1: 5534652f2c48e3671b497ebae7af934a504e17cb
SHA256: 13c894c565c199cf3e5097844dbfb914ded401eac21f6c06fcdecaaf5b21c991

Size: 66,918 bytes
z3 (z3_4.4.1-0.3_arm64.deb)
SHA1: 2c1d01847bc5d8fbada1ea3b85062fc9231c0d05
SHA256: 14bbd6c8510670f52f2f29f9434f1f61a906abb0c6dad005c3dd2e25c3524e64

Size: 4,418,852 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 866c695ee6db125f882ec23d638c9662874b660e
Size: 76,363,416 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 0333e8889ea48aefd69b2777422cf80828ac692a
Size: 186,232 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 48405b4af353cbb91c9be2fcc039914912d15770
Size: 140,138 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: ffd4d660e0d0c9940055d70fad2f78189a2f6ee5
Size: 75,852,848 bytes

Submissions

Submitted
Tue, 25 Apr 2017 06:40:53 +0000
Signed by
0x1D3EA4D86F2FB555 codethink-sled15-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"