~ubuntu-branches/ubuntu/trusty/coq/trusty

Viewing all changes in revision 16.

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu
  • Date: 2009-08-29 16:58:45 UTC
  • mfrom: (4.1.4 sid)
  • Revision ID: james.westby@ubuntu.com-20090829165845-p0jxnshiliwzhw8a
Tags: 8.2.pl1+dfsg-3
* Update README.Debian (Closes: #538398)
* Add 0001-Update-for-why-2.19.patch
* debian/control:
  - update my e-mail address and remove DMUA
  - add why to Suggests
  - add quilt to Build-Depends
  - update Standards-Version to 3.8.3 (no changes)
* Update README.source to reflect use of quilt

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: