[ubuntu/bionic-proposed] agda 2.5.3-3build1 (Accepted)

[Gianfranco Costamagna]

agda (2.5.3-3build1) bionic; urgency=medium

  * Rebuild against new GHC ABI.

Date: Sat, 25 Nov 2017 19:53:50 +0100
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-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 25 Nov 2017 19:53:50 +0100
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.3-3build1
Distribution: bionic
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.3-3build1) bionic; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 c2a3e39ef739bc6701357e47616d6c3ef9e6f4d2 4572 agda_2.5.3-3build1.dsc
 2e7cb61a10f6b07305aa8a9bf9d542cd35bea630 9800 agda_2.5.3-3build1.debian.tar.xz
 48ce761f4d8a8331d3686ad738e567cba2fc7bac 11541 agda_2.5.3-3build1_source.buildinfo
Checksums-Sha256:
 a3455d880a9b60fee6c654fde0fa9934ae443c31626691f776c7c62c246d5292 4572 agda_2.5.3-3build1.dsc
 ab4eb698aff253546c46d39882c2413141becb0fc6b5ee462ad54e2d0c6bc879 9800 agda_2.5.3-3build1.debian.tar.xz
 7d1af491166ee514acd4eed65b025d9c80ffc24438c89b0e05efa7d0e4582d17 11541 agda_2.5.3-3build1_source.buildinfo
Files:
 19276151232cbcf9f65e43b640ddbe2e 4572 haskell extra agda_2.5.3-3build1.dsc
 0673e775555dd4701903086acd087f1f 9800 haskell extra agda_2.5.3-3build1.debian.tar.xz
 2d96b4b8b1266b587ec6b414da6f578d 11541 haskell extra agda_2.5.3-3build1_source.buildinfo

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

iQIcBAEBCAAGBQJaGbxAAAoJEPNPCXROn13ZiJYQAKdCpLakjNJUatu6y+LCjyIn
hEamtZbrMcx2z/GN2LoDqHmkmwAkhxgHY5Jc09J7tac9uQNFiNIJUy3yIxReUT4X
0priXByg0DbBln9jPHOUMZAGGwWl7rC2XfohSKDsKcPiF/0RMRAZrWyM+U+vtWuX
ao9/5VkQ7LaUB0UFex12kEsa+uz/65sGlmGBkg16OE6z2V9bK0h99mXv72jsuyx3
KNpfIwQ4ERNKMZr26789e8mdQ5/XziEMEbJ6T2ZEY/qZx1XFM2isGsiQ3utSXxWs
j7q6mzTbOdmdAxJEyHuIAJqpytNo5X3JBaCwGgcoxRtX57pn8FuLaUA+Jo7wguct
8GxEnIRbppuVspIXfJqgfwb7mNyzdUGk93aZ7RElB/kdEQYoSz82BmSqwJ72OfsL
L3Zad9mIRqcJsKUBdGzWXe4e9tXgJQWFOMUKNzDYkNhM4PyDDe4M3opOKl3R64vB
VWNbTh0Xq1tsOdsOChdoI7cb41atR93GPPUYWb+5Z5KHV7dN4rbVjbsz6/67IQ2P
6Qi7d/drdHkZyDtLeFJdaxBVNCc+jRCiU9BgbGezyahbGJP8VLX1/JCKPk+lOtd1
t6NjdxVm9hcyXlvFFGNxKmp7Jm0yyMsc3LnGC6zFKpD2juxY3h4D3oOiCF+TZNEZ
qQw09ywA33G30zkiS5u/
=FrP5
-----END PGP SIGNATURE-----