Branches for Squeeze

Name Status Last Modified Last Commit
lp:debian/squeeze/agda-bin 1 Development 2010-01-09 21:41:42 UTC
3. * New upstream release 2.2.6 * debian...

Author: Iain Lane
Revision Date: 2010-01-09 21:41:42 UTC

* New upstream release 2.2.6
* debian/control:
  - Add vcs-* entries
  - Set to group maintenance
  - Relax version restriction on CDBS build-dep; not necessary as not using
    any new features
  - Tighten version restriction on agda build-dep; want to ensure that -bin
    is built against corresponding version of agda.
  - Bump Standards-Version to 3.8.3, no changes required.
  - Set priority to extra per archive overrides
* debian/copyright: Update upstream source to a more generic location

11 of 1 result