[ubuntu/resolute-proposed] agda-stdlib 2.1-4build1 (Accepted)

[Gianfranco Costamagna]

agda-stdlib (2.1-4build1) resolute; urgency=medium

  * Rebuild against new GHC ABIs.

Date: Sat, 01 Nov 2025 08:53:58 +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-stdlib/2.1-4build1
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Nov 2025 08:53:58 +0100
Source: agda-stdlib
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1-4build1
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-stdlib (2.1-4build1) resolute; urgency=medium
 .
   * Rebuild against new GHC ABIs.
Checksums-Sha1:
 37df167a2ec1a0282d3d8bdd6f3dd6793a20906d 2219 agda-stdlib_2.1-4build1.dsc
 c0aaf9cccebfa09c19d3fe7bbca35dec517e0445 6100 agda-stdlib_2.1-4build1.debian.tar.xz
 f743285752e5c8becf9a7edec0353fc32b756e42 6718 agda-stdlib_2.1-4build1_source.buildinfo
Checksums-Sha256:
 950849c4a352e427b483ff6891a06db2c67e55dade795390f8f4421d850d89e4 2219 agda-stdlib_2.1-4build1.dsc
 dc2872e7197726d7edb1fb93903361ccc73e7f4cda90ac6743a197817e8ee286 6100 agda-stdlib_2.1-4build1.debian.tar.xz
 9be851e0f9f5ef36cff4b3a50d4fe093cf0533987bd671fdfb19d1dc737a3801 6718 agda-stdlib_2.1-4build1_source.buildinfo
Files:
 91974da1d8eb78ad040f16e48eded372 2219 libs optional agda-stdlib_2.1-4build1.dsc
 6a2046de6990d477a118acdab375b82c 6100 libs optional agda-stdlib_2.1-4build1.debian.tar.xz
 cb5d4eedac6ca8395cd5b535198c716c 6718 libs optional agda-stdlib_2.1-4build1_source.buildinfo