[ubuntu/yakkety-proposed] agda 2.5.1-2build2 (Accepted)

[Gianfranco Costamagna]

agda (2.5.1-2build2) yakkety; urgency=medium

  * Rebuild against new GHC ABI.

Date: Tue, 09 Aug 2016 14:52:46 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/agda/2.5.1-2build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 09 Aug 2016 14:52:46 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.1-2build2
Distribution: yakkety
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
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-2build2) yakkety; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 3255f1f854f8246a6449363d236423929e30d77d 4138 agda_2.5.1-2build2.dsc
 47149b3cb78c89072ca6a0466984b5fc07e11972 8868 agda_2.5.1-2build2.debian.tar.xz
Checksums-Sha256:
 88e503fd40ccc3565a16a50549bd646ecdd7930c5b462c86ec5262264c98bc62 4138 agda_2.5.1-2build2.dsc
 4424ea8feef46012e0e2438d0be254989b870f1eca404d3b326dfbd9e98d80fd 8868 agda_2.5.1-2build2.debian.tar.xz
Files:
 c70099d3a58ebbf5d8bb775d9b4e08a6 4138 haskell extra agda_2.5.1-2build2.dsc
 27b077bc8b23eb7642282b086afd8e52 8868 haskell extra agda_2.5.1-2build2.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXqdIfAAoJEPNPCXROn13ZekIP/3M/+3jKots/l57XDX3oJns2
4Rmey5TFE+ZsW6tMyFWH9rtpqApZ+JGZ62LdBXUqvG5so0L7Z0PMtwgJJNFxTRLN
gS1Zehpv0lyAQxeHsPZjui3ge/dSPWeQi2OOS7+WFj5kjoeQNYW64zewJnbg772J
Ms7M31mQat2AM+ObQssL+z5xlhAXph5RB1OBjXa2GUSaibqJgW2EQtMuDQZCU7NP
6FwAXAo4wyRlRt1eva8qnZBnVCezcmTS6kly/ijNiieVp6/yZvZGT7h2egpdvafy
9KXOzVfHqQ1958kc4kZkxIz2SCFr5tmVyPzpu/iONW/8e7Rh3SkErR384lRk0iCw
F5z366jLrgqSmyldTRukpRTpbpRDdP3gZHWFeI3Y4ihIwbGz9AAgD2F+xY2HXKwp
2foBt+Ua7+D4A61gdMgJ0Xp0tpCEKuEmNWM8Aaqm4SSY0wS7yts2XrmqwHCd3i4C
nAyZM0oMAthRTy0qS7jrpvMw/xw/NHlfXfjBOQbZfaWudMFEXgq2HhRbFxofv7p/
2k981YqbcyM51Q0FNS4+HxpKIR/ehcuyAoqfulVey+RqyKZgngRonVYqG1/RXW5d
vnhfMc4sJR2ep7hmj2VvOtf9H9/udXdPiWjNB9sAx+B4hRzh6vckOjIIfG0FX5Oe
VixjHwCWaqlWLTT9XC/9
=I2xF
-----END PGP SIGNATURE-----