Format: 1.0 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: amd64 Version: 8.9.1-5 Checksums-Md5: 45f8c2dbe898eaf15b0e69da69164483 5659484 coq-dbgsym_8.9.1-5_amd64.deb d0941538f66b7d62c4e9b810a73bab04 770060 coq-theories-dbgsym_8.9.1-5_amd64.deb f6233255ea151e80e3952daed9768bc0 30163492 coq-theories_8.9.1-5_amd64.deb 658790887aec880fe9ad7a490bea988b 70364648 coq_8.9.1-5_amd64.deb 0c2be1d4fd0f7a6840d9462ea8ec50fa 500332 coqide-dbgsym_8.9.1-5_amd64.deb 4a275f83e5e03f6128a3afaa55574268 1859296 coqide_8.9.1-5_amd64.deb 161848e05a95eadda70a58c79a8920ba 571152 libcoq-ocaml-dbgsym_8.9.1-5_amd64.deb abace74330925dde51834024225883dc 15107752 libcoq-ocaml-dev_8.9.1-5_amd64.deb 27415d29d7a9211c0caceb59196abc59 5679268 libcoq-ocaml_8.9.1-5_amd64.deb Checksums-Sha1: deeec32029d1c6977a11aace9f854b0d5ed65693 5659484 coq-dbgsym_8.9.1-5_amd64.deb 67b591ed0c2129b03185d960a5b39caad2f9d3a7 770060 coq-theories-dbgsym_8.9.1-5_amd64.deb 0044b21fafb6f4119bb11a11849ff3c1440a651e 30163492 coq-theories_8.9.1-5_amd64.deb b61d768a528ef96b2f6c2072352564a270e4b251 70364648 coq_8.9.1-5_amd64.deb 6f329e591b722f81cee73ba4bae483a68dfc2a7a 500332 coqide-dbgsym_8.9.1-5_amd64.deb 19bd698fccffe91d10223ba1ff173baf1f640af3 1859296 coqide_8.9.1-5_amd64.deb 6105d9eba11f09294443c0bda5ee96b0144a0639 571152 libcoq-ocaml-dbgsym_8.9.1-5_amd64.deb b29351159134373096ff0476cc40b1e5bea9deb0 15107752 libcoq-ocaml-dev_8.9.1-5_amd64.deb b0361652627e0262a3edc914460eb129aaf6c55a 5679268 libcoq-ocaml_8.9.1-5_amd64.deb Checksums-Sha256: f7b6bff519700e39e54fcb759b191789c00a6b49eb216898825bfaaa8c6a0602 5659484 coq-dbgsym_8.9.1-5_amd64.deb c1361d09899ce4517e46a5214046e2eae60f3bf500f374fa65e948193efd8afb 770060 coq-theories-dbgsym_8.9.1-5_amd64.deb 06fb1b2e4db7b142c3bf81214b0f17869b11f4430f58d67ae6af2c4eb5c0c274 30163492 coq-theories_8.9.1-5_amd64.deb 6c9ad30420f317d8ac523c78fac1bcfe8bcefa97b652acba42c1d57ec2c50fd8 70364648 coq_8.9.1-5_amd64.deb 9e26c471d3f68e3d1ea8546ff3f6f719a8ea73c7b7b8940ea0a2688e884c423b 500332 coqide-dbgsym_8.9.1-5_amd64.deb 9ccbd488f9eafd4e097c1e005839d2f77acb3ff00d6c1d4c7cfb311fda8e2321 1859296 coqide_8.9.1-5_amd64.deb b1d206434a8adbc4dc7319cba0a5951253c1f83abd3873666fdf4cc3346d685f 571152 libcoq-ocaml-dbgsym_8.9.1-5_amd64.deb 2c8492937ab7f679f810be932806c12f437af1d46f880a9359431b5fbcc12ce7 15107752 libcoq-ocaml-dev_8.9.1-5_amd64.deb db2b9943a1378297a775511241bc66a66e94181fc63652b4c984878595b02afa 5679268 libcoq-ocaml_8.9.1-5_amd64.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Wed, 29 Jan 2020 08:30:52 +0000 Build-Path: /build/coq-oVqbQy/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.1), 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.90.20200122-2), binutils-common (= 2.33.90.20200122-2), binutils-x86-64-linux-gnu (= 2.33.90.20200122-2), 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+b1), cpp (= 4:9.2.1-3.1), cpp-9 (= 9.2.1-25), dash (= 0.5.10.2-6), debconf (= 1.5.73), debhelper (= 12.9), debianutils (= 4.9.1), dh-autoreconf (= 19), dh-exec (= 0.23.2), dh-ocaml (= 1.1.1), dh-python (= 4.20191017), dh-strip-nondeterminism (= 1.6.3-2), 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.38-4), 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-25), gcc (= 4:9.2.1-3.1), gcc-9 (= 9.2.1-25), gcc-9-base (= 9.2.1-25), 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-3), gir1.2-gdkpixbuf-2.0 (= 2.40.0+dfsg-2), gir1.2-glib-2.0 (= 1.62.0-3), 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+b1), 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-25), 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-25), 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.90.20200122-2), 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-9), libc-dev-bin (= 2.29-9), libc6 (= 2.29-9), libc6-dev (= 2.29-9), 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-25), libcom-err2 (= 1.45.5-2), libcroco3 (= 0.6.13-1), libcrypt-dev (= 1:4.4.10-10), libcrypt1 (= 1:4.4.10-10), libctf-nobfd0 (= 2.33.90.20200122-2), libctf0 (= 2.33.90.20200122-2), libcups2 (= 2.3.1-2), 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.9), libdpkg-perl (= 1.19.7), libelf1 (= 0.176-1.1), libenchant-2-2 (= 2.2.7+repack1-1), libenchant-2-dev (= 2.2.7+repack1-1), libexpat1 (= 2.2.9-1), libexpat1-dev (= 2.2.9-1), libfdisk1 (= 2.34-0.1), libffi-dev (= 3.3-3), libffi7 (= 3.3-3), libfile-stripnondeterminism-perl (= 1.6.3-2), 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-25), libgcc1 (= 1:9.2.1-25), 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-3), libglade2-0 (= 1:2.6.4-2+b1), libglade2-dev (= 1:2.6.4-2+b1), libglib2.0-0 (= 2.62.4-1+b1), libglib2.0-bin (= 2.62.4-1+b1), libglib2.0-data (= 2.62.4-1), libglib2.0-dev (= 2.62.4-1+b1), libglib2.0-dev-bin (= 2.62.4-1+b1), libgmp10 (= 2:6.1.2+dfsg-4), libgnutls30 (= 3.6.11.1-2), libgomp1 (= 9.2.1-25), 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.3), libgtkspell0 (= 2.0.16-1.3), 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), libitm1 (= 9.2.1-25), 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), liblsan0 (= 9.2.1-25), liblz4-1 (= 1.9.2-2), liblzma5 (= 5.2.4-1+b1), liblzo2-2 (= 2.10-2), libmagic-mgc (= 1:5.38-4), libmagic1 (= 1:5.38-4), 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.19-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.2-2), 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+b1), libpython2.7-stdlib (= 2.7.17-1+b1), libpython3-stdlib (= 3.7.5-3), libpython3.7-minimal (= 3.7.6-1+b1), libpython3.7-stdlib (= 3.7.6-1+b1), libquadmath0 (= 9.2.1-25), 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.31.0+really3.30.1+fossil191229-1), libssl1.1 (= 1.1.1d-2), libstdc++-9-dev (= 9.2.1-25), libstdc++6 (= 9.2.1-25), libsub-override-perl (= 0.09-2), libsynctex2 (= 2019.20190605.51237-3), libsystemd0 (= 244.1-1), 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-2), libtinfo6 (= 6.1+20191019-1), libtool (= 2.4.6-11), libtsan0 (= 9.2.1-25), libubsan1 (= 9.2.1-25), libuchardet0 (= 0.0.6-3), libudev1 (= 244.1-1), 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-3), libxcb-render0-dev (= 1.13.1-3), libxcb-shm0 (= 1.13.1-3), libxcb-shm0-dev (= 1.13.1-3), libxcb1 (= 1.13.1-3), libxcb1-dev (= 1.13.1-3), 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.4.13-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-20), 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-7), ocaml-compiler-libs (= 4.08.1-7), ocaml-findlib (= 1.8.1-1+b1), ocaml-interp (= 4.08.1-7), ocaml-nox (= 4.08.1-7), 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+b1), python2.7-minimal (= 2.7.17-1+b1), 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+b1), python3.7-minimal (= 3.7.6-1+b1), 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-2.1), t1utils (= 1.41-3), tar (= 1.30+dfsg-6+b1), 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="1580239419"