-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.0 Source: why3 Binary: why3 why3-coq libwhy3-ocaml-dev why3-examples why3-doc-html why3-doc-pdf Architecture: all i386 Version: 1.1.1-1 Checksums-Md5: d13f0bfd8451b61654a67a070f4695ff 490852 libwhy3-ocaml-dev-dbgsym_1.1.1-1_i386.deb d3325850b22cd299f7e52aaf6454a312 3530000 libwhy3-ocaml-dev_1.1.1-1_i386.deb b060ffc600b2706538a7434f7204d84d 587536 why3-coq_1.1.1-1_i386.deb 6b17d55cc14682c8fe52a4fb405c819c 5062228 why3-dbgsym_1.1.1-1_i386.deb ecd8543b3979318120ee04b4ad605e2a 355532 why3-doc-html_1.1.1-1_all.deb f4c2d002b6ace2ff411182a6f3953148 1149560 why3-doc-pdf_1.1.1-1_all.deb dddebf4826cb6d94466c069a95484cf6 2775128 why3-examples_1.1.1-1_all.deb 68725ace71aba59d0227caae0489179e 14690300 why3_1.1.1-1_i386.deb Checksums-Sha1: a552a8737fdb28f501867f7e189d90523ea3915d 490852 libwhy3-ocaml-dev-dbgsym_1.1.1-1_i386.deb 8c9145696c7e9510232f1ab233c3d6f7b2336aec 3530000 libwhy3-ocaml-dev_1.1.1-1_i386.deb ccd6cd5ab44f5fc4de2caf5f61ee0eb1b1e7d39f 587536 why3-coq_1.1.1-1_i386.deb 64c094fd49be4e5cf308e73c6037c08c0f4c59a0 5062228 why3-dbgsym_1.1.1-1_i386.deb ef99c17ea02815b96ce7db30c56f94b0fcae27d1 355532 why3-doc-html_1.1.1-1_all.deb 9dc5945e46f168638ff844ae06b10d1e4bf62e6f 1149560 why3-doc-pdf_1.1.1-1_all.deb 9b087263beb927e826f9461526790945c468dc8e 2775128 why3-examples_1.1.1-1_all.deb e89d122126ffb20e323de652005ce78348b9b298 14690300 why3_1.1.1-1_i386.deb Checksums-Sha256: 66907e321e8ef51c10cdaa9cb00f0fe98a1b862eaae4d68cf9ca9cc0f490b14b 490852 libwhy3-ocaml-dev-dbgsym_1.1.1-1_i386.deb a81675a2764212104c4ef3ca0adda88047959bcbc23c2735b5a94b529c29230a 3530000 libwhy3-ocaml-dev_1.1.1-1_i386.deb 4191c699619fa15e000090e447e44894de124e72461f174fc01e0e3b4f83ba02 587536 why3-coq_1.1.1-1_i386.deb 1f2db6144f6f03adea971d1f453343e5714f9d61f1e774bdd98f24f998cee086 5062228 why3-dbgsym_1.1.1-1_i386.deb 7fabaf10780412d70725bbdf457851e3657a6ba9e1355cd5aad9a5b63ec99998 355532 why3-doc-html_1.1.1-1_all.deb f90fb1a77e13c5163ad90023923f580c63cbd213dd23c15bdc3d24cac75775e2 1149560 why3-doc-pdf_1.1.1-1_all.deb 7e830fb6f85e023f10180903e408081fb787f0293ef1c57481f7e890122a5914 2775128 why3-examples_1.1.1-1_all.deb 70d7441070f69405ad1dffabc280152304bc34186e3afc7ebf2d3e73ea5e7763 14690300 why3_1.1.1-1_i386.deb Build-Origin: Debian Build-Architecture: i386 Build-Kernel-Version: 4.9.0-8-686-pae #1 SMP Debian 4.9.130-2 (2018-10-27) Build-Date: Sat, 22 Dec 2018 23:54:54 -1200 Build-Path: /build/why3-1.1.1 Installed-Build-Depends: adwaita-icon-theme (= 3.30.1-1), aspell (= 0.60.7~20110707-5), aspell-en (= 2018.04.16-0-1), autoconf (= 2.69-11), automake (= 1:1.16.1-4), autopoint (= 0.19.8.1-9), autotools-dev (= 20180224.1), base-files (= 10.1), base-passwd (= 3.5.45), bash (= 4.4.18-3.1), binutils (= 2.31.1-11), binutils-common (= 2.31.1-11), binutils-i686-linux-gnu (= 2.31.1-11), bsdmainutils (= 11.1.2+b1), bsdutils (= 1:2.33-0.2), build-essential (= 12.5), bzip2 (= 1.0.6-9), camlp5 (= 7.01-1+b1), coq (= 8.6-5), coq-theories (= 8.6-5), coreutils (= 8.30-1), cpp (= 4:8.2.0-2), cpp-8 (= 8.2.0-12), dash (= 0.5.10.2-4), debconf (= 1.5.69), debhelper (= 11.5.4), debianutils (= 4.8.6), dh-autoreconf (= 19), dh-ocaml (= 1.1.0), dh-strip-nondeterminism (= 1.0.0-1), dictionaries-common (= 1.28.1), diffutils (= 1:3.6-1), dpkg (= 1.19.2), dpkg-dev (= 1.19.2), dwz (= 0.12-3), emacsen-common (= 3.0.4), fdisk (= 2.33-0.2), file (= 1:5.34-2), findutils (= 4.6.0+git+20181018-1), fontconfig (= 2.13.1-2), fontconfig-config (= 2.13.1-2), fonts-dejavu-core (= 2.37-1), fonts-lmodern (= 2.004.5-5), g++ (= 4:8.2.0-2), g++-8 (= 8.2.0-12), gcc (= 4:8.2.0-2), gcc-8 (= 8.2.0-12), gcc-8-base (= 8.2.0-12), gettext (= 0.19.8.1-9), gettext-base (= 0.19.8.1-9), ghostscript (= 9.26~dfsg-1), gir1.2-atk-1.0 (= 2.30.0-1), gir1.2-freedesktop (= 1.58.2-1), gir1.2-gdkpixbuf-2.0 (= 2.38.0+dfsg-6), gir1.2-glib-2.0 (= 1.58.2-1), gir1.2-gtk-2.0 (= 2.24.32-3), gir1.2-harfbuzz-0.0 (= 2.3.0-1), gir1.2-pango-1.0 (= 1.42.4-5), grep (= 3.1-3), groff-base (= 1.22.3-10), gtk-update-icon-cache (= 3.24.2-3), gzip (= 1.9-2.1), hevea (= 2.32-2), hicolor-icon-theme (= 0.17-2), hostname (= 3.21), icu-devtools (= 63.1-5), init-system-helpers (= 1.56+nmu1), intltool-debian (= 0.35.0+20060710.4), libacl1 (= 2.2.52-3+b1), libarchive-zip-perl (= 1.64-1), libasan5 (= 8.2.0-12), libaspell15 (= 0.60.7~20110707-5), libatk1.0-0 (= 2.30.0-1), libatk1.0-data (= 2.30.0-1), libatk1.0-dev (= 2.30.0-1), libatomic1 (= 8.2.0-12), 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+b1), libavahi-common-data (= 0.7-4+b1), libavahi-common3 (= 0.7-4+b1), libbinutils (= 2.31.1-11), libblkid1 (= 2.33-0.2), libbrotli1 (= 1.0.7-1), libbsd0 (= 0.9.1-1), libbz2-1.0 (= 1.0.6-9), libc-bin (= 2.28-2), libc-dev-bin (= 2.28-2), libc6 (= 2.28-2), libc6-dev (= 2.28-2), libcairo-gobject2 (= 1.16.0-1), libcairo-script-interpreter2 (= 1.16.0-1), libcairo2 (= 1.16.0-1), libcairo2-dev (= 1.16.0-1), libcap-ng0 (= 0.7.9-1+b1), libcc1-0 (= 8.2.0-12), libcom-err2 (= 1.44.5-1), libcoq-ocaml (= 8.6-5), libcoq-ocaml-dev (= 8.6-5), libcroco3 (= 0.6.12-2), libcups2 (= 2.2.10-3), libcupsimage2 (= 2.2.10-3), libdatrie1 (= 0.2.12-1), libdb5.3 (= 5.3.28+dfsg1-0.2), libdbus-1-3 (= 1.12.12-1), libdebconfclient0 (= 0.245), libdpkg-perl (= 1.19.2), libelf1 (= 0.170-0.5), libenchant-dev (= 1.6.0-11.1+b1), libenchant1c2a (= 1.6.0-11.1+b1), libexpat1 (= 2.2.6-1), libexpat1-dev (= 2.2.6-1), libfdisk1 (= 2.33-0.2), libffi6 (= 3.2.1-9), libfile-stripnondeterminism-perl (= 1.0.0-1), libfindlib-ocaml (= 1.7.3-2+b1), libfontconfig1 (= 2.13.1-2), libfontconfig1-dev (= 2.13.1-2), libfontenc1 (= 1:1.1.3-1+b2), libfreetype6 (= 2.9.1-3), libfreetype6-dev (= 2.9.1-3), libfribidi-dev (= 1.0.5-3), libfribidi0 (= 1.0.5-3), libgcc-8-dev (= 8.2.0-12), libgcc1 (= 1:8.2.0-12), libgcrypt20 (= 1.8.4-4), libgdbm-compat4 (= 1.18.1-2), libgdbm6 (= 1.18.1-2), libgdk-pixbuf2.0-0 (= 2.38.0+dfsg-6), libgdk-pixbuf2.0-bin (= 2.38.0+dfsg-6), libgdk-pixbuf2.0-common (= 2.38.0+dfsg-6), libgdk-pixbuf2.0-dev (= 2.38.0+dfsg-6), libgirepository-1.0-1 (= 1.58.2-1), libglade2-0 (= 1:2.6.4-2+b1), libglade2-dev (= 1:2.6.4-2+b1), libglib2.0-0 (= 2.58.1-2), libglib2.0-bin (= 2.58.1-2), libglib2.0-data (= 2.58.1-2), libglib2.0-dev (= 2.58.1-2), libglib2.0-dev-bin (= 2.58.1-2), libgmp-dev (= 2:6.1.2+dfsg-4), libgmp10 (= 2:6.1.2+dfsg-4), libgmp3-dev (= 2:6.1.2+dfsg-4), libgmpxx4ldbl (= 2:6.1.2+dfsg-4), libgnutls30 (= 3.5.19-1+b1), libgomp1 (= 8.2.0-12), libgpg-error0 (= 1.33-3), libgraphite2-3 (= 1.3.12-1), libgraphite2-dev (= 1.3.12-1), libgs9 (= 9.26~dfsg-1), libgs9-common (= 9.26~dfsg-1), libgssapi-krb5-2 (= 1.16.1-1), libgtk2.0-0 (= 2.24.32-3), libgtk2.0-common (= 2.24.32-3), libgtk2.0-dev (= 2.24.32-3), libgtksourceview2.0-0 (= 2.10.5-3), libgtksourceview2.0-common (= 2.10.5-3), libgtksourceview2.0-dev (= 2.10.5-3), libgtkspell-dev (= 2.0.16-1.2), libgtkspell0 (= 2.0.16-1.2), libharfbuzz-dev (= 2.3.0-1), libharfbuzz-gobject0 (= 2.3.0-1), libharfbuzz-icu0 (= 2.3.0-1), libharfbuzz0b (= 2.3.0-1), libhogweed4 (= 3.4.1~rc1-1), libhunspell-1.7-0 (= 1.7.0-2), libice-dev (= 2:1.0.9-2), libice6 (= 2:1.0.9-2), libicu-dev (= 63.1-5), libicu63 (= 63.1-5), libidn11 (= 1.33-2.2), libidn2-0 (= 2.0.5-1), libijs-0.35 (= 0.35-13), libisl19 (= 0.20-2), libitm1 (= 8.2.0-12), libjbig0 (= 2.1-3.1+b2), libjbig2dec0 (= 0.15-2), libjpeg62-turbo (= 1:1.5.2-2+b1), libk5crypto3 (= 1.16.1-1), libkeyutils1 (= 1.5.9-9.3), libkpathsea6 (= 2018.20181218.49446-1), libkrb5-3 (= 1.16.1-1), libkrb5support0 (= 1.16.1-1), liblablgtk2-ocaml (= 2.18.5+dfsg-2), liblablgtk2-ocaml-dev (= 2.18.5+dfsg-2), liblablgtksourceview2-ocaml (= 2.18.5+dfsg-1+b1), liblablgtksourceview2-ocaml-dev (= 2.18.5+dfsg-1+b1), liblcms2-2 (= 2.9-3), liblz4-1 (= 1.8.2-1), liblzma5 (= 5.2.2-1.3), liblzo2-2 (= 2.10-0.1), libmagic-mgc (= 1:5.34-2), libmagic1 (= 1:5.34-2), libmenhir-ocaml-dev (= 20181113-1), libmount1 (= 2.33-0.2), libmpc3 (= 1.1.0-1), libmpdec2 (= 2.4.2-2), libmpfr6 (= 4.0.1-2), libmpx2 (= 8.2.0-12), libncurses-dev (= 6.1+20181013-1), libncurses5-dev (= 6.1+20181013-1), libncurses6 (= 6.1+20181013-1), libncursesw6 (= 6.1+20181013-1), libnetpbm10 (= 2:10.0-15.3+b2), libnettle6 (= 3.4.1~rc1-1), libocamlgraph-ocaml-dev (= 1.8.6-1+b5), libopenjp2-7 (= 2.3.0-1.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), libpam0g (= 1.1.8-3.8), libpango-1.0-0 (= 1.42.4-5), libpango1.0-dev (= 1.42.4-5), libpangocairo-1.0-0 (= 1.42.4-5), libpangoft2-1.0-0 (= 1.42.4-5), libpangoxft-1.0-0 (= 1.42.4-5), libpaper-utils (= 1.1.26), libpaper1 (= 1.1.26), libpcre16-3 (= 2:8.39-11), libpcre3 (= 2:8.39-11), libpcre3-dev (= 2:8.39-11), libpcre32-3 (= 2:8.39-11), libpcrecpp0v5 (= 2:8.39-11), libperl5.28 (= 5.28.1-3), libpipeline1 (= 1.5.0-2), libpixman-1-0 (= 0.36.0-1), libpixman-1-dev (= 0.36.0-1), libpng-dev (= 1.6.34-2), libpng16-16 (= 1.6.34-2), libpotrace0 (= 1.15-1), libptexenc1 (= 2018.20181218.49446-1), libpthread-stubs0-dev (= 0.3-4), libpython-stdlib (= 2.7.15-3), libpython2-stdlib (= 2.7.15-3), libpython2.7-minimal (= 2.7.15-5), libpython2.7-stdlib (= 2.7.15-5), libpython3-stdlib (= 3.7.1-2), libpython3.7-minimal (= 3.7.2~rc1-1), libpython3.7-stdlib (= 3.7.2~rc1-1), libquadmath0 (= 8.2.0-12), libreadline7 (= 7.0-5), librsvg2-2 (= 2.44.10-1), librsvg2-common (= 2.44.10-1), libseccomp2 (= 2.3.3-3), libselinux1 (= 2.8-1+b1), libsigsegv2 (= 2.12-2), libsm-dev (= 2:1.2.2-1+b3), libsm6 (= 2:1.2.2-1+b3), libsmartcols1 (= 2.33-0.2), libsqlite3-0 (= 3.26.0-3), libsqlite3-dev (= 3.26.0-3), libsqlite3-ocaml (= 4.0.5-2+b1), libsqlite3-ocaml-dev (= 4.0.5-2+b1), libssl1.1 (= 1.1.1a-1), libstdc++-8-dev (= 8.2.0-12), libstdc++6 (= 8.2.0-12), libsynctex2 (= 2018.20181218.49446-1), libsystemd0 (= 239-15), libtasn1-6 (= 4.13-3), libteckit0 (= 2.5.8+ds2-5), libtexlua52 (= 2018.20181218.49446-1), libtexlua53 (= 2018.20181218.49446-1), libtexluajit2 (= 2018.20181218.49446-1), libtext-iconv-perl (= 1.7-5+b7), libthai-data (= 0.1.28-1), libthai0 (= 0.1.28-1), libtiff5 (= 4.0.10-3), libtinfo6 (= 6.1+20181013-1), libtool (= 2.4.6-6), libubsan1 (= 8.2.0-12), libudev1 (= 239-15), libunistring2 (= 0.9.10-1), libuuid1 (= 2.33-0.2), libwebp6 (= 0.6.1-2), libwoff1 (= 1.0.2-1), libx11-6 (= 2:1.6.7-1), libx11-data (= 2:1.6.7-1), libx11-dev (= 2:1.6.7-1), libxau-dev (= 1:1.0.8-1+b2), libxau6 (= 1:1.0.8-1+b2), libxaw7 (= 2:1.0.13-1+b2), libxcb-render0 (= 1.13.1-2), libxcb-render0-dev (= 1.13.1-2), libxcb-shm0 (= 1.13.1-2), libxcb-shm0-dev (= 1.13.1-2), libxcb1 (= 1.13.1-2), libxcb1-dev (= 1.13.1-2), libxcomposite-dev (= 1:0.4.4-2), libxcomposite1 (= 1:0.4.4-2), libxcursor-dev (= 1:1.1.15-2), libxcursor1 (= 1:1.1.15-2), libxdamage-dev (= 1:1.1.4-3), libxdamage1 (= 1:1.1.4-3), libxdmcp-dev (= 1:1.1.2-3), libxdmcp6 (= 1:1.1.2-3), libxext-dev (= 2:1.3.3-1+b2), libxext6 (= 2:1.3.3-1+b2), libxfixes-dev (= 1:5.0.3-1), libxfixes3 (= 1:5.0.3-1), libxft-dev (= 2.3.2-2), libxft2 (= 2.3.2-2), libxi-dev (= 2:1.7.9-1), libxi6 (= 2:1.7.9-1), libxinerama-dev (= 2:1.1.4-1), libxinerama1 (= 2:1.1.4-1), libxml2 (= 2.9.4+dfsg1-7+b3), libxml2-dev (= 2.9.4+dfsg1-7+b3), libxml2-utils (= 2.9.4+dfsg1-7+b3), libxmu6 (= 2:1.1.2-2), libxpm4 (= 1:3.5.12-1), libxrandr-dev (= 2:1.5.1-1), libxrandr2 (= 2:1.5.1-1), libxrender-dev (= 1:0.9.10-1), libxrender1 (= 1:0.9.10-1), libxt6 (= 1:1.1.5-1), libxxhash0 (= 0.6.5-2), libzarith-ocaml (= 1.7-1), libzarith-ocaml-dev (= 1.7-1), libzip-ocaml (= 1.07-2), libzip-ocaml-dev (= 1.07-2), libzstd1 (= 1.3.5+dfsg-1), libzzip-0-13 (= 0.13.62-3.1), linux-libc-dev (= 4.18.20-2), lmodern (= 2.004.5-5), login (= 1:4.5-1.1), lsb-base (= 10.2018112800), m4 (= 1.4.18-2), make (= 4.2.1-1.2), man-db (= 2.8.4-3), mawk (= 1.3.3-17+b3), menhir (= 20181113-1), mime-support (= 3.61), ncurses-base (= 6.1+20181013-1), ncurses-bin (= 6.1+20181013-1), netpbm (= 2:10.0-15.3+b2), ocaml-base-nox (= 4.05.0-10+b1), ocaml-compiler-libs (= 4.05.0-10+b1), ocaml-findlib (= 1.7.3-2+b1), ocaml-interp (= 4.05.0-10+b1), ocaml-nox (= 4.05.0-10+b1), pango1.0-tools (= 1.42.4-5), patch (= 2.7.6-3), perl (= 5.28.1-3), perl-base (= 5.28.1-3), perl-modules-5.28 (= 5.28.1-3), pkg-config (= 0.29-4+b1), po-debconf (= 1.0.21), poppler-data (= 0.4.9-2), preview-latex-style (= 11.91-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-5), python2.7-minimal (= 2.7.15-5), python3 (= 3.7.1-2), python3-distutils (= 3.7.1-1), python3-lib2to3 (= 3.7.1-1), python3-minimal (= 3.7.1-2), python3.7 (= 3.7.2~rc1-1), python3.7-minimal (= 3.7.2~rc1-1), readline-common (= 7.0-5), rubber (= 1.5.1-1), sed (= 4.5-2), sensible-utils (= 0.0.12), shared-mime-info (= 1.10-1), sysvinit-utils (= 2.93-1), t1utils (= 1.41-2), tar (= 1.30+dfsg-3), tex-common (= 6.10), texlive-base (= 2018.20181214-1), texlive-bibtex-extra (= 2018.20181214-1), texlive-binaries (= 2018.20181218.49446-1), texlive-fonts-recommended (= 2018.20181214-1), texlive-latex-base (= 2018.20181214-1), texlive-latex-extra (= 2018.20181214-1), texlive-latex-recommended (= 2018.20181214-1), texlive-pictures (= 2018.20181214-1), texlive-plain-generic (= 2018.20181214-1), ucf (= 3.0038), util-linux (= 2.33-0.2), uuid-dev (= 2.33-0.2), x11-common (= 1:7.7+19), x11proto-composite-dev (= 1:2018.4-4), x11proto-core-dev (= 2018.4-4), x11proto-damage-dev (= 1:2018.4-4), x11proto-dev (= 2018.4-4), x11proto-fixes-dev (= 1:2018.4-4), x11proto-input-dev (= 2018.4-4), x11proto-randr-dev (= 2018.4-4), x11proto-xext-dev (= 2018.4-4), x11proto-xinerama-dev (= 2018.4-4), xdg-utils (= 1.1.3-1), xfonts-encodings (= 1:1.0.4-2), xfonts-utils (= 1:7.7+6), xorg-sgml-doctools (= 1:1.11-1), xtrans-dev (= 1.3.5-1), xz-utils (= 5.2.2-1.3), zlib1g (= 1:1.2.11.dfsg-1), zlib1g-dev (= 1:1.2.11.dfsg-1) Environment: DEB_BUILD_OPTIONS="buildinfo=+all reproducible=+all parallel=10" LANG="C" LC_ALL="C" LD_LIBRARY_PATH="/usr/lib/libeatmydata" SOURCE_DATE_EPOCH="1545105038" -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEyBNBZIiaDijOgRyEprWat81p1KwFAlwfd7sACgkQprWat81p 1KzseRAAo1zWf1TadcbltA94cxIUcrPGb05njjT6Zw4Brgv4VnRyULkpL9+IaFHD /YsikTIQUaScVmJgVANH0RSRuKB7yJGas0noiYwNg3FFB1qUnMXeDoxcqOVCwfUo SiRrc04+G3A89RDhu+MXDR7WdxGeWYAx6IcmWDa3KkJnDtbxqPHxNEyzpcBy2TDH /Qh/QPuxeqhTWDfMYE/LwSLhjlR5YKfmcK1XNWX0OSKKn6yXH6SEKgTUvMIu3DbF 5LuphIIGA/yeIYr42m4FZ0dYQG2jj7aW+3Onhik0AXxjFu1ppOtcr0EKfCz6iLfp QBj1zuIXEpNyYghcoATY0ZIoxbYgbZXEbgtNYUb7AWLWDtsEviOkQCvNQgo6LDfz xlm/tClacy239L0oAL4HaR19Ifiek5Q3Ojx5zrnxFRajOA2YPxoWsjuipl1hbxjm dkeT98mHN0DGAyn7d8F+45ILk7i9A4Gjk8TkSKmBJ5hoY3xXOgKbr57hECKbpYy2 sxBbEVc0nNGuy1Sio7LjAQ5MFqvR/e2m/erths4mVHGkT05A7B22GeuU8wSMUR0F V8scBPwwdRXi9k4LJ3Js7YTAXi+4xayjWQiJj6oH5S94jTPiX1K8nUc3qMF3uwwt 1+gzjOZusO1znkvqBZymebHmXoARttBae4qiWZSNYdnfWabY2Ts= =f5K4 -----END PGP SIGNATURE-----