[ubuntu/zesty-proposed] agda 2.5.1.1-3build1 (Accepted)

Thu Jan 26 06:41:15 UTC 2017

agda (2.5.1.1-3build1) zesty; urgency=medium

  * Rebuild against new GHC ABI.

Date: Thu, 26 Jan 2017 06:14:24 +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.1.1-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 26 Jan 2017 06:14:24 +0100
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.1.1-3build1
Distribution: zesty
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-3build1) zesty; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 a96f338dfa4adcceb3d779cdff279ab2c2518538 4081 agda_2.5.1.1-3build1.dsc
 2c3966d05bd5269ceb06d1e57163fe7df30c5e2d 9076 agda_2.5.1.1-3build1.debian.tar.xz
Checksums-Sha256:
 5cefaa20229fe6f2229c9a0a5e5fc5aff0a5623fc8ce5fc4b297cda09967864d 4081 agda_2.5.1.1-3build1.dsc
 594d04a8b505e93e9acd6ac0650ade17ade8c60efdf0fb56ebaa4bfbad386f0e 9076 agda_2.5.1.1-3build1.debian.tar.xz
Files:
 7d6d4adbadd03c0e1e289091b51413c7 4081 haskell extra agda_2.5.1.1-3build1.dsc
 c6a4105dbf432093dc4090c1101a2ef8 9076 haskell extra agda_2.5.1.1-3build1.debian.tar.xz