-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: coq Binary: coq, coqide, coq-theories, libcoq-ocaml, libcoq-ocaml-dev Architecture: any all Version: 8.4pl4dfsg-3 Maintainer: Debian OCaml Maintainers <[email protected]> Uploaders: Ralf Treinen <[email protected]>, Samuel Mimram <[email protected]>, Stéphane Glondu <[email protected]> Homepage: http://coq.inria.fr/ Standards-Version: 3.9.5 Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/coq.git Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/coq.git Build-Depends: debhelper (>= 9), dh-ocaml (>= 0.9.5~), ocaml-nox (>= 4), ocaml-best-compilers, ocaml-findlib (>= 1.4), camlp5 (>= 5.12-2~), liblablgtk2-ocaml-dev (>= 2.14), texlive-latex-extra, hevea (>= 1.10-7) Package-List: coq deb math optional arch=any coq-theories deb math optional arch=all coqide deb math optional arch=any libcoq-ocaml deb ocaml optional arch=any libcoq-ocaml-dev deb ocaml optional arch=any Checksums-Sha1: 7fb87691df89e4faf8676d1896a34de5024e6ade 3527076 coq_8.4pl4dfsg.orig.tar.gz d0407f54b06409a90588b979021fdf3d7b3282a3 16052 coq_8.4pl4dfsg-3.debian.tar.xz Checksums-Sha256: ebb0561b7aa9a7b87299689a9a564cb5fc5348fdf3997acdc42d76ce2a048450 3527076 coq_8.4pl4dfsg.orig.tar.gz 8b87dc4930ca49ad2b563f431060e232ae64077065721e0a4bcd84b734bcd847 16052 coq_8.4pl4dfsg-3.debian.tar.xz Files: e01be807904a8e60046486eba8f13f59 3527076 coq_8.4pl4dfsg.orig.tar.gz b3ed07cfb6e80f311f4e4d65fabf40c0 16052 coq_8.4pl4dfsg-3.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJWKWT/AAoJEHhT2k1JiBrTlXgP/3XlvyrJhCKyu3zMVCp/SrP3 YT2ylAH4LoF0JIsDF4r2lwZbIkK2UjxvW3lHsjiQoasrb5bSlrj4lollDEfA2Qw7 pgfynTVrPdL7mUdIHSbGel9Jb1NTWHGmMQqismxjWEPJlslF9QS63GSgdn5crsFf HLNo6UC8ylPIRm+uYhV/xOE6HDkcTAPF9sdhYJl+XFHnuzJByIXBuV7XLiOL1Rlu 2vk49sXO0t2uYsPO9+bk84UiRCMhYvGNF2W7xwKMgceLw8+wFzXC/YvElCdol0BY 9TyTqueTYl93LBa/z4MHD08WoHAbFirILLKY5D2u8tJCzUh22Ihnli9U0qq+ybI7 ncYgU2YRx9rm4OzOjaP+oNNNeMuLe6ejzqbgIve8W2xKzkgZsF6IlnqnmHpp2tto jJ4LpxVkBKvnCL5FOc7BMhhNiQaM/V9V6pORartp0G7PWO6i/gSwSLbO3Va71VAO JcF/UogjJYW8RmcwK1SZJ2o/eTrXH/ETizqNtnMJObIZuRoBCWktPdTS/HMCpoBn nPYYb5r0jHwLdDzePlhYaFAsmBzani0XKmVBTu31ozndKI0DZNsbe30wffbBISaD 4+AG0YD8U++RJgZ/znkupFEBbLiidMiN8eRYeROj7nrg4WwZ6DhhM3KwnsC8ShDy 0Ylc0TiIPEOZyk9biFV4 =bC5y -----END PGP SIGNATURE----- Changes: coq (8.4pl4dfsg-3) unstable; urgency=medium * Move initial.coq to coq-theories, to avoid inconsistency errors on bytecode architectures -- Stéphane Glondu <[email protected]> Thu, 22 Oct 2015 23:38:19 +0200
