[ubuntu/oracular-proposed] agda 2.6.3-1build2 (Accepted)

[Gianfranco Costamagna]

agda (2.6.3-1build2) oracular; urgency=medium

  * Rebuild against new GHC ABIs.

Date: Wed, 15 May 2024 13:24:10 +0200
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.3-1build2
-------------- next part --------------
Format: 1.8
Date: Wed, 15 May 2024 13:24:10 +0200
Source: agda
Built-For-Profiles: noudeb
Architecture: source
Version: 2.6.3-1build2
Distribution: oracular
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.3-1build2) oracular; urgency=medium
 .
   * Rebuild against new GHC ABIs.
Checksums-Sha1:
 bc21b8f598411a47c98a1aec8bb9c4094b4021ca 4939 agda_2.6.3-1build2.dsc
 5a71068870de59820272d1bfff4093db7de8b28e 11652 agda_2.6.3-1build2.debian.tar.xz
 8df9e0bf9644c6a33cfc7008e426aa7a916b417f 12796 agda_2.6.3-1build2_source.buildinfo
Checksums-Sha256:
 8bfcd4e5d89ad82ed64b5573983f7c38599317096c6f1488f7a86563159d4510 4939 agda_2.6.3-1build2.dsc
 868fa19f69ea789b330fbd47ecd824d5fa684826084e18f3b263db0290d727a0 11652 agda_2.6.3-1build2.debian.tar.xz
 1acb2dc90ea93baaf64d2839a7ac0a42a7aa29828f7d2a894914656aec88e27f 12796 agda_2.6.3-1build2_source.buildinfo
Files:
 4968cc1abb690d644e4b27d3f4e9582e 4939 haskell optional agda_2.6.3-1build2.dsc
 28e9dd9b436f170d3dc9749a2ddc60ae 11652 haskell optional agda_2.6.3-1build2.debian.tar.xz
 29fc2a66d2899250603c864adfd4d931 12796 haskell optional agda_2.6.3-1build2_source.buildinfo