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

agda (2.6.2.2-1.1) unstable; urgency=high

  * Non-maintainer upload.
  * add patch to remove internal agda-mode dependencies (Closes: #1017415)

 -- Marcel Fourné <debian@marcelfourne.de>  Tue, 06 Dec 2022 16:57:40 +0100

agda (2.6.2.2-1) unstable; urgency=medium

  * New upstream release (Closes: #1003318)
  * Declare compliance with Debian policy 4.6.1
  * Install missing files (Closes: #1008809, #992448)

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Sat, 06 Aug 2022 16:14:08 +0300

agda (2.6.1-1) unstable; urgency=medium

  [ Sean Whitton ]
  * New upstream release

  [ Ilias Tsitsimpis ]
  * Refresh patches
  * Build-dep on newer versions of dh-elpa (Closes: #935635)
  * Drop agda-mode transitional package (Closes: #939136)
  * Add lighc-agda-dev as dependency of agda-bin (Closes: #907521)

 -- Ilias Tsitsimpis <iliastsi@debian.org>  Wed, 29 Jul 2020 18:34:44 +0300

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

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog libghc-agda-dev`.
