-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.0 Source: coq (8.9.1-2) Binary: coq coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: armhf Version: 8.9.1-2+b2 Binary-Only-Changes: coq (8.9.1-2+b2) sid; urgency=low, binary-only=yes . * Binary-only non-maintainer upload for armhf; no source changes. * Rebuild with new camlp5 . -- armel Build Daemon (hasse) Mon, 30 Dec 2019 04:43:53 +0000 Checksums-Md5: 8154ef6466e7130de745bac1bf15cb10 3373108 coq-dbgsym_8.9.1-2+b2_armhf.deb b9dd8b75ba3b5e7745459e7ba251e7e3 20364404 coq-theories_8.9.1-2+b2_armhf.deb 40a7afe76c7cfc232ae9eb58b052a8f1 60857600 coq_8.9.1-2+b2_armhf.deb e2b4469702aa640d14d4fbcf074236c3 498216 libcoq-ocaml-dbgsym_8.9.1-2+b2_armhf.deb d433e0440adaad09dbd60cb8e94c714c 14774972 libcoq-ocaml-dev_8.9.1-2+b2_armhf.deb 26490a7c1bc20fe58bc34cf95b516b19 5609368 libcoq-ocaml_8.9.1-2+b2_armhf.deb Checksums-Sha1: 06382f23d0e2b6e1fdaf128ea069d4e0786fdb25 3373108 coq-dbgsym_8.9.1-2+b2_armhf.deb 89be3bbd080834ed41e2f11554708f3863b65233 20364404 coq-theories_8.9.1-2+b2_armhf.deb da7de9acd8275e4c08188d1a246f108910e602b9 60857600 coq_8.9.1-2+b2_armhf.deb b087f1c999ccca39937f88c15b6e2dd1e6e79f93 498216 libcoq-ocaml-dbgsym_8.9.1-2+b2_armhf.deb 0786a4979eed548c92c6da094c3ab4c3f8222909 14774972 libcoq-ocaml-dev_8.9.1-2+b2_armhf.deb 5515b9c9ad5038b64856ccd87ebceac37bd8c06d 5609368 libcoq-ocaml_8.9.1-2+b2_armhf.deb Checksums-Sha256: cce329eba237ed040d70382877b52fd627f6873d431ee0f78b8507c6ce1d0ace 3373108 coq-dbgsym_8.9.1-2+b2_armhf.deb 8c4081ec7a56b1f3ee73f113b3df067a932de66debd42ca735b394b2dd611cf8 20364404 coq-theories_8.9.1-2+b2_armhf.deb ffac87ad0308234eed45c6d0eb37012d57f930cb64d28a41b1d5bd16b30293f8 60857600 coq_8.9.1-2+b2_armhf.deb 72628bb073b7b6ce689ef036658b0055746b94c37f1165fea98192608643b7e9 498216 libcoq-ocaml-dbgsym_8.9.1-2+b2_armhf.deb 0bc8a061c722c235401f73edd9201b69b4dcee1217c6e2c56c68359d4ebbc701 14774972 libcoq-ocaml-dev_8.9.1-2+b2_armhf.deb efd75d855cd34264073b76b706d2692c12be3ff1953f891526a4228f2f2e60aa 5609368 libcoq-ocaml_8.9.1-2+b2_armhf.deb Build-Origin: Debian Build-Architecture: armhf Build-Date: Mon, 30 Dec 2019 06:10:35 +0000 Build-Path: /build/coq-xfci5d/coq-8.9.1 Build-Tainted-By: usr-local-has-programs Installed-Build-Depends: adwaita-icon-theme (= 3.34.0-2), autoconf (= 2.69-11), automake (= 1:1.16.1-4), autopoint (= 0.19.8.1-10), autotools-dev (= 20180224.1), base-files (= 11), base-passwd (= 3.5.47), bash (= 5.0-5), binutils (= 2.33.1-6), binutils-arm-linux-gnueabihf (= 2.33.1-6), binutils-common (= 2.33.1-6), bsdmainutils (= 11.1.2+b1), bsdutils (= 1:2.34-0.1), build-essential (= 12.8), bzip2 (= 1.0.8-2), camlp5 (= 7.10-1), coreutils (= 8.30-3), cpp (= 4:9.2.1-3.1), cpp-9 (= 9.2.1-21), dash (= 0.5.10.2-6), debconf (= 1.5.73), debhelper (= 12.7.3), debianutils (= 4.9.1), dh-autoreconf (= 19), dh-exec (= 0.23.2), dh-ocaml (= 1.1.0), dh-python (= 4.20191017), dh-strip-nondeterminism (= 1.6.3-1), dictionaries-common (= 1.28.1), diffutils (= 1:3.7-3), dpkg (= 1.19.7), dpkg-dev (= 1.19.7), dwz (= 0.13-5), emacsen-common (= 3.0.4), fdisk (= 2.34-0.1), file (= 1:5.37-6), findutils (= 4.7.0-1), fontconfig (= 2.13.1-2+b1), fontconfig-config (= 2.13.1-2), fonts-dejavu-core (= 2.37-1), fonts-lmodern (= 2.004.5-6), fonts-urw-base35 (= 20170801.1-3), g++ (= 4:9.2.1-3.1), g++-9 (= 9.2.1-21), gcc (= 4:9.2.1-3.1), gcc-9 (= 9.2.1-21), gcc-9-base (= 9.2.1-21), gettext (= 0.19.8.1-10), gettext-base (= 0.19.8.1-10), ghostscript (= 9.50~dfsg-5), gir1.2-atk-1.0 (= 2.34.1-1), gir1.2-freedesktop (= 1.62.0-2), gir1.2-gdkpixbuf-2.0 (= 2.40.0+dfsg-2), gir1.2-glib-2.0 (= 1.62.0-2), gir1.2-gtk-2.0 (= 2.24.32-4), gir1.2-harfbuzz-0.0 (= 2.6.4-1), gir1.2-pango-1.0 (= 1.42.4-8), grep (= 3.3-1), groff-base (= 1.22.4-4), gtk-update-icon-cache (= 3.24.13-1), gzip (= 1.9-3), hevea (= 2.32-3), hicolor-icon-theme (= 0.17-2), hostname (= 3.23), hunspell-en-us (= 1:2018.04.16-1), icu-devtools (= 63.2-2), init-system-helpers (= 1.57), intltool-debian (= 0.35.0+20060710.5), libacl1 (= 2.2.53-5), libarchive-zip-perl (= 1.67-1), libasan5 (= 9.2.1-21), libaspell15 (= 0.60.8-1), libatk1.0-0 (= 2.34.1-1), libatk1.0-data (= 2.34.1-1), libatk1.0-dev (= 2.34.1-1), libatomic1 (= 9.2.1-21), libattr1 (= 1:2.4.48-5), libaudit-common (= 1:2.8.5-2), libaudit1 (= 1:2.8.5-2+b1), libavahi-client3 (= 0.7-5), libavahi-common-data (= 0.7-5), libavahi-common3 (= 0.7-5), libbinutils (= 2.33.1-6), libblkid-dev (= 2.34-0.1), libblkid1 (= 2.34-0.1), libbsd0 (= 0.10.0-1), libbz2-1.0 (= 1.0.8-2), libc-bin (= 2.29-6), libc-dev-bin (= 2.29-6), libc6 (= 2.29-6), libc6-dev (= 2.29-6), libcairo-gobject2 (= 1.16.0-4), libcairo-script-interpreter2 (= 1.16.0-4), libcairo2 (= 1.16.0-4), libcairo2-dev (= 1.16.0-4), libcap-ng0 (= 0.7.9-2.1+b1), libcc1-0 (= 9.2.1-21), libcom-err2 (= 1.45.4-1), libcroco3 (= 0.6.13-1), libcrypt1 (= 1:4.4.10-7), libcrypt1-dev (= 1:4.4.10-7), libcups2 (= 2.3.1-1), libdatrie1 (= 0.2.12-3), libdb5.3 (= 5.3.28+dfsg1-0.6), libdbus-1-3 (= 1.12.16-2), libdebconfclient0 (= 0.250), libdebhelper-perl (= 12.7.3), libdpkg-perl (= 1.19.7), libelf1 (= 0.176-1.1), libenchant-dev (= 1.6.0-11.3), libenchant1c2a (= 1.6.0-11.3), libexpat1 (= 2.2.9-1), libexpat1-dev (= 2.2.9-1), libfdisk1 (= 2.34-0.1), libffi-dev (= 3.2.1-9), libffi6 (= 3.2.1-9), libfile-stripnondeterminism-perl (= 1.6.3-1), libfindlib-ocaml (= 1.8.1-1+b1), libfontconfig1 (= 2.13.1-2+b1), libfontconfig1-dev (= 2.13.1-2+b1), libfreetype-dev (= 2.10.1-2), libfreetype6 (= 2.10.1-2), libfreetype6-dev (= 2.10.1-2), libfribidi-dev (= 1.0.8-2), libfribidi0 (= 1.0.8-2), libgcc-9-dev (= 9.2.1-21), libgcc1 (= 1:9.2.1-21), libgcrypt20 (= 1.8.5-3), libgdbm-compat4 (= 1.18.1-5), libgdbm6 (= 1.18.1-5), libgdk-pixbuf2.0-0 (= 2.40.0+dfsg-2), libgdk-pixbuf2.0-bin (= 2.40.0+dfsg-2), libgdk-pixbuf2.0-common (= 2.40.0+dfsg-2), libgdk-pixbuf2.0-dev (= 2.40.0+dfsg-2), libgirepository-1.0-1 (= 1.62.0-2), libglade2-0 (= 1:2.6.4-2+b1), libglade2-dev (= 1:2.6.4-2+b1), libglib2.0-0 (= 2.62.3-2), libglib2.0-bin (= 2.62.3-2), libglib2.0-data (= 2.62.3-2), libglib2.0-dev (= 2.62.3-2), libglib2.0-dev-bin (= 2.62.3-2), libgmp10 (= 2:6.1.2+dfsg-4), libgnutls30 (= 3.6.11.1-2), libgomp1 (= 9.2.1-21), libgpg-error0 (= 1.36-7), libgraphite2-3 (= 1.3.13-11), libgraphite2-dev (= 1.3.13-11), libgs9 (= 9.50~dfsg-5), libgs9-common (= 9.50~dfsg-5), libgssapi-krb5-2 (= 1.17-6), libgtk2.0-0 (= 2.24.32-4), libgtk2.0-common (= 2.24.32-4), libgtk2.0-dev (= 2.24.32-4), 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+b1), libgtkspell0 (= 2.0.16-1.2+b1), libharfbuzz-dev (= 2.6.4-1), libharfbuzz-gobject0 (= 2.6.4-1), libharfbuzz-icu0 (= 2.6.4-1), libharfbuzz0b (= 2.6.4-1), libhogweed5 (= 3.5.1+really3.5.1-2), libhunspell-1.7-0 (= 1.7.0-2+b1), libice-dev (= 2:1.0.9-2), libice6 (= 2:1.0.9-2), libicu-dev (= 63.2-2), libicu63 (= 63.2-2), libidn11 (= 1.33-2.2), libidn2-0 (= 2.2.0-2), libijs-0.35 (= 0.35-15), libisl22 (= 0.22-2), libjbig0 (= 2.1-3.1+b2), libjbig2dec0 (= 0.17-1), libjpeg62-turbo (= 1:1.5.2-2+b1), libk5crypto3 (= 1.17-6), libkeyutils1 (= 1.6-6), libkpathsea6 (= 2019.20190605.51237-3), libkrb5-3 (= 1.17-6), libkrb5support0 (= 1.17-6), liblablgtk2-ocaml (= 2.18.8+dfsg-1+b1), liblablgtk2-ocaml-dev (= 2.18.8+dfsg-1+b1), liblablgtksourceview2-ocaml (= 2.18.8+dfsg-1+b1), liblablgtksourceview2-ocaml-dev (= 2.18.8+dfsg-1+b1), liblcms2-2 (= 2.9-4), liblz4-1 (= 1.9.2-2), liblzma5 (= 5.2.4-1+b1), liblzo2-2 (= 2.10-0.1), libmagic-mgc (= 1:5.37-6), libmagic1 (= 1:5.37-6), libmount-dev (= 2.34-0.1), libmount1 (= 2.34-0.1), libmpc3 (= 1.1.0-1), libmpdec2 (= 2.4.2-2), libmpfr6 (= 4.0.2-1), libncurses-dev (= 6.1+20191019-1), libncurses5-dev (= 6.1+20191019-1), libncurses6 (= 6.1+20191019-1), libncursesw6 (= 6.1+20191019-1), libnetpbm10 (= 2:10.0-15.3+b2), libnettle7 (= 3.5.1+really3.5.1-2), libnum-ocaml (= 1.3-1), libnum-ocaml-dev (= 1.3-1), libopenjp2-7 (= 2.3.1-1), libounit-ocaml-dev (= 2.0.8-2+b1), libp11-kit0 (= 0.23.18.1-2), libpam-modules (= 1.3.1-5), libpam-modules-bin (= 1.3.1-5), libpam-runtime (= 1.3.1-5), libpam0g (= 1.3.1-5), libpango-1.0-0 (= 1.42.4-8), libpango1.0-dev (= 1.42.4-8), libpangocairo-1.0-0 (= 1.42.4-8), libpangoft2-1.0-0 (= 1.42.4-8), libpangoxft-1.0-0 (= 1.42.4-8), libpaper-utils (= 1.1.28+b1), libpaper1 (= 1.1.28+b1), libpcre16-3 (= 2:8.39-12+b1), libpcre2-16-0 (= 10.34-7), libpcre2-32-0 (= 10.34-7), libpcre2-8-0 (= 10.34-7), libpcre2-dev (= 10.34-7), libpcre2-posix2 (= 10.34-7), libpcre3 (= 2:8.39-12+b1), libpcre3-dev (= 2:8.39-12+b1), libpcre32-3 (= 2:8.39-12+b1), libpcrecpp0v5 (= 2:8.39-12+b1), libperl5.30 (= 5.30.0-9), libpipeline1 (= 1.5.1-3), libpixman-1-0 (= 0.36.0-1), libpixman-1-dev (= 0.36.0-1), libpng-dev (= 1.6.37-1), libpng16-16 (= 1.6.37-1), libpopt0 (= 1.16-14), libptexenc1 (= 2019.20190605.51237-3), libpthread-stubs0-dev (= 0.4-1), libpython-stdlib (= 2.7.17-2), libpython2-stdlib (= 2.7.17-2), libpython2.7-minimal (= 2.7.17-1), libpython2.7-stdlib (= 2.7.17-1), libpython3-stdlib (= 3.7.5-3), libpython3.7-minimal (= 3.7.6-1), libpython3.7-stdlib (= 3.7.6-1), libreadline8 (= 8.0-3), librsvg2-2 (= 2.46.4-1), librsvg2-common (= 2.46.4-1), libseccomp2 (= 2.4.2-2), libselinux1 (= 3.0-1), libselinux1-dev (= 3.0-1), libsepol1 (= 3.0-1), libsepol1-dev (= 3.0-1), libsigsegv2 (= 2.12-2), libsm-dev (= 2:1.2.3-1), libsm6 (= 2:1.2.3-1), libsmartcols1 (= 2.34-0.1), libsqlite3-0 (= 3.30.1+fossil191229-1), libssl1.1 (= 1.1.1d-2), libstdc++-9-dev (= 9.2.1-21), libstdc++6 (= 9.2.1-21), libsub-override-perl (= 0.09-2), libsynctex2 (= 2019.20190605.51237-3), libsystemd0 (= 244-3), libtasn1-6 (= 4.15.0-2), libteckit0 (= 2.5.8+ds2-5), libtexlua53 (= 2019.20190605.51237-3), libtexluajit2 (= 2019.20190605.51237-3), libtext-iconv-perl (= 1.7-7), libthai-data (= 0.1.28-3), libthai0 (= 0.1.28-3), libtiff5 (= 4.1.0+git191117-1), libtinfo6 (= 6.1+20191019-1), libtool (= 2.4.6-11), libubsan1 (= 9.2.1-21), libuchardet0 (= 0.0.6-3), libudev1 (= 244-3), libunistring2 (= 0.9.10-2), libuuid1 (= 2.34-0.1), libwebp6 (= 0.6.1-2+b1), libx11-6 (= 2:1.6.8-1), libx11-data (= 2:1.6.8-1), libx11-dev (= 2:1.6.8-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.2.0-2), libxcursor1 (= 1:1.2.0-2), libxdamage-dev (= 1:1.1.5-1), libxdamage1 (= 1:1.1.5-1), 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-2), libxinerama1 (= 2:1.1.4-2), libxml2 (= 2.9.4+dfsg1-8), libxml2-dev (= 2.9.4+dfsg1-8), libxml2-utils (= 2.9.4+dfsg1-8), libxmu6 (= 2:1.1.2-2+b3), 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+b3), libzstd1 (= 1.4.4+dfsg-1), libzzip-0-13 (= 0.13.62-3.2), linux-libc-dev (= 5.3.15-1), login (= 1:4.8-1), lsb-base (= 11.1.0), m4 (= 1.4.18-4), make (= 4.2.1-1.2), man-db (= 2.9.0-2), mawk (= 1.3.3-17+b3), mime-support (= 3.64), ncurses-base (= 6.1+20191019-1), ncurses-bin (= 6.1+20191019-1), netpbm (= 2:10.0-15.3+b2), ocaml-base-nox (= 4.08.1-6), ocaml-compiler-libs (= 4.08.1-6), ocaml-findlib (= 1.8.1-1+b1), ocaml-interp (= 4.08.1-6), ocaml-nox (= 4.08.1-6), pango1.0-tools (= 1.42.4-8), patch (= 2.7.6-6), perl (= 5.30.0-9), perl-base (= 5.30.0-9), perl-modules-5.30 (= 5.30.0-9), pkg-config (= 0.29-6), po-debconf (= 1.0.21), poppler-data (= 0.4.9-2), preview-latex-style (= 11.91-2), python (= 2.7.17-2), python-minimal (= 2.7.17-2), python2 (= 2.7.17-2), python2-minimal (= 2.7.17-2), python2.7 (= 2.7.17-1), python2.7-minimal (= 2.7.17-1), python3 (= 3.7.5-3), python3-distutils (= 3.8.0-1), python3-lib2to3 (= 3.8.0-1), python3-minimal (= 3.7.5-3), python3.7 (= 3.7.6-1), python3.7-minimal (= 3.7.6-1), readline-common (= 8.0-3), rsync (= 3.1.3-8), sed (= 4.7-1), sensible-utils (= 0.0.12+nmu1), shared-mime-info (= 1.10-1), sysvinit-utils (= 2.96-1), t1utils (= 1.41-3), tar (= 1.30+dfsg-6), tex-common (= 6.13), texlive-base (= 2019.20191208-4), texlive-binaries (= 2019.20190605.51237-3), texlive-latex-base (= 2019.20191208-4), texlive-latex-extra (= 2019.20191208-1), texlive-latex-recommended (= 2019.20191208-4), texlive-pictures (= 2019.20191208-4), ucf (= 3.0038+nmu1), util-linux (= 2.34-0.1), uuid-dev (= 2.34-0.1), x11-common (= 1:7.7+20), 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), xorg-sgml-doctools (= 1:1.11-1), xtrans-dev (= 1.3.5-1), xz-utils (= 5.2.4-1+b1), zlib1g (= 1:1.2.11.dfsg-1+b1), zlib1g-dev (= 1:1.2.11.dfsg-1+b1) Environment: DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1577681033" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEtujfBCRo29vNqfYyPIXROyX6zuYFAl4JlRIACgkQPIXROyX6 zubogA//faFlh3WgMRB9FLD7kMkigtazDi5reAzuqNwtxrLGutzFUqmn3OBbru1Y yhIcDuHpwIXeFdz9cvXoJDLLr6HHYbrYPONR4GOXWxULsWIOk4mxnJf1Xjxpn4EY 9Bzy47oSHnTyunznAUt1l/ZVUC1YtJymwTYtKYyY4XC4q6AO/4+axReApImb3Kkz qUDHxRo9M2/+SP/Ara0myQ96eT5fxfTGD0DjHlCBQR8u77Pt6gkjZon3Cf56Gs6S b+5l76uQJno6pkk0mGIVc0tofBUZuRMuMVXPlIQehdcYXD/AWrvBas6BRW2P+Dut +A6S8KtiXeD3nvHeNFTvuR4i/xAR3d9gW6TaCWHJQI5B4k/l09yGPFwUaWmnl9nV d3rtebIOcIUmo2mXrwQ7hJkaavuPXq8i0iZs/MPtnZCqzC9eNJinqngbgUkMbJmC Dn5yRYs38zvM//afQJv0WNn3iLCPD1EFhHuTX3Y3VZujGYrEB0HOLk0rVvxbGBhf d+zDDPLk+tsAjGaU8kyhDaO3kIGROh40NkF/Q4xP/pNOv/yhBHg67WkHDxtnr7gU XJYDjumxMn6Qaor6TLawhy5/lG2BZ1G6syrHe/9Uqz9Vp0NznaFcI9c3plzLG5+n +mOaQjSjyGzU/sUg+ByZQzAZe9wUJ0moyKD+0OdQKP7Py45W82M= =9ppE -----END PGP SIGNATURE-----