Source
z3
Version
4.4.1-0.3
Architecture
arm64

Build-Origin
Debian
Build-Architecture
arm64
Build-Date
Sun, 23 Sep 2018 09:08:38 +0000
Build-Path
/build/z3-4.4.1

First submitted
Sun, 23 Sep 2018 09:10:08 +0000
SHA1 of .buildinfo
4ca25ab837dd5e706a1f7ca9af3eb883b487b0a9

Binaries

libz3-4 (libz3-4_4.4.1-0.3_arm64.deb)
SHA1: cf3258b41bd7aea13460ac7436daeb3c3b9379dd
SHA256: b5ec702b02e1d72a57f75d71603750e854cf9b12a791741a32a471f12392ae8a

Size: 4,412,114 bytes
libz3-cil (libz3-cil_4.4.1-0.3_arm64.deb)
SHA1: c6e09a468580ded2bef32e3bf762f6ea76b1366f
SHA256: e69f2191d9fa8fd28e4d1d2e15f2988f441e880f492e9846409a281d298c7fb6

Size: 40,602 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: 5827a55838999fe189b017e880f3acfc262cb87e
SHA256: 4aa9dd13adf83844f91770f5bbd42c6561dc06ad5ba9a641a01646f75944ddbb

Size: 29,916 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3_arm64.deb)
SHA1: a65d80ac927bc3e8995f5bb7cfd832f95cef9b17
SHA256: 8b1ecfffc731b060881adbb12497770702da26ae546bb267deb8284da9641af4

Size: 458,642 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: 234ea9b85b4418ecc3d9c4b515b05b12605234fe
SHA256: 37a5d185f734d2cbcaddfc4f40ee606c0e951d7c46c682c6ce5e4310120f7210

Size: 4,419,842 bytes

Other checksums

z3-dbgsym_4.4.1-0.3_arm64.deb
SHA1: ec8435a3dc34b3628eb392ca27a3f0b62c4bae31
Size: 76,368,546 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 724246363d26bc6b3a1711f450301d82cdb329b1
Size: 186,536 bytes
libz3-jni-dbgsym_4.4.1-0.3_arm64.deb
SHA1: 20bd05564f33d023b82e941c3344acb5ff8646c9
Size: 140,446 bytes
libz3-4-dbgsym_4.4.1-0.3_arm64.deb
SHA1: bb6d49b3846f112b78dcb8a5c6b2cb7d0fa2a8c6
Size: 75,851,314 bytes

Submissions

Submitted
Sun, 23 Sep 2018 09:10:08 +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"