← Back to branch summary

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

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stéphane Glondu, Samuel Mimram
  • Date: 2010-01-07 22:50:39 UTC
  • mfrom: (1.2.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20100107225039-n3cq82589u0qt0s2
Tags: 8.2pl1-1
http://bugs.debian.org/563669
http://bugs.debian.org/543545
[ 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.
Filename Latest Rev Last Changed Committer Comment Size
..
bin 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
checker 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
config 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
contrib 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
debian 2 22 years ago Bazaar Package Importer * New upstream version. * New maintainer. Diff
dev 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
doc 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
ide 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
interp 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
kernel 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
lib 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
library 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
man 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
parsing 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
pretyping 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
proofs 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
scripts 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
states 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
tactics 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
test-suite 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
theories 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
tools 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 Diff
toplevel 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 Diff
CHANGES 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 81.8 KB Diff Download File
COMPATIBILITY 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 2.9 KB Diff Download File
File configure 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 30.6 KB Diff Download File
COPYRIGHT 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 1.2 KB Diff Download File
File Coq.bat 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 159 bytes Diff Download File
File Coqide.bat 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 156 bytes Diff Download File
CREDITS 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 6.4 KB Diff Download File
INSTALL 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 12.4 KB Diff Download File
INSTALL.doc 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 1.8 KB Diff Download File
INSTALL.ide 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 4.5 KB Diff Download File
INSTALL.macosx 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 913 bytes Diff Download File
File install.sh 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 146 bytes Diff Download File
LICENSE 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 23.8 KB Diff Download File
Makefile 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 8.9 KB Diff Download File
Makefile.build 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 33.5 KB Diff Download File
Makefile.common 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 33.1 KB Diff Download File
Makefile.doc 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 11.2 KB Diff Download File
Makefile.stage1 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 1.2 KB Diff Download File
Makefile.stage2 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 699 bytes Diff Download File
Makefile.stage3 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 698 bytes Diff Download File
README 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 1.7 KB Diff Download File
File README.doc 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 645 bytes Diff Download File
README.win 1.2.2 14 years ago Bazaar Package Importer Import upstream version 8.2pl1 2.2 KB Diff Download File