Source
z3
Version
4.4.1-0.4
Architecture
mips64el

Build-Origin
Debian
Build-Architecture
mips64el
Build-Date
Wed, 12 Sep 2018 00:33:17 +0000
Build-Path
/build/z3-gU4fxR/z3-4.4.1

First submitted
Wed, 24 Oct 2018 11:02:02 +0000
SHA1 of .buildinfo
642f6fc492850af15f6f06c2294ac56e53c83712

Binaries

libz3-4 (libz3-4_4.4.1-0.4_mips64el.deb)
SHA1: 85268bfd315c91ee2b516db3a2ce1e9f0a9561c2
SHA256: 383df45907cbf955fbc7cecd5468242d462bfb72524be54af8ddb294cbc04c6f

Size: 4,288,540 bytes
libz3-dev (libz3-dev_4.4.1-0.4_mips64el.deb)
SHA1: 8beb51071c61a70c8ccfa43f4131f6d4fd96e8cd
SHA256: 186f16af22b3bdb5854e2bc7c05f2d367dfd631f6468bfbbd775813df97f8a90

Size: 79,360 bytes
libz3-java (libz3-java_4.4.1-0.4_mips64el.deb)
SHA1: 13789c6cb4711d82cb13f1b5ae8c18c7884578bd
SHA256: 5cae35d43a7a445c47534055e15596a10960831df629af41e9c3ba0d3c4a263d

Size: 145,708 bytes
libz3-jni (libz3-jni_4.4.1-0.4_mips64el.deb)
SHA1: bc3f60db360a6cc7798f79f47bdcefeb3772569d
SHA256: c55ddae2ba3109de43061d3873f6ece8e23adfdc8f3c1aaec8c1aac15b508ea1

Size: 32,456 bytes
libz3-ocaml-dev (libz3-ocaml-dev_4.4.1-0.4_mips64el.deb)
SHA1: bdb3243ef704740edd4ea82a6dd60caa93ab9ae4
SHA256: 5a377425f281ce24713981fa164431418af88a0fa34721ed25df94e46958bb3a

Size: 367,992 bytes
python-z3 (python-z3_4.4.1-0.4_mips64el.deb)
SHA1: 178d9726da4955ad30150e4759424709ade57ac7
SHA256: 41d424b5bd4ab310b323775fbed980cb8dcbf928c50c6e2febd273a45790bc66

Size: 67,000 bytes
z3 (z3_4.4.1-0.4_mips64el.deb)
SHA1: b4a63fe7fb5effdcc628d746c656dcd923005d93
SHA256: 89173563eb0a5fa3f0210aca2960f11b0c4e58dbe39ca2791f078f864bdd84d6

Size: 4,321,824 bytes

Other checksums

z3-dbgsym_4.4.1-0.4_mips64el.deb
SHA1: b9108b11aa4d3ea32309c9630bcb3dcc1038b1d6
Size: 98,180,256 bytes
libz3-ocaml-dev-dbgsym_4.4.1-0.4_mips64el.deb
SHA1: 3753fa77bd10ee194d92352f04efac2869f19e8d
Size: 227,472 bytes
libz3-jni-dbgsym_4.4.1-0.4_mips64el.deb
SHA1: 29047776cdf54e9bc46e62a6bfa47fe680f3e817
Size: 180,056 bytes
libz3-4-dbgsym_4.4.1-0.4_mips64el.deb
SHA1: ce968a11193c0ace4991c3d6abf2cf78bbc7a428
Size: 97,563,836 bytes

Submissions

Submitted
Wed, 24 Oct 2018 11:02:03 +0000
Signed by
0x5D2A7028EA923274

Environment


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