-
agda-bin (2.3.0.1-1) unstable; urgency=low
* New upstream release
-- Joachim Breitner <email address hidden> Mon, 12 Mar 2012 14:31:48 +0100
-
agda-bin (2.3.0-1) unstable; urgency=low
* [f578578] Imported Upstream version 2.3.0
* [4a61a40] Update BDs and deps for new release
-- Iain Lane <email address hidden> Wed, 23 Nov 2011 14:06:19 +0000
-
agda-bin (2.2.10-2) unstable; urgency=low
* [5e289d4] Fix forgotten libghc6 recommend -- Iain Lane <email address hidden> Wed, 25 May 2011 12:56:40 +0100
-
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 <email address hidden> Sat, 09 Jan 2010 21:41:42 +0000