Accepted coq-doc 8.0pl3+8.1alpha-2 (source all)

[Samuel Mimram <smimram@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Wed, 10 May 2006 16:39:24 +0000
Source: coq-doc
Binary: coq-doc-pdf coq-doc-html coq-doc
Architecture: source all
Version: 8.0pl3+8.1alpha-2
Distribution: experimental
Urgency: low
Maintainer: Samuel Mimram <smimram@debian.org>
Changed-By: Samuel Mimram <smimram@debian.org>
Description: 
 coq-doc    - documentation for Coq in html format
 coq-doc-html - documentation for Coq in html format
 coq-doc-pdf - documentation for Coq in pdf format
Closes: 366611
Changes: 
 coq-doc (8.0pl3+8.1alpha-2) experimental; urgency=low
 .
   * Correct a typo in coq-rectutorial's doc-base (thanks Remi Vanicat),
     closes: #366611.
   * Updated standards version to 3.7.2, no changes needed.
Files: 
 4284bb85cd17d07b7ee8bc74edb47f9c 689 non-free/doc optional coq-doc_8.0pl3+8.1alpha-2.dsc
 a2f1cab4a03f118a3944ce52b24ffd82 7111 non-free/doc optional coq-doc_8.0pl3+8.1alpha-2.diff.gz
 d99287f700ef382da7591dd04f05f6c0 5222 non-free/doc optional coq-doc_8.0pl3+8.1alpha-2_all.deb
 8a57cdca651cd498a8ff5fee29f31919 340628 non-free/doc optional coq-doc-html_8.0pl3+8.1alpha-2_all.deb
 f49cb283ea5d7d76073a181eddb01957 1629422 non-free/doc optional coq-doc-pdf_8.0pl3+8.1alpha-2_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)

iD8DBQFEYhg7Iae1O4AJae8RAgJhAJ9M3JW0ADcCEUpHgVVzsgWqKP7QCgCeJRLu
yO0HIo+En1aADI/vqGjeru8=
=K9zF
-----END PGP SIGNATURE-----


Accepted:
coq-doc-html_8.0pl3+8.1alpha-2_all.deb
  to pool/non-free/c/coq-doc/coq-doc-html_8.0pl3+8.1alpha-2_all.deb
coq-doc-pdf_8.0pl3+8.1alpha-2_all.deb
  to pool/non-free/c/coq-doc/coq-doc-pdf_8.0pl3+8.1alpha-2_all.deb
coq-doc_8.0pl3+8.1alpha-2.diff.gz
  to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha-2.diff.gz
coq-doc_8.0pl3+8.1alpha-2.dsc
  to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha-2.dsc
coq-doc_8.0pl3+8.1alpha-2_all.deb
  to pool/non-free/c/coq-doc/coq-doc_8.0pl3+8.1alpha-2_all.deb