Change logs for agda source package in Artful

agda (2.5.2-2build1) artful; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Sat, 15 Jul 2017 10:36:30 +0200

agda (2.5.2-2) unstable; urgency=medium

  * Team upload.
  * Bump ieee754 bounds.

 -- Gianfranco Costamagna <email address hidden>  Mon, 10 Jul 2017 12:54:36 +0200

agda (2.5.2-2~build1) artful; urgency=medium

  * Team upload.
  * Bump ieee754 bounds.

 -- Gianfranco Costamagna <email address hidden>  Mon, 10 Jul 2017 12:54:36 +0200

agda (2.5.2-1) unstable; urgency=medium

  * New upstream release
  * Team upload
  * Drop all patches, upstream
  * Bump std-version to 4.0.0
  * Bump compat level to 10
  * Update build dependencies

 -- Gianfranco Costamagna <email address hidden>  Thu, 06 Jul 2017 09:59:52 +0200

agda (2.5.1.1-4build2) artful; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 06 Jul 2017 09:35:29 +0200

agda (2.5.1.1-4build1) artful; urgency=medium

  * Rebuild against new GHC ABI.

 -- Gianfranco Costamagna <email address hidden>  Wed, 21 Jun 2017 18:23:50 +0200

agda (2.5.1.1-4) unstable; urgency=medium

  [ Sean Whitton ]
  * Remove myself as an uploader.
    I do not expect to be able to look after this package for the buster
    cycle.

  [ Gianfranco Costamagna ]
  * Team upload
  * Bump directory bounds for ghc 8.0.2
  * debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch:
    - upstream build fix with new ghc

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Jan 2017 07:54:20 +0100

agda (2.5.1.1-3build4) artful; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <email address hidden>  Wed, 21 Jun 2017 05:28:44 +0000

agda (2.5.1.1-3build3) zesty; urgency=medium

  * Bump directory bounds
  * debian/patches/abcde448a31eaf9fac701689cbb49180c089b055.patch:
    upstream build fix with new ghc

 -- Gianfranco Costamagna <email address hidden>  Fri, 27 Jan 2017 07:54:20 +0100