Change log for agda-bin package in Ubuntu

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

Available diffs

• diff from 2.3.0-1 to 2.3.0.1-1 (1.1 KiB)

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

Available diffs

• diff from 2.2.10-2 (in Ubuntu) to 2.3.0-1 (1.2 KiB)

agda-bin (2.2.10-2) unstable; urgency=low

  * [5e289d4] Fix forgotten libghc6 recommend

Available diffs

• diff from 2.2.10-1~ubuntu1 to 2.2.10-2 (1.6 KiB)

agda-bin (2.2.10-1~ubuntu1) natty; urgency=low

  * Upload to Natty as delayed in Debian due to GHC transition
  * [e9845f4] debian/gbp.conf: Remove as we are no longer uploading to exp
  * [62091f5] Imported Upstream version 2.2.10
  * [6beab2e] Bump Agda BDs per Agda.cabal
  * [a27c918] Standards-Version → 3.9.1, no changes required
 -- Iain Lane <email address hidden>   Sun, 27 Feb 2011 19:36:14 +0000

Available diffs

• diff from 2.2.6-1build1 to 2.2.10-1~ubuntu1 (2.2 KiB)

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

  * Rebuild to pick up new libghc6-agda-* 2.2.6-2
 -- Iain Lane <email address hidden>   Wed, 03 Feb 2010 11:06:09 +0000

Available diffs

• diff from 2.2.6-1 to 2.2.6-1build1 (450 bytes)

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 
 -- Ubuntu Archive Auto-Sync <email address hidden>   Fri,  22 Jan 2010 09:52:29 +0000

Available diffs

• diff from 2.2.4-1 to 2.2.6-1 (1.5 KiB)

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

  * Initial release (Closes: #537705)

 -- Iain Lane <email address hidden>   Wed,  19 Aug 2009 23:48:08 +0100