[ubuntu/resolute-proposed] agda 2.8.0-2build1 (Accepted)

[Gianfranco Costamagna]

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

  * Rebuild against new GHC ABIs.

Date: Sun, 01 Mar 2026 19:07:30 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/agda/2.8.0-2build1
-------------- next part --------------
Format: 1.8
Date: Sun, 01 Mar 2026 19:07:30 +0100
Source: agda
Built-For-Profiles: noudeb
Architecture: source
Version: 2.8.0-2build1
Distribution: resolute
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 agda (2.8.0-2build1) resolute; urgency=medium
 .
   * Rebuild against new GHC ABIs.
Checksums-Sha1:
 158fbc585530abd4b261812ad4715369344fc67d 5934 agda_2.8.0-2build1.dsc
 cdaa7046f95f8e5f2555a9d94ffcac80e431b81a 10676 agda_2.8.0-2build1.debian.tar.xz
 6bcf618ac4a2dc8909c72571962f32c9be91b22e 7187 agda_2.8.0-2build1_source.buildinfo
Checksums-Sha256:
 c8beafcfd06adac71ad177980649b9771430a0942446ccd66694784250b58f6e 5934 agda_2.8.0-2build1.dsc
 51997c7cd5fe430db2b30eb535b41780c63e5e3870ac98ff0c8a3e6fa7778dce 10676 agda_2.8.0-2build1.debian.tar.xz
 753544a370982580d465df56e836b7796216c654541b116dd8bb4286d48bd49f 7187 agda_2.8.0-2build1_source.buildinfo
Files:
 004ee697629feceed345f9d129ef79d4 5934 haskell optional agda_2.8.0-2build1.dsc
 a0549dfed001142ae8b24a7b484c8ebe 10676 haskell optional agda_2.8.0-2build1.debian.tar.xz
 e2046c5c838fe683fca290994c40771c 7187 haskell optional agda_2.8.0-2build1_source.buildinfo