agda-bin (2.2.6-1build1) lucid; urgency=low

  * Rebuild to pick up new libghc6-agda-* 2.2.6-2

 -- Iain Lane <laney@ubuntu.com>  Wed, 03 Feb 2010 11:06:09 +0000

agda-bin (2.2.6-1) unstable; urgency=low

  * 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 

 -- Iain Lane <laney@ubuntu.com>  Sat, 09 Jan 2010 21:41:42 +0000

agda-bin (2.2.4-1) unstable; urgency=low

  * Initial release (Closes: #537705)

 -- Iain Lane <laney@ubuntu.com>  Wed, 22 Jul 2009 00:14:04 +0100