[ubuntu/eoan-proposed] agda 2.5.4.1-3build1 (Accepted)

[Gianfranco Costamagna]

agda (2.5.4.1-3build1) eoan; urgency=medium

  * Rebuild against new GHC abi.

Date: Thu, 08 Aug 2019 14:49:53 +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.5.4.1-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 08 Aug 2019 14:49:53 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.4.1-3build1
Distribution: eoan
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-mode  - transitional dummy package for elpa-agda2-mode
 elpa-agda2-mode - dependently typed functional programming language — emacs mode
 libghc-agda-dev - dependently typed functional programming language
 libghc-agda-doc - dependently typed functional programming language
Changes:
 agda (2.5.4.1-3build1) eoan; urgency=medium
 .
   * Rebuild against new GHC abi.
Checksums-Sha1:
 7ed7ede5f2b409f7ea241731c7a07f1fa83fbf8f 3865 agda_2.5.4.1-3build1.dsc
 8539fab9cecbe6ae5c36c962a6c1f106ee4c289a 9968 agda_2.5.4.1-3build1.debian.tar.xz
 21edef256b078957c258994b1b80bfcf44f2860e 11727 agda_2.5.4.1-3build1_source.buildinfo
Checksums-Sha256:
 7649d58aef92c6c2ce2ddf1669e39bb483b393e6824d2ba9730e9a59bd1fda56 3865 agda_2.5.4.1-3build1.dsc
 a6d3ee449c185bff2977c7b1c322e8ccc369707f9ffb09db024fdaa447c32dd5 9968 agda_2.5.4.1-3build1.debian.tar.xz
 4514ee6d510b9bdc8a115ac175f29f046391e50a3562980b812a3e8ba1d6a7e3 11727 agda_2.5.4.1-3build1_source.buildinfo
Files:
 b7bb301ea3df1e914dd0f23982123cd6 3865 haskell optional agda_2.5.4.1-3build1.dsc
 c91a9efc9268d9f93f32f66733b755b9 9968 haskell optional agda_2.5.4.1-3build1.debian.tar.xz
 5356b07a511ee2977378372aaa49f772 11727 haskell optional agda_2.5.4.1-3build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1MGnMACgkQ808JdE6f
XdmcSQ/7BAeDjDdSC4QNOp9H5Me6lUBtwxHh9JnLcTemLkb0DH9X8IKr10D0U0jn
Wob6c+iZQmWZxkuArHUtQnU5vk+yFcMHjQVqHtQxfNpDGUISvziEtbT5x12r2VrZ
rvHOzG8daCPJjurrbYollQcnBzgyL5eeJFBqva50VO2zKeM7TcniNmMkCDP6iTnK
mnI0uJ+RVBs8FgrDJ7858cAp84STixZxoDf/9ISOjk8Huoz6MILCR9tjcbyQluYv
xSOIzZbAEYuW7JpazG3ygDspsoNciy/sXJTsnDvMPeG8Y6u2ZWiChvldR/452Kiw
dBTEq8LPxfms/dV9br5kiHxR2VqxfXTFFiz0F08pyJfao1VQFJAMl6yBhqGdjACg
2bA/+mTgv/tznINxMwrpwhY9U6C9WfJhEm8Mrv5olwr61f9MAgQcP6NpNETPRhEO
LkTnLYKNno9X+/r+DZwZU2kqee8i2QzFx+yPk8+1FNOLno3btqmkVUxwLu4iBTBl
DCC1bBiTw3/xmfNgg7qLlrgEjKWC+XvR286OpO/KSzKNkunKzQa1B6xQSgUjHIN8
8x9Po3TTnzosZVtNE3k+dYKY54cduOGK9e+LjsWng5ImwsO573rbUZfSGEp+9ETk
N4kVy4hPh+ttl0NsqcrI2vFoZieURQ4byWfx/9wmy5546FQsYmE=
=lg//
-----END PGP SIGNATURE-----