[ubuntu/eoan-proposed] agda 2.6.0.1-1build2 (Accepted)

[Steve Langasek]

agda (2.6.0.1-1build2) eoan; urgency=medium

  * No-change rebuild for new GHC ABIs

Date: Tue, 03 Sep 2019 05:49:27 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/agda/2.6.0.1-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Tue, 03 Sep 2019 05:49:27 +0000
Source: agda
Architecture: source
Version: 2.6.0.1-1build2
Distribution: eoan
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 agda (2.6.0.1-1build2) eoan; urgency=medium
 .
   * No-change rebuild for new GHC ABIs
Checksums-Sha1:
 386a2e2dd748b91ce1ddf7e5bd71f28b71ff2e63 4305 agda_2.6.0.1-1build2.dsc
 71b8ee522218f78b9fb562e7fb4bccade4801c6a 10140 agda_2.6.0.1-1build2.debian.tar.xz
 f8d84df6bd1b062e817f271af9813c32fceaeef8 5642 agda_2.6.0.1-1build2_source.buildinfo
Checksums-Sha256:
 d29863e2849640b05be1fa3ccd7066d863bd5c3df3cccf147af3202f47fb9f93 4305 agda_2.6.0.1-1build2.dsc
 db863affa5326454676f632a404f042c12c0623b1a523bf9a135a4c1048e854e 10140 agda_2.6.0.1-1build2.debian.tar.xz
 32f4814eb493c6df8a3e0cf52e4d0a1c6663debd033918892a19f872d64765b7 5642 agda_2.6.0.1-1build2_source.buildinfo
Files:
 b869bc26b6e0c399f5d84dc3d9315c39 4305 haskell optional agda_2.6.0.1-1build2.dsc
 358095c9314f782ea4082b90a3c14e9b 10140 haskell optional agda_2.6.0.1-1build2.debian.tar.xz
 bc5168f3ee80ffb90fcf17b1b515a8fa 5642 haskell optional agda_2.6.0.1-1build2_source.buildinfo
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAl1t/vEaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz2kyQ/9FE9z99/HXnHs1xelBiwy
4xqS+Ws8NSLnCjYFduovvTxCHos6KpcX6eTool+vyizX67sSERRjcgXPC1hksh3w
v52CC8Xk8yD4YZy0L/QESFbeAfMxn4iNlOgUgHN+RdtJ885VP2xpnA54NvoMqYHA
SJRdV+ip5SmFCq9sfHbo/cVQyuBnL1FPWfqEC4NT3l4ncm8cGAPxsyKRTvqE/A2q
JDBzshet9G53XXzIBxzuGKyi7GfIwOTY9fNVuFu35kKV4RA1evuYuH0WlI5SaSnd
Z/m6YDiZJ3rJNr/60ZPrEh/uqb1xiw3puPy3NueeRLOttNFw/phm/7UQ/ORt2Vk1
y/4q4ULl8xX9HvS3H7S2I+gMWQOO5uco43ycBIwo8lhoZdi5HkPgA8OUwILQjz7q
3UfduImgyNTMvXZXpSwLKP2xhEGCxrZ/KtR1Ds0w8RzltUDUB9VrZ5EaPdZY23wc
C7N1BIjd94aaLN7zneyFOjdpMlUsPTRPzXopijCPNFzJCC7QZA6YIllubTvcS6+2
xHcWP2K6jItN8t441VPuvkwHwBokTx0/A9KwoRblo7t8PP0j8hYVIt+XknmHmM0/
AuqBthBNQV7Z35PJfmPWxnEUr4NTqpDbE6VGYOkcFTIeLo/9QxUd397L+vWGx0j9
4qOvftg+iBbM97xDu7+k0vg=
=jd4Z
-----END PGP SIGNATURE-----