agda (2.8.0-2build2) stonking; urgency=medium

  * Rebuild against new GHC ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Thu, 30 Jul 2026 22:25:51 +0200

agda (2.8.0-2build1) resolute; urgency=medium

  * Rebuild against new GHC ABIs.

 -- Gianfranco Costamagna <locutusofborg@debian.org>  Sun, 01 Mar 2026 19:07:30 +0100

agda (2.8.0-2) unstable; urgency=medium

  * Extend d/rules to compile and ship all '*.agda' files

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Sun, 15 Feb 2026 15:49:29 +0200

agda (2.8.0-1) unstable; urgency=medium

  [ Scott Talbert ]
  * Build using dh-haskell
  * New upstream release

  [ Xiyue Deng ]
  * Move agda dependencies from Depends to Suggests for elpa-agda2-mode
    (Closes: #1125220)
  * Add ${elpa:Depends} to Depends for elpa-agda2-mode
  * Drop ancient emacs versions in Recommends and Enhances

 -- Scott Talbert <swt@techie.net>  Tue, 10 Feb 2026 15:35:03 -0500

agda (2.6.4.3-1) unstable; urgency=medium

  * Declare compliance with Debian policy 4.7.0
  * New upstream release

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Tue, 08 Oct 2024 12:14:54 +0300

agda (2.6.3-2) unstable; urgency=medium

  * Rebuild against dh-elpa >=2.1.5 (Closes: #1077095)

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Thu, 29 Aug 2024 15:28:02 +0300

agda (2.6.3-1) unstable; urgency=medium

  * Declare compliance with Debian policy 4.6.2
  * New upstream release

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Fri, 13 Oct 2023 17:57:46 +0300

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog elpa-agda2-mode`.
