Back to coq-doc PTS page

Accepted coq-doc 8.4pl4-2 (source all) into unstable



-----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-----