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

[Gianfranco Costamagna]

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

  * Rebuild against new GHC ABI.

Date: Wed, 04 Jul 2018 15:38:58 +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-5build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 04 Jul 2018 15:38:58 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.3-5build2
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-5build2) cosmic; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 3f7d25ac8d17f065a11853e248c24a0a80ceef3a 4513 agda_2.5.3-5build2.dsc
 fb64024b9b12821f38502ee0c366f24cb3803d49 10116 agda_2.5.3-5build2.debian.tar.xz
 d2dfb78fa5d22893ff05925ebbc0d6d01ab104df 10531 agda_2.5.3-5build2_source.buildinfo
Checksums-Sha256:
 5ce18c30009c99a08c37ba7ab6f1bca3686714ba4c727be39b9e5d8d1c153382 4513 agda_2.5.3-5build2.dsc
 0a809092cf61f1f686c937cd09bf7e42cc2915d6de474a8d13fa8921f5c4eeac 10116 agda_2.5.3-5build2.debian.tar.xz
 c66d35492111cbd171c9d9c8b8f01e4682b21fe54371d816ca19c4247c23d3b8 10531 agda_2.5.3-5build2_source.buildinfo
Files:
 74d8a7200de4858d23826666b0c0e28f 4513 haskell optional agda_2.5.3-5build2.dsc
 3db1cb7652dcc36f716de8107378119f 10116 haskell optional agda_2.5.3-5build2.debian.tar.xz
 862a71fcf4f1881a87ea9c686935efdf 10531 haskell optional agda_2.5.3-5build2_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAls8zfcACgkQ808JdE6f
XdmhYhAAspntolDPvYUOlEcD7dF2qyQh5DdHxOzhU/thDovCNygXIGV1UWVOin11
dLJiOKulXaQoRRU8eVSHFloA5XX6YECR5OlGhUpvrySGt1vpBs+cOQCj6k/5OFgL
7FeVStUBxaW+/27FyQBN1oxwmOerTwzBNN7gqiKIFCC+PShlMwNl0JzNFR1xkcOt
i76sxAHHrn5413z7rtlerq+ksVXkBMnKMabJT71lpClbkXGlH2bxDsvehJITQekK
WD7VTpRDbud8lYYtBRSpfRS11l96ILhXwHsF7CBX6mzivAmc4Yx+jNxe4EULYnPz
kGZVCkcunwsnXIVKLRs+BDWOa3UkEpbABmw6W+48ClC1ht6WbZTQSmuESC8P0qC+
J1R+qCbTPdCsRdyx7xn1sNxThB6FoPxkHlWIcnGb17ZU+/YgOMsuYFxOr17h+cLn
DEYaGd8UqO1sh7v4V+x7PVNdLTn/jekdJ4xho8+PKbNCXBrNo3cop+Q71NqZSRAN
DnAlrpLu21/hLlWgHcOQDnj+GFW5jmnQCX6TaA8ZwMCfHw4dJPNgdummu9TEUm7f
NEzw+aKCFSsm3lsSJBQzCGF5RMvh/f137jNMe1d+5r8MJBH03iyPAG/4/2B8Zzsp
dz5JbLI6y7b2JRXih+wlL1B5jkSSE7txx6VzpovKRa/OVds3vYQ=
=Ce5m
-----END PGP SIGNATURE-----