[ubuntu/cosmic-proposed] agda 2.5.3-5build3 (Accepted)

[Gianfranco Costamagna]

agda (2.5.3-5build3) cosmic; urgency=medium

  * Rebuild against new GHC ABI.

Date: Thu, 05 Jul 2018 09:45:00 +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.3-5build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 05 Jul 2018 09:45:00 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.3-5build3
Distribution: cosmic
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.3-5build3) cosmic; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 95bf0e9c3cd5d921f5e33c1fb851dc8bf2dd20d6 4513 agda_2.5.3-5build3.dsc
 27fe7258b7438e879698089260b199bf31de44b4 10128 agda_2.5.3-5build3.debian.tar.xz
 1d237ab234c8ef52abfddfde625e9826ac8b7555 10540 agda_2.5.3-5build3_source.buildinfo
Checksums-Sha256:
 9d7eb355ea48600efd83fb664b17295ecb12bce503f53420f2bbd2c9a08b7895 4513 agda_2.5.3-5build3.dsc
 f6abb0b99dd9ea3c8c14510ead21910caee27c66fbff01ad24697d31d0e60dc5 10128 agda_2.5.3-5build3.debian.tar.xz
 1a617d6229bd0744735649f840f4d5634f5b18564bad118121b6035149b7ead8 10540 agda_2.5.3-5build3_source.buildinfo
Files:
 9e98fd9bccbdfd9640e9c344b55b8b33 4513 haskell optional agda_2.5.3-5build3.dsc
 86c88e6a9d50cc3519943bcc579162e7 10128 haskell optional agda_2.5.3-5build3.debian.tar.xz
 9c4cd4a79320bd191d85f7b9dcab3681 10540 haskell optional agda_2.5.3-5build3_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAls9zH4ACgkQ808JdE6f
XdmEvxAAzlKv1G1iezfQHRb2o2pjUaI+Vs/yi7xRQVR2TF5vpbInr6UobnJ/IgWe
I5gS/YmhikZ3y8P7jPZ7XY6lJX6jIUBpSf0bluOjUG8Jc69XfZqHN4nmFpahElDs
b3BnttKBzI3YTJts+DVZWrkqN+qCCDKFqoaL1HZiB9jPCwkoORYyLFgwVpXgPLqi
9O5ha4lphBjHG+wxPsvQXe5IhOXZzjh5oXYG1o/mcA8ci02z4KSOFDCUgPWCUjXP
6pxyP+bmXyHxDV02vCuK1Ct77PEfJxZwv26qmLW90Uj5/+VvdHUsaZSg9/lsNm8T
sJyvpdBZRDpk8UjLuCde1GCRshWaobWElNmwHYkLUvn1kn6qhOf3SEl7HTuqGpw4
DG67yiSkv3EafWV4ybd54TVdtP7KTpLX9FKnOsbqXo4dVDKvVTg2H3W7DqETYXzD
DKCLKOBBE2zfdGA6ly89GmiQpa48HnQvUZOaJmX5nnjoQQWvdCTl2BxYKectT+mL
KCHtSeQoTYOXRuQ1cwkKfHFKdiLlP2pIm7qMeAEc6gg45fV9HWk7WfBloTAxxsDr
UCq7asDEoX+xIXaaPmUE49fdBehBa5dciPSogam5qxda/Hu+oSCGOuY+zTvczV7p
ZBnVdDFkXEIVc78p+f9rrZmsCcc/XHLdu9cGwnIaCT9IFzgP3co=
=a3Ws
-----END PGP SIGNATURE-----