← Back to branch summary

~ubuntu-branches/debian/sid/coq-float/sid

« back to all changes in this revision

Viewing changes to debian/patches/series

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2012-01-09 20:41:12 UTC
  • mfrom: (1.1.2)
  • Revision ID: package-import@ubuntu.com-20120109204112-6mt05wc92vqymho6
Tags: 1:8.3pl1-1
* New upstream release
  - remove all patches (applied upstream)

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/patches/series
1
 
0001-Fix-build-with-Coq-8.3.patch