~ubuntu-branches/ubuntu/wily/coq-doc/wily

• Changes
• Files

~ubuntu-branches/ubuntu/wily/coq-doc/wily » Changes from revision 9

From Revision 6

expand all

collapse all

Rev		Summary	Authors	Tags	Date	Diff	Files
6		New upstream release New upstream release	Stéphane Glondu	8.3pl3-1	12 years ago
5		* New upstream release * New upstream release * Make dependencies of coq-doc versioned * Bump debhelper compat level to 8 * Bump Standards-Version to 3.9.2	Stéphane Glondu	8.3pl2-1	13 years ago
4		[ Stéphane Glondu ] [ 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.	Stéphane Glondu	8.2pl1-1	14 years ago
3		Removed tetex-bin from build-dependencies, and added texlive... Removed tetex-bin from build-dependencies, and added texlive-base, texlive-latex-extra, texlive-math-extra, texlive-lang-french and texlive-humanities, closes: #420591.	Samuel Mimram	8.1-3	17 years ago
2		* New upstream version. * New upstream version. * New maintainer.	Judicaël Courant	7.2-1	22 years ago
1		Import upstream version 7.2 Import upstream version 7.2	Judicaël Courant	upstream-7.2	22 years ago

Loggerhead is a web-based interface for Breezy
Version: 2.0.1