coq-doc (8.2pl1-1) unstable; urgency=low
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
- remove patches
* Packaging overhaul:
- use git, advertise it in Vcs-* fields of debian/control
- use debhelper 7 and dh with override
- use source format 3.0 (quilt)
* debian/control:
- set Maintainer to d-o-m, set Uploaders to Sam and myself
- add Homepage field
- bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright
[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
pdf format, not postscript, closes: #543545.
Date: Mon, 18 Jan 2010 05:48:20 +0000
Changed-By: Benjamin Drung <[email protected]>
Maintainer: Debian OCaml Maintainers <[email protected]>
Origin: Debian/unstable
https://launchpad.net/ubuntu/lucid/+source/coq-doc/8.2pl1-1
Origin: Debian/unstable
Format: 1.7
Date: Mon, 18 Jan 2010 05:48:20 +0000
Source: coq-doc
Binary: coq-doc, coq-doc-html, coq-doc-pdf
Architecture: source
Version: 8.2pl1-1
Distribution: lucid
Urgency: low
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Benjamin Drung <[email protected]>
Description:
coq-doc - documentation for Coq
Closes: 543545 563669
Changes:
coq-doc (8.2pl1-1) unstable; urgency=low
.
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
- remove patches
* Packaging overhaul:
- use git, advertise it in Vcs-* fields of debian/control
- use debhelper 7 and dh with override
- use source format 3.0 (quilt)
* debian/control:
- set Maintainer to d-o-m, set Uploaders to Sam and myself
- add Homepage field
- bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright
.
[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
pdf format, not postscript, closes: #543545.
Files:
7b1ebe3c5a2766acef0e07fbbdb91003 2103 non-free/doc optional
coq-doc_8.2pl1-1.dsc
36eed48bc63ada8abf27f96eb126906c 3600620 non-free/doc optional
coq-doc_8.2pl1.orig.tar.gz
6691df945a9bed7b78e0401fd05554f5 8584 non-free/doc optional
coq-doc_8.2pl1-1.debian.tar.gz
--
Lucid-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/lucid-changes
