[ubuntu/resolute-proposed] agda 2.6.4.3-1build1 (Accepted)

[Gianfranco Costamagna]

agda (2.6.4.3-1build1) resolute; urgency=medium

  * Rebuild against new GHC ABIs.

Date: Sat, 01 Nov 2025 08:53:48 +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.6.4.3-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Nov 2025 08:53:48 +0100
Source: agda
Built-For-Profiles: noudeb
Architecture: source
Version: 2.6.4.3-1build1
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.6.4.3-1build1) resolute; urgency=medium
 .
   * Rebuild against new GHC ABIs.
Checksums-Sha1:
 d224436a5cfe3015bd00f2013e934a8683fdadcb 5192 agda_2.6.4.3-1build1.dsc
 3d3f799762ab2edb16484828552d63e7f76b0657 10508 agda_2.6.4.3-1build1.debian.tar.xz
 98c005d4820e8d751586c89f1a36fafc67a3d746 6706 agda_2.6.4.3-1build1_source.buildinfo
Checksums-Sha256:
 bb921c249fa7c7f32952d48bb69fdb3f02338256ea7427191dee6aa4c2aea6da 5192 agda_2.6.4.3-1build1.dsc
 8ec2f72f2d3c632118169a268ddc95b2fed1fab68da1b8c74efb7727a9dd3ba7 10508 agda_2.6.4.3-1build1.debian.tar.xz
 58017fd94f43849b16b2e99f6cb689c81902eced89d81fb66fa00fde84d70857 6706 agda_2.6.4.3-1build1_source.buildinfo
Files:
 90004d7dc8fd65f9a1f1104c2cc25316 5192 haskell optional agda_2.6.4.3-1build1.dsc
 e4c8824180db3aa4b0b374207ba891f3 10508 haskell optional agda_2.6.4.3-1build1.debian.tar.xz
 5e68aafe5e64c511639d4e0bd52b2f0a 6706 haskell optional agda_2.6.4.3-1build1_source.buildinfo