-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.0
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: mips64el
Version: 4.4.1-0.4
Checksums-Md5:
 49ee5c3e4d693ce54f6dd5afc9ccda06 97563836 libz3-4-dbgsym_4.4.1-0.4_mips64el.deb
 4d6f50bc1af3db438d0686fa7c51988d 4288540 libz3-4_4.4.1-0.4_mips64el.deb
 3f43c2655ac96f0e0dceb9afe2a32b92 79360 libz3-dev_4.4.1-0.4_mips64el.deb
 43e48a18e5f3640adc2e7a6373edc4b7 145708 libz3-java_4.4.1-0.4_mips64el.deb
 81d4118f36edda69d3f7ec81de601698 180056 libz3-jni-dbgsym_4.4.1-0.4_mips64el.deb
 8f85ed3b1714d4c4841b55fc9e847066 32456 libz3-jni_4.4.1-0.4_mips64el.deb
 5241ca26335da5cb532bd0eba550f0a0 227472 libz3-ocaml-dev-dbgsym_4.4.1-0.4_mips64el.deb
 1d1cb7ed7a2f46b5863d008c52b53c3d 367992 libz3-ocaml-dev_4.4.1-0.4_mips64el.deb
 ecd1e329e6d920e55ed039c98c46e405 67000 python-z3_4.4.1-0.4_mips64el.deb
 8a39cb116bed25b5c7b9088f66e7a2fa 98180256 z3-dbgsym_4.4.1-0.4_mips64el.deb
 15a43b69e03c4a2f131046330fa100fc 4321824 z3_4.4.1-0.4_mips64el.deb
Checksums-Sha1:
 ce968a11193c0ace4991c3d6abf2cf78bbc7a428 97563836 libz3-4-dbgsym_4.4.1-0.4_mips64el.deb
 85268bfd315c91ee2b516db3a2ce1e9f0a9561c2 4288540 libz3-4_4.4.1-0.4_mips64el.deb
 8beb51071c61a70c8ccfa43f4131f6d4fd96e8cd 79360 libz3-dev_4.4.1-0.4_mips64el.deb
 13789c6cb4711d82cb13f1b5ae8c18c7884578bd 145708 libz3-java_4.4.1-0.4_mips64el.deb
 29047776cdf54e9bc46e62a6bfa47fe680f3e817 180056 libz3-jni-dbgsym_4.4.1-0.4_mips64el.deb
 bc3f60db360a6cc7798f79f47bdcefeb3772569d 32456 libz3-jni_4.4.1-0.4_mips64el.deb
 3753fa77bd10ee194d92352f04efac2869f19e8d 227472 libz3-ocaml-dev-dbgsym_4.4.1-0.4_mips64el.deb
 bdb3243ef704740edd4ea82a6dd60caa93ab9ae4 367992 libz3-ocaml-dev_4.4.1-0.4_mips64el.deb
 178d9726da4955ad30150e4759424709ade57ac7 67000 python-z3_4.4.1-0.4_mips64el.deb
 b9108b11aa4d3ea32309c9630bcb3dcc1038b1d6 98180256 z3-dbgsym_4.4.1-0.4_mips64el.deb
 b4a63fe7fb5effdcc628d746c656dcd923005d93 4321824 z3_4.4.1-0.4_mips64el.deb
