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

  • Committer: Bazaar Package Importer
  • Author(s): Samuel Mimram
  • Date: 2007-04-14 18:24:43 UTC
  • mfrom: (1.1.2 upstream) (2.1.1 lenny)
  • Revision ID: james.westby@ubuntu.com-20070414182443-bvsphsuracwnn40u
Tags: 8.1-3
Removed tetex-bin from build-dependencies, and added texlive-base,
texlive-latex-extra, texlive-math-extra, texlive-lang-french and
texlive-humanities, closes: #420591.
Filename Latest Rev Last Changed Committer Comment Size
..
common 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 Diff
debian 2 22 years ago Bazaar Package Importer * New upstream version. * New maintainer. Diff
faq 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 Diff
RecTutorial 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 Diff
refman 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 Diff
rt 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 Diff
stdlib 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 Diff
tools 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 Diff
tutorial 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 Diff
INSTALL 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 1.8 KB Diff Download File
LICENCE 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 31.6 KB Diff Download File
Makefile 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 10 KB Diff Download File
Makefile.rt 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 1.7 KB Diff Download File
File README 1.2.1 17 years ago Bazaar Package Importer Import upstream version 8.1 1.1 KB Diff Download File