~ubuntu-branches/ubuntu/hardy/coq-doc/hardy

• Changes
• Files

~ubuntu-branches/ubuntu/hardy/coq-doc/hardy » Changes from revision 4

From Revision 4

expand all

collapse all

Rev		Summary	Authors	Tags	Date	Diff	Files
4		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
3		* Added the Coq faq, moved the tutorial to the root director... * Added the Coq faq, moved the tutorial to the root directory and added   doc-base files for both, closes: #272204. * Set dh_compat to level 4.	Samuel Mimram	8.0pl1.0-1	19 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