Checksums-Sha256:
 5f7c30272f682f413a2ac36f8f6fea5fbd8fa7082988305caf5fe871ba42a76e 97563836 libz3-4-dbgsym_4.4.1-0.4_mips64el.deb
 383df45907cbf955fbc7cecd5468242d462bfb72524be54af8ddb294cbc04c6f 4288540 libz3-4_4.4.1-0.4_mips64el.deb
 186f16af22b3bdb5854e2bc7c05f2d367dfd631f6468bfbbd775813df97f8a90 79360 libz3-dev_4.4.1-0.4_mips64el.deb
 5cae35d43a7a445c47534055e15596a10960831df629af41e9c3ba0d3c4a263d 145708 libz3-java_4.4.1-0.4_mips64el.deb
 d377e989a811b6eebe95b746339ca8d22af337030a5f862e4c714eb7392f6789 180056 libz3-jni-dbgsym_4.4.1-0.4_mips64el.deb
 c55ddae2ba3109de43061d3873f6ece8e23adfdc8f3c1aaec8c1aac15b508ea1 32456 libz3-jni_4.4.1-0.4_mips64el.deb
 acccc6b849bc8860da8abe5e94ca29127525bd206af00c312483cd411771c5ba 227472 libz3-ocaml-dev-dbgsym_4.4.1-0.4_mips64el.deb
 5a377425f281ce24713981fa164431418af88a0fa34721ed25df94e46958bb3a 367992 libz3-ocaml-dev_4.4.1-0.4_mips64el.deb
 41d424b5bd4ab310b323775fbed980cb8dcbf928c50c6e2febd273a45790bc66 67000 python-z3_4.4.1-0.4_mips64el.deb
 b2a36819d3af7962b814ab0313706e0a36d07a1b23e0e36dfaaf4a66b135e85f 98180256 z3-dbgsym_4.4.1-0.4_mips64el.deb
 89173563eb0a5fa3f0210aca2960f11b0c4e58dbe39ca2791f078f864bdd84d6 4321824 z3_4.4.1-0.4_mips64el.deb
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
Installed-Build-Depends:
 adduser (= 3.117),
 adwaita-icon-theme (= 3.28.0-1),
 autoconf (= 2.69-11),
 automake (= 1:1.16.1-1.1),
 autopoint (= 0.19.8.1-7),
 autotools-dev (= 20180224.1),
 base-files (= 10.1),
 base-passwd (= 3.5.45),
 bash (= 4.4.18-3.1),
 binutils (= 2.31.1-5),
 binutils-common (= 2.31.1-5),
 binutils-mips64el-linux-gnuabi64 (= 2.31.1-5),
 bsdmainutils (= 11.1.2+b1),
 bsdutils (= 1:2.32.1-0.1),
 build-essential (= 12.5),
 bzip2 (= 1.0.6-9),
 ca-certificates (= 20180409),
 ca-certificates-java (= 20180516),
 coreutils (= 8.30-1),
 cpp (= 4:8.2.0-1),
 cpp-8 (= 8.2.0-5),
 dash (= 0.5.10.2-1),
 dbus (= 1.12.10-1),
 dbus-user-session (= 1.12.10-1),
 dconf-gsettings-backend (= 0.30.0-1),
 dconf-service (= 0.30.0-1),
 dctrl-tools (= 2.24-2+b1),
 debconf (= 1.5.69),
 debhelper (= 11.3.5),
 debianutils (= 4.8.6),
 default-jdk (= 2:1.10-68),
 default-jdk-headless (= 2:1.10-68),
 default-jre (= 2:1.10-68),
 default-jre-headless (= 2:1.10-68),
 devscripts (= 2.18.4),
 dh-autoreconf (= 19),
 dh-ocaml (= 1.1.0),
 dh-python (= 3.20180723),
 dh-strip-nondeterminism (= 0.042-1),
 diffutils (= 1:3.6-1),
 dmsetup (= 2:1.02.145-4.1),
 dpkg (= 1.19.0.5+b1),
 dpkg-dev (= 1.19.0.5),
 dwz (= 0.12-2),
 fdisk (= 2.32.1-0.1),
 file (= 1:5.34-2),
 findutils (= 4.6.0+git+20180808-2),
 fontconfig (= 2.13.0-5),
 fontconfig-config (= 2.13.0-5),
 fonts-dejavu-core (= 2.37-1),
 g++ (= 4:8.2.0-1),
 g++-8 (= 8.2.0-5),
 gcc (= 4:8.2.0-1),
 gcc-8 (= 8.2.0-5),
 gcc-8-base (= 8.2.0-5),
 gettext (= 0.19.8.1-7),
 gettext-base (= 0.19.8.1-7),
 glib-networking (= 2.58.0-1),
 glib-networking-common (= 2.58.0-1),
 glib-networking-services (= 2.58.0-1),
 grep (= 3.1-2),
 groff-base (= 1.22.3-10),
 gsettings-desktop-schemas (= 3.28.0-1),
 gtk-update-icon-cache (= 3.24.0-3),
 gzip (= 1.9-2),
 hicolor-icon-theme (= 0.17-2),
 hostname (= 3.20),
 init-system-helpers (= 1.54),
 intltool-debian (= 0.35.0+20060710.4),
 java-common (= 0.68),
 javahelper (= 0.64),
 libacl1 (= 2.2.52-3+b1),
 libapparmor1 (= 2.13-8),
 libarchive-zip-perl (= 1.63-1),
 libargon2-1 (= 0~20171227-0.1),
 libasound2 (= 1.1.6-1),
 libasound2-data (= 1.1.6-1),
 libatk-bridge2.0-0 (= 2.26.2-1),
 libatk-wrapper-java (= 0.33.3-21),
 libatk-wrapper-java-jni (= 0.33.3-21),
 libatk1.0-0 (= 2.30.0-1),
 libatk1.0-data (= 2.30.0-1),
 libatomic1 (= 8.2.0-5),
 libatspi2.0-0 (= 2.28.0-3),
 libattr1 (= 1:2.4.47-2+b2),
 libaudit-common (= 1:2.8.4-2),
 libaudit1 (= 1:2.8.4-2),
 libavahi-client3 (= 0.7-4),
 libavahi-common-data (= 0.7-4),
 libavahi-common3 (= 0.7-4),
 libbinutils (= 2.31.1-5),
 libblkid1 (= 2.32.1-0.1),
 libbsd0 (= 0.9.1-1),
 libbz2-1.0 (= 1.0.6-9),
 libc-bin (= 2.27-6),
 libc-dev-bin (= 2.27-6),
 libc6 (= 2.27-6),
 libc6-dev (= 2.27-6),
 libcairo-gobject2 (= 1.15.12-1),
 libcairo2 (= 1.15.12-1),
 libcap-ng0 (= 0.7.9-1),
 libcap2 (= 1:2.25-1.2),
 libcc1-0 (= 8.2.0-5),
 libcolord2 (= 1.3.3-2),
 libcom-err2 (= 1.44.4-2),
 libcroco3 (= 0.6.12-2),
 libcryptsetup12 (= 2:2.0.4-2),
 libcups2 (= 2.2.8-5),
 libdatrie1 (= 0.2.12-1),
 libdb5.3 (= 5.3.28+dfsg1-0.2),
 libdbus-1-3 (= 1.12.10-1),
 libdconf1 (= 0.30.0-1),
 libdebconfclient0 (= 0.244),
 libdevmapper1.02.1 (= 2:1.02.145-4.1),
 libdpkg-perl (= 1.19.0.5),
 libdrm-amdgpu1 (= 2.4.94-1),
 libdrm-common (= 2.4.94-1),
 libdrm-nouveau2 (= 2.4.94-1),
 libdrm-radeon1 (= 2.4.94-1),
 libdrm2 (= 2.4.94-1),
 libedit2 (= 3.1-20180525-1),
 libelf1 (= 0.170-0.5),
 libepoxy0 (= 1.4.3-1),
 libexpat1 (= 2.2.6-1),
 libfdisk1 (= 2.32.1-0.1),
 libffi6 (= 3.2.1-8),
 libfile-homedir-perl (= 1.004-1),
 libfile-stripnondeterminism-perl (= 0.042-1),
 libfile-which-perl (= 1.22-1),
 libfontconfig1 (= 2.13.0-5),
 libfontenc1 (= 1:1.1.3-1+b2),
 libfreetype6 (= 2.8.1-2),
 libfribidi0 (= 1.0.5-3),
 libgcc-8-dev (= 8.2.0-5),
 libgcc1 (= 1:8.2.0-5),
 libgcrypt20 (= 1.8.3-1),
 libgdbm-compat4 (= 1.14.1-6+b1),
 libgdbm5 (= 1.14.1-6+b1),
 libgdk-pixbuf2.0-0 (= 2.38.0+dfsg-4),
 libgdk-pixbuf2.0-common (= 2.38.0+dfsg-4),
 libgif7 (= 5.1.4-3),
 libgl1 (= 1.1.0-1),
 libgl1-mesa-dri (= 18.1.8-1),
 libgl1-mesa-glx (= 18.1.8-1),
 libglapi-mesa (= 18.1.8-1),
 libglib2.0-0 (= 2.58.0-3),
 libglvnd0 (= 1.1.0-1),
 libglx-mesa0 (= 18.1.8-1),
 libglx0 (= 1.1.0-1),
 libgmp10 (= 2:6.1.2+dfsg-3),
 libgnutls30 (= 3.5.19-1),
 libgomp1 (= 8.2.0-5),
 libgpg-error0 (= 1.32-1),
 libgraphite2-3 (= 1.3.12-1),
 libgssapi-krb5-2 (= 1.16-2),
 libgtk-3-0 (= 3.24.0-3),
 libgtk-3-common (= 3.24.0-3),
 libgtk2.0-0 (= 2.24.32-3),
 libgtk2.0-common (= 2.24.32-3),
 libharfbuzz0b (= 1.8.8-2),
 libhogweed4 (= 3.4-1),
 libice6 (= 2:1.0.9-2),
 libicu-le-hb0 (= 1.0.3+git161113-5),
 libicu60 (= 60.2-6),
 libidn11 (= 1.33-2.2),
 libidn2-0 (= 2.0.5-1),
 libip4tc0 (= 1.6.2-1.1),
 libisl19 (= 0.20-2),
 libjbig0 (= 2.1-3.1+b2),
 libjpeg62-turbo (= 1:1.5.2-2+b1),
 libjson-c3 (= 0.12.1-1.3),
 libjson-glib-1.0-0 (= 1.4.2-4),
 libjson-glib-1.0-common (= 1.4.2-4),
 libk5crypto3 (= 1.16-2),
 libkeyutils1 (= 1.5.9-9.3),
 libkmod2 (= 25-1),
 libkrb5-3 (= 1.16-2),
 libkrb5support0 (= 1.16-2),
 liblcms2-2 (= 2.9-3),
 libllvm6.0 (= 1:6.0.1-6),
 liblz4-1 (= 1.8.2-1),
 liblzma5 (= 5.2.2-1.3),
 libmagic-mgc (= 1:5.34-2),
 libmagic1 (= 1:5.34-2),
 libmount1 (= 2.32.1-0.1),
 libmpc3 (= 1.1.0-1),
 libmpdec2 (= 2.4.2-2),
 libmpfr6 (= 4.0.1-1),
 libncurses-dev (= 6.1+20180714-1),
 libncurses5-dev (= 6.1+20180714-1),
 libncurses6 (= 6.1+20180714-1),
 libncursesw6 (= 6.1+20180714-1),
 libnettle6 (= 3.4-1),
 libnspr4 (= 2:4.20-1),
 libnss3 (= 2:3.39-1),
 libp11-kit0 (= 0.23.14-2),
 libpam-modules (= 1.1.8-3.8),
 libpam-modules-bin (= 1.1.8-3.8),
 libpam-runtime (= 1.1.8-3.8),
 libpam-systemd (= 239-8),
 libpam0g (= 1.1.8-3.8),
 libpango-1.0-0 (= 1.42.4-3),
 libpangocairo-1.0-0 (= 1.42.4-3),
 libpangoft2-1.0-0 (= 1.42.4-3),
 libpcre3 (= 2:8.39-11),
 libpcsclite1 (= 1.8.23-3),
 libperl5.26 (= 5.26.2-7),
 libpipeline1 (= 1.5.0-1),
 libpixman-1-0 (= 0.34.0-2),
 libpng16-16 (= 1.6.34-2),
 libprocps7 (= 2:3.3.15-2),
 libproxy1v5 (= 0.4.15-1),
 libpsl5 (= 0.20.2-1),
 libpython-stdlib (= 2.7.15-3),
 libpython2-stdlib (= 2.7.15-3),
 libpython2.7-minimal (= 2.7.15-4),
 libpython2.7-stdlib (= 2.7.15-4),
 libpython3-stdlib (= 3.6.6-1),
 libpython3.6-minimal (= 3.6.6-4),
 libpython3.6-stdlib (= 3.6.6-4),
 libreadline7 (= 7.0-5),
 librest-0.7-0 (= 0.8.0-2),
 librsvg2-2 (= 2.40.20-3),
 librsvg2-common (= 2.40.20-3),
 libseccomp2 (= 2.3.3-3),
 libselinux1 (= 2.8-1+b1),
 libsemanage-common (= 2.8-1),
 libsemanage1 (= 2.8-1+b1),
 libsensors4 (= 1:3.4.0-4),
 libsepol1 (= 2.8-1),
 libsigsegv2 (= 2.12-2),
 libsm6 (= 2:1.2.2-1+b3),
 libsmartcols1 (= 2.32.1-0.1),
 libsoup-gnome2.4-1 (= 2.64.0-2),
 libsoup2.4-1 (= 2.64.0-2),
 libsqlite3-0 (= 3.24.0-1),
 libssl1.1 (= 1.1.1~~pre9-1),
 libstdc++-8-dev (= 8.2.0-5),
 libstdc++6 (= 8.2.0-5),
 libsystemd0 (= 239-8),
 libtasn1-6 (= 4.13-3),
 libthai-data (= 0.1.28-1),
 libthai0 (= 0.1.28-1),
 libtiff5 (= 4.0.9-6),
 libtimedate-perl (= 2.3000-2),
 libtinfo6 (= 6.1+20180714-1),
 libtool (= 2.4.6-4),
 libudev1 (= 239-8),
 libunistring2 (= 0.9.10-1),
 libuuid1 (= 2.32.1-0.1),
 libwayland-client0 (= 1.16.0-1),
 libwayland-cursor0 (= 1.16.0-1),
 libwayland-egl1 (= 1.16.0-1),
 libx11-6 (= 2:1.6.6-1),
 libx11-data (= 2:1.6.6-1),
 libx11-xcb1 (= 2:1.6.6-1),
 libxau6 (= 1:1.0.8-1+b2),
 libxaw7 (= 2:1.0.13-1+b2),
 libxcb-dri2-0 (= 1.13-3),
 libxcb-dri3-0 (= 1.13-3),
 libxcb-glx0 (= 1.13-3),
 libxcb-present0 (= 1.13-3),
 libxcb-render0 (= 1.13-3),
 libxcb-shape0 (= 1.13-3),
 libxcb-shm0 (= 1.13-3),
 libxcb-sync1 (= 1.13-3),
 libxcb-xfixes0 (= 1.13-3),
 libxcb1 (= 1.13-3),
 libxcomposite1 (= 1:0.4.4-2),
 libxcursor1 (= 1:1.1.15-1),
 libxdamage1 (= 1:1.1.4-3+b1),
 libxdmcp6 (= 1:1.1.2-3),
 libxext6 (= 2:1.3.3-1+b2),
 libxfixes3 (= 1:5.0.3-1),
 libxft2 (= 2.3.2-2),
 libxi6 (= 2:1.7.9-1),
 libxinerama1 (= 2:1.1.4-1),
 libxkbcommon0 (= 0.8.2-1),
 libxml2 (= 2.9.4+dfsg1-7+b1),
 libxmu6 (= 2:1.1.2-2),
 libxmuu1 (= 2:1.1.2-2),
 libxpm4 (= 1:3.5.12-1),
 libxrandr2 (= 2:1.5.1-1),
 libxrender1 (= 1:0.9.10-1),
 libxshmfence1 (= 1.3-1),
 libxt6 (= 1:1.1.5-1),
 libxtst6 (= 2:1.2.3-1),
 libxv1 (= 2:1.0.11-1),
 libxxf86dga1 (= 2:1.1.4-1+b3),
 libxxf86vm1 (= 1:1.1.4-1+b2),
 linux-libc-dev (= 4.18.6-1),
 login (= 1:4.5-1.1),
 lsb-base (= 9.20170808),
 m4 (= 1.4.18-1),
 make (= 4.2.1-1.2),
 man-db (= 2.8.4-2),
 mawk (= 1.3.3-17+b3),
 mime-support (= 3.61),
 mount (= 2.32.1-0.1),
 ncurses-base (= 6.1+20180714-1),
 ncurses-bin (= 6.1+20180714-1),
 ocaml-base-nox (= 4.05.0-10+b1),
 ocaml-compiler-libs (= 4.05.0-10+b1),
 ocaml-interp (= 4.05.0-10+b1),
 ocaml-nox (= 4.05.0-10+b1),
 openjdk-10-jdk (= 10.0.2+13-1),
 openjdk-10-jdk-headless (= 10.0.2+13-1),
 openjdk-10-jre (= 10.0.2+13-1),
 openjdk-10-jre-headless (= 10.0.2+13-1),
 openssl (= 1.1.1~~pre9-1),
 passwd (= 1:4.5-1.1),
 patch (= 2.7.6-3),
 perl (= 5.26.2-7),
 perl-base (= 5.26.2-7),
 perl-modules-5.26 (= 5.26.2-7),
 po-debconf (= 1.0.20),
 procps (= 2:3.3.15-2),
 python (= 2.7.15-3),
 python-minimal (= 2.7.15-3),
 python2 (= 2.7.15-3),
 python2-minimal (= 2.7.15-3),
 python2.7 (= 2.7.15-4),
 python2.7-minimal (= 2.7.15-4),
 python3 (= 3.6.6-1),
 python3-distutils (= 3.6.6-1),
 python3-lib2to3 (= 3.6.6-1),
 python3-minimal (= 3.6.6-1),
 python3.6 (= 3.6.6-4),
 python3.6-minimal (= 3.6.6-4),
 readline-common (= 7.0-5),
 sed (= 4.5-1),
 sensible-utils (= 0.0.12),
 shared-mime-info (= 1.9-2),
 systemd (= 239-8),
 systemd-sysv (= 239-8),
 sysvinit-utils (= 2.88dsf-59.10),
 tar (= 1.30+dfsg-2),
 ucf (= 3.0038),
 util-linux (= 2.32.1-0.1),
 x11-common (= 1:7.7+19),
 x11-utils (= 7.7+4),
 xkb-data (= 2.23.1-1),
 xz-utils (= 5.2.2-1.3),
 zlib1g (= 1:1.2.11.dfsg-1)
