← Back to branch summary

~ubuntu-branches/ubuntu/saucy/agda-stdlib/saucy

« back to all changes in this revision

Viewing changes to debian/control

  • Committer: Bazaar Package Importer
  • Author(s): Iain Lane
  • Date: 2010-05-25 22:13:02 UTC
  • mfrom: (2.1.2 sid)
  • Revision ID: james.westby@ubuntu.com-20100525221302-dlbcjhqc7hfh2lbi
Tags: 0.3-3fakesync
Fakesync from Debian unstable due to orig.tar.gz mismatch

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/control
3
3
Section: libs
4
4
Maintainer: Iain Lane <laney@ubuntu.com>
5
5
Build-Depends: debhelper (>= 7.0.50~),
 
6
               procps | hurd,
6
7
               agda-bin (>= 2.2.6),
7
8
               agda-bin (<< 2.2.6.1~),
8
9
               libghc6-agda-dev (>= 2.2.6),