agda (2.6.0.1-1build4) focal; urgency=medium

  * No-change rebuild with fixed binutils on arm64.

 -- Matthias Klose <doko@ubuntu.com>  Sat, 08 Feb 2020 10:55:44 +0000

agda (2.6.0.1-1build3) focal; urgency=medium

  * No-change rebuild for libffi soname change.

 -- Matthias Klose <doko@ubuntu.com>  Sun, 12 Jan 2020 09:06:32 +0000

agda (2.6.0.1-1build2) eoan; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <steve.langasek@ubuntu.com>  Tue, 03 Sep 2019 05:49:27 +0000

agda (2.6.0.1-1build1) eoan; urgency=medium

  * Rebuild against new GHC abi.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sun, 01 Sep 2019 20:11:22 +0200

agda (2.6.0.1-1) unstable; urgency=medium

  * New upstream version.

 -- Clint Adams <clint@debian.org>  Sat, 31 Aug 2019 10:02:33 -0400

agda (2.5.4.1-3) unstable; urgency=medium

  * Remove build dependency on non-existing libghc-edisoncore-dev.
    The correct package is libghc-edison-core-dev.
  * Remove build dependency on *-prof packages.
    No profiling package is being built.

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Sat, 20 Oct 2018 23:22:18 +0300

agda (2.5.4.1-2) unstable; urgency=medium

  * Remove build dependency on libghc-mtl-dev (provided by ghc-8.4.3)
  * Remove build dependency on libghc-text-dev (provided by ghc-8.4.3)
  * Remove build dependency on libghc-stm-dev (provided by ghc-8.4.3)

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Mon, 01 Oct 2018 17:50:16 +0300

agda (2.5.4.1-1) unstable; urgency=medium

  [ Clint Adams ]
  * Set Rules-Requires-Root to no.

  [ Ilias Tsitsimpis ]
  * New upstream release

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Sun, 30 Sep 2018 11:01:07 +0300

agda (2.5.3-5) unstable; urgency=medium

  * Patch for newer EdisonCore.

 -- Clint Adams <clint@debian.org>  Sun, 29 Apr 2018 08:41:41 -0400

agda (2.5.3-4) unstable; urgency=medium

  [ Ilias Tsitsimpis ]
  * Change Priority to optional. Since Debian Policy version 4.0.1,
    priority extra has been deprecated.
  * Use the HTTPS form of the copyright-format URL
  * Modify d/watch and Source field in d/copyright to use HTTPS
  * Declare compliance with Debian policy 4.1.1
  * Use salsa.debian.org URLs in Vcs-{Browser,Git} fields

  [ Clint Adams ]
  * Bump to Standards-Version 4.1.4.
  * Delete the Uploaders field.

 -- Clint Adams <clint@debian.org>  Mon, 09 Apr 2018 20:16:15 -0400

# For older changelog entries, run 'apt-get changelog libghc-agda-doc'
