Accepted coq-doc 8.0pl1-1 (all source)

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

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

Format: 1.7
Date: Fri, 13 Aug 2004 16:32:10 +0200
Source: coq-doc
Binary: coq-doc
Architecture: source all
Version: 8.0pl1-1
Distribution: unstable
Urgency: medium
Maintainer: Samuel Mimram <samuel.mimram@ens-lyon.org>
Changed-By: Samuel Mimram <samuel.mimram@ens-lyon.org>
Description: 
 coq-doc    - Documentation for Coq
Closes: 146617 146618 265077
Changes: 
 coq-doc (8.0pl1-1) unstable; urgency=medium
 .
   * New maintainer.
   * New upstream release, closes: #265077.
   * Converted changelog and control to utf8.
   * Updated Standards-Version to 3.6.1.
   * Removed the unneeded Depends.
   * Added a symbolic link to the documentation in /usr/share/doc/coq,
     closes: #146617.
   * Included the html documentation, closes: #146618.
   * Slightly modified the description, since we now also have the html doc.
   * The package is now built by the binary-indep rule of debian/rules.
Files: 
 dffbfce4e3d18da2ae7c34784ebf4cf1 580 doc optional coq-doc_8.0pl1-1.dsc
 b0364a4e461bf185b173e1b5b408010a 1643275 doc optional coq-doc_8.0pl1.orig.tar.gz
 ba74c4c348cc3f0b6d791dd436537694 2854 doc optional coq-doc_8.0pl1-1.diff.gz
 af8be2eff19a9577d90b529fb9101440 1713218 doc optional coq-doc_8.0pl1-1_all.deb

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

iD8DBQFBIICltzWmSeC6BMERAgWiAKCp6/CrjvFFFP7s/9kpUYQ7a8YDXgCcCsb1
xKspmLlud4H2hdlsEZvdpgQ=
=2QS/
-----END PGP SIGNATURE-----


Accepted:
coq-doc_8.0pl1-1.diff.gz
  to pool/main/c/coq-doc/coq-doc_8.0pl1-1.diff.gz
coq-doc_8.0pl1-1.dsc
  to pool/main/c/coq-doc/coq-doc_8.0pl1-1.dsc
coq-doc_8.0pl1-1_all.deb
  to pool/main/c/coq-doc/coq-doc_8.0pl1-1_all.deb
coq-doc_8.0pl1.orig.tar.gz
  to pool/main/c/coq-doc/coq-doc_8.0pl1.orig.tar.gz