[ubuntu/lunar-proposed] agda 2.6.2.2-1.1build1 (Accepted)

[Gianfranco Costamagna]

agda (2.6.2.2-1.1build1) lunar; urgency=medium

  * Rebuild against new GHC ABI.

Date: Mon, 12 Dec 2022 10:50:08 +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.2.2-1.1build1
-------------- next part --------------
Format: 1.8
Date: Mon, 12 Dec 2022 10:50:08 +0100
Source: agda
Built-For-Profiles: noudeb
Architecture: source
Version: 2.6.2.2-1.1build1
Distribution: lunar
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.2.2-1.1build1) lunar; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 138774a10a4441a1f5f853df27721643cfe632ed 4450 agda_2.6.2.2-1.1build1.dsc
 20f640d20d4d5ca5b15ca78b4538757289ce0633 10536 agda_2.6.2.2-1.1build1.debian.tar.xz
 04ee0476cbb77d89066529877df9a9f972a1b2a6 12724 agda_2.6.2.2-1.1build1_source.buildinfo
Checksums-Sha256:
 035e9fac6e58a5b925b89bbb56ba35b0e458e2e3e860562157cf41938ffcc34b 4450 agda_2.6.2.2-1.1build1.dsc
 95ca2b0eb7b59ad65eac7ec010bd40c93ae5c53d6cf96b6641577c1f8e54c53e 10536 agda_2.6.2.2-1.1build1.debian.tar.xz
 6464c0da1d39ef6d6e865d8118e1db659b20bf8950c671d7f5b7f0bfd6a004c4 12724 agda_2.6.2.2-1.1build1_source.buildinfo
Files:
 81a9c7d4c1da74bda4ac270e9c7ed528 4450 haskell optional agda_2.6.2.2-1.1build1.dsc
 a38f3ae270b5a99b1c5ff6a4335be125 10536 haskell optional agda_2.6.2.2-1.1build1.debian.tar.xz
 d9f8b63646ab5a7ac4a3a4bdee0dbb6e 12724 haskell optional agda_2.6.2.2-1.1build1_source.buildinfo