Source
z3 (4.4.1-0.3)
Version
4.4.1-0.3+b1
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Mon, 18 Sep 2017 14:13:31 +0000
Build-Path
/build/z3-MqssBb/z3-4.4.1

First submitted
Sat, 27 Oct 2018 11:05:41 +0000
SHA1 of .buildinfo
cd36686fd008e7a836ec14a176d9a0ea2668fa65

Binaries

libz3-4 (libz3-4_4.4.1-0.3+b1_mips64el.deb)
SHA1: 363281e2edc3953e987b8b314dfbc1d5b6bb3bbf
SHA256: 29afc25f2f583cbf50b5c74b786108e866fc9225af27b78e1c832d2d8ed95d4e

Size: 4,362,618 bytes
libz3-dev (libz3-dev_4.4.1-0.3+b1_mips64el.deb)
SHA1: 96ab47cc6833b3915f4e4fa626591e1d4fcd8e4c
SHA256: 58afa993591db7acb0563b62ac0c79dda748c8703055d44923bf2be4f0bffaf0

Size: 79,476 bytes
libz3-java (libz3-java_4.4.1-0.3+b1_mips64el.deb)
SHA1: 57240109978a2cc58b751fe296404741528df625
SHA256: e773a84063a036b5e960870b41c3000ac26408b304ba9af6f05eedb877a2c0cf

Size: 143,454 bytes
libz3-jni (libz3-jni_4.4.1-0.3+b1_mips64el.deb)
SHA1: e67efc2faac34acedb7c8bc881003e401c11ad79
SHA256: 46f92fe2fb6c1a36b3aab8b5b0fb56f4586eb6ace2d32c6ddb5a0da35f8c0626

Size: 32,126 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.3+b1_mips64el.deb)
SHA1: c4f68357bd0512aef11a2e0c3f91a6e674cc46a2
SHA256: 6fdb901793826e62ed71fc5e8e00a0c150829c324b18a507987f31407ec2aeba

Size: 339,354 bytes
python-z3 (python-z3_4.4.1-0.3+b1_mips64el.deb)
SHA1: 96c0d903f2bedd5924b0087c59d92300425ad875
SHA256: c598e48d54f1f8b90c724119fca25e050fbc79cb26c47afba5e3a6f5c885e9df

Size: 66,910 bytes
z3 (z3_4.4.1-0.3+b1_mips64el.deb)
SHA1: 7c8385304d43e96ca77a2db40e3adc57b807f61d
SHA256: e29e99d2931248178505e79f98d714bfa361826d89d7b2c757ab5f9a45958a73

Size: 4,397,636 bytes

Other checksums

z3-dbgsym_4.4.1-0.3+b1_mips64el.deb
SHA1: 6ad35057e5179cfe115fb6796133e53e5cdb2bcc
Size: 77,051,780 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.3+b1_mips64el.deb
SHA1: 28a4ca96eb388931402e5261ba50c43e5f8b73a7
Size: 190,716 bytes
libz3-jni-dbgsym_4.4.1-0.3+b1_mips64el.deb
SHA1: 9d6c877104f757fdf5d9d3a2b346027fa89fe303
Size: 142,094 bytes
libz3-4-dbgsym_4.4.1-0.3+b1_mips64el.deb
SHA1: f015082b914a81487ab9aa436c3a9cd478ba7f3f
Size: 76,555,974 bytes

Submissions

Submitted
Sat, 27 Oct 2018 11:05:42 +0000
Signed by
0xA64E52638DB67C8E

Environment


DEB_BUILD_OPTIONS="parallel=4"
LC_ALL="POSIX"
SOURCE_DATE_EPOCH="1505738356"