Environment:
 DEB_BUILD_OPTIONS="parallel=4"
 LC_ALL="POSIX"
 SOURCE_DATE_EPOCH="1536521312"

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEjDK6FYtKsZh7vfAcXSpwKOqSMnQFAluYXx8ACgkQXSpwKOqS
MnTWqBAAsse1mf88+GV5v91MY6J91NzRzrlfmYC2AbCJ2IPfJkMiZNZFT7UZrcPW
wGofrtbehAoyNurxPBkXElZQnnOWndy3dhbS/2nd5VLNG5fpj/GsJPMeBWG2OEPp
8ssPJSIqsfE9im3JhHOw+FxMeur5mPFEEZB/P99su81Gn7RpONHtyYk5tVkIYfa8
p0YBKVpBmqA9OaHYjsI3SbLqxyThrawSIb5gjJXe0Xb5hjX98xFOiE2ukqGLhXl3
fg9ggOFZ6GPuzlFPhYw8w744lplzZo+v2xh5gcKu9IE6Srogp93FDiAxHdJCK+QP
oTCSqr0PytPly+oudv9E4MUYGsg/n5yMKy0W9v/sFoOjDtD1TqVyI0Z1BreARzem
Kn555CZlQW7hUXz9/mW56Pq9KisDztmjTPlYzEqnZT6q7/WgMRsdfQg0effFXwCB
e8Zf1rtkqcFbDAG95YePSlw9Wmqh1FHA2yF62YMQbngGCw55azXJai6OrtnclW7s
DKK7t4PdJ3O5//hgmAJVjCb2g5SKcDIyomNq5pWCecP3wPJDflnYZdtNRjHJHVfE
7FKpiEgn2lrzXyBoFdHE0EoXUtiOlYcYZ4P0SeIuYuArqgUQAYWciVrDtCEXdWP6
XNwRzpfX+EOPbXuQrKt6T/UevtL+IdfHZUv910QRHJiOV68JOWI=
=oT2y
-----END PGP SIGNATURE-----