-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 11 Feb 2016 22:26:54 +0100 Source: coq-doc Binary: coq-doc coq-doc-html coq-doc-pdf Architecture: source all Version: 8.4pl4-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Description: coq-doc - documentation for Coq coq-doc-html - documentation for Coq in html format coq-doc-pdf - documentation for Coq in pdf format Closes: 813063 Changes: coq-doc (8.4pl4-2) unstable; urgency=medium . * Team upload * patch unterminated_string_literal: fix FTBFS with ocaml 4.02.3 (closes: #813063) Checksums-Sha1: 8214e7bec342a42bfd605c0d7c48086453bd0f8f 2243 coq-doc_8.4pl4-2.dsc 47f933d45ba7140aa1b9117ff14d240c37c65de7 8404 coq-doc_8.4pl4-2.debian.tar.xz 6bf752fae086fd79af57d3c2cd3dc8017cd66cf5 473720 coq-doc-html_8.4pl4-2_all.deb 4350756c8063e8776a8348e384158259abef20c0 2467952 coq-doc-pdf_8.4pl4-2_all.deb 6d1cfbd1ee5b4b5096c5b6eccf1a150d3a14002a 50462 coq-doc_8.4pl4-2_all.deb Checksums-Sha256: f201ed002ffb53915d6964e545ca3dda4937ff2b87a0e3f4e5a68b60c4d568e5 2243 coq-doc_8.4pl4-2.dsc 061c31efe52366686526fc1d9636f584e5505a6bc4c93910965311b3830c7d28 8404 coq-doc_8.4pl4-2.debian.tar.xz b624112ba962da667950a36316af845f2a5fd205617941e772a238a538a6a89c 473720 coq-doc-html_8.4pl4-2_all.deb 60fc068137c9b5da3b5af47c4e22c71a0d5098b2646f0873f2828c656a213dec 2467952 coq-doc-pdf_8.4pl4-2_all.deb 381eb08d65ea44f0378ab81403996212c096e1e6ec41eadeaf5cf72542eb739f 50462 coq-doc_8.4pl4-2_all.deb Files: 4cddcfff171cc5ee808c4be2bbf862e2 2243 non-free/doc optional coq-doc_8.4pl4-2.dsc 4c0a4cee245c8783497a9bcc5ba06d9a 8404 non-free/doc optional coq-doc_8.4pl4-2.debian.tar.xz 512439fd435bde2a002b0788b053b4a0 473720 non-free/doc optional coq-doc-html_8.4pl4-2_all.deb 21871c24e455eee22a6dcfe5628532eb 2467952 non-free/doc optional coq-doc-pdf_8.4pl4-2_all.deb d277e14458467f623aad99b7fbae665c 50462 non-free/doc optional coq-doc_8.4pl4-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJWvQO3AAoJEHRcR2bUys3/wAIP/0CdCy79zu1Xm/kDxlYnstFh bZmth/j4nQqWZcjSSBjZTtVyC495GtBlq9+eA9nam4v6pByr4P2Fws3KQ/vSLkDV F93abc3G45z0NIqTTsMVPKit+EcnI8eTakwypjyv/xso0KD3ym4gTRV9PIn7kPbx i8mIYAxjFv/WunCxgpbw3rQie9Du08nBX9DGceSOTUdtWp+6oQmkqT0sTCQG9b2h Qxqqh0qsFxOwUcSd0ASfN6OaLGYALVdciiW3Cj8kqAVk2bAymhcDBC6pW8zBHQzy 77wZPS3U2q/j+PjqgyJoIzH77i+2m3AsIJ3CZ2Ew0EOscnTGsDnim56UtWb74QoI OlMxxao34Ozb4eGIheVOe7UXVkrUU6Us5ua4bsjz4WnOSH6jsDdifMUZH4gotcwI tGjrx4OIfAy9N1Wc+unU2Y1M5V9lOwQ3/hzet5RZCYLK9vPjPdcvhJ1AI+K15xcj uTqUAEdfhzJzQ1H4QT6X4PI03cop0gHTtOKz51VqtK7E9MEePuCR1NpzeOQ7+TZi jmZ4DdTWYmckgHLcC74V+3PacbBOnuLzHzBKBDATlLXVRColdOH++RCWKZeD4XFi ynZ807TjIfCOc2EMVwgb4A0ka6hIGK/HA9eCEt6CuE6WsHKvkhguzc3bh6JIIipG pElMIrX+WDFHjE1FpCyV =oT+Z -----END PGP SIGNATURE-----