[ubuntu/artful-proposed] agda 2.5.1.1-4build1 (Accepted)

[Gianfranco Costamagna]

agda (2.5.1.1-4build1) artful; urgency=medium

  * Rebuild against new GHC ABI.

Date: Wed, 21 Jun 2017 18:23:50 +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.1.1-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Jun 2017 18:23:50 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.1.1-4build1
Distribution: artful
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${haskell:ShortB
 libghc-agda-doc - dependently typed functional programming language${haskell:ShortB
Changes:
 agda (2.5.1.1-4build1) artful; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 d7c685779c189b907d64c157f947a70dbc069598 4021 agda_2.5.1.1-4build1.dsc
 1af6d26ece4ee727f857597c6e185c171e363561 9752 agda_2.5.1.1-4build1.debian.tar.xz
Checksums-Sha256:
 d61f576ae2f8911595230b4de9331a7a014c182e3c7c223024fe69e6e2388cbf 4021 agda_2.5.1.1-4build1.dsc
 d26318fcb71ab08ec4f4aeaacdb2cbc94734a74913084535609934e3d45d8d6d 9752 agda_2.5.1.1-4build1.debian.tar.xz
Files:
 12761e1b28aaa08cff787137d09e7451 4021 haskell extra agda_2.5.1.1-4build1.dsc
 cb586a6424721b25b7f796e9165632b2 9752 haskell extra agda_2.5.1.1-4build1.debian.tar.xz

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

iQIcBAEBCAAGBQJZSp2XAAoJEPNPCXROn13Zmv4P/01hy2HudHONDEJzlySSLJra
PujA7trm0JRVmykgdSoVfoYTKdpnD8C5QY+YK7/YnwFX5HPYVp8mvAOtra4qU8YV
ClThOv0nhTeZoO6kJgTxdtT6ozaPE5SVV2IPQ5waZWY7qCVX1896xbDn41etrXoV
LKisdC+S1jfBITc5Pbk0LrwILf87p63VT64zn6k8eF9tMvRVg66BQspTnKdFoaTZ
CYfmaTSLYb2CB1Hw2A4hsZrgse6O3MOCb4YiuV1m5/NDLtpYls5arU0DYvrRexZp
oLmSSLppn7hySUZTWUgjCcE6kLEtSedFgHPzY16k56XHUThrJ4un1tKOR5Rwv5Tb
swDqvxFYd1RLi9BG3rFG7T9e0CyvEkL789vpP46gcwHJQx1ZtQgkbyA9/Z7RKMps
dF0TGTvsDoUIpfBEv7nGc6eGFtxawS4G226clQ+c3PaobHi9bcDs2REb270Omska
fgGoKE7bnRJ/PVK4pLNNFU8Xj1SiT51srHIN8fDPjkLpBo5qmlAZsekM2kCa0yHj
GTKlTGFne+HIusSvfGiYlqEvKfF/HyhGe6QIOWbqrdrMuOWlGNutAU04LwSyf2jc
tnjEuGtmUxKcm3fnxCghA7TH/IB5nIUW4VXtQyfqmzOnd917JAtvyJ3R7X5srEEQ
a680pAczy0k5HJCed08e
=eOOt
-----END PGP SIGNATURE-----