[ubuntu/noble-proposed] agda 2.6.3-1build1 (Accepted)

[Gianfranco Costamagna]

agda (2.6.3-1build1) noble; urgency=medium

  * Rebuild against new GHC ABI.

Date: Wed, 08 Nov 2023 10:33:05 +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.3-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 08 Nov 2023 10:33:05 +0100
Source: agda
Built-For-Profiles: noudeb
Architecture: source
Version: 2.6.3-1build1
Distribution: noble
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-1build1) noble; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 e048cc92f91c74e38e67d69d4bcd6d4aaa033fa4 4939 agda_2.6.3-1build1.dsc
 b35264b696386af151d42cf83ec70d9e4b96401f 11628 agda_2.6.3-1build1.debian.tar.xz
 b1e0a1ad0ac712b56a2fdec2c80758ad7919f7c8 12765 agda_2.6.3-1build1_source.buildinfo
Checksums-Sha256:
 77f5d727431858573f1b9fd75f0b74698f80335cf7ff6820be84d639796237f1 4939 agda_2.6.3-1build1.dsc
 743888c1ff2363026f2b6aab5e1ec13712cb9d5149153fe4f2b7be87ff1cb698 11628 agda_2.6.3-1build1.debian.tar.xz
 5adf6901b9ee0891cdea4739eb7006cbf64befa62a4c4d200538b0a541c87a59 12765 agda_2.6.3-1build1_source.buildinfo
Files:
 26d57b3773a21ee0e52859a42f61f349 4939 haskell optional agda_2.6.3-1build1.dsc
 4b24dea2059622356fbf31b40c0af6cb 11628 haskell optional agda_2.6.3-1build1.debian.tar.xz
 85fa50911d9906a46b910bc1c57fcbd6 12765 haskell optional agda_2.6.3-1build1_source.buildinfo