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

Thu Jul 6 07:36:14 UTC 2017

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

  * Rebuild against new GHC ABI.

Date: Thu, 06 Jul 2017 09:35:29 +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-4build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 06 Jul 2017 09:35:29 +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-4build2
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-4build2) artful; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 6ac4438b7921907748c6d3d30fa612da22bdfa5d 4021 agda_2.5.1.1-4build2.dsc
 6074a333a1e0c75024d356f5715ef5896690fa9c 9732 agda_2.5.1.1-4build2.debian.tar.xz
Checksums-Sha256:
 ca19a1e13cb963f9cdcfb96db6977233123ec7b94c47f126eb53af50c80f54df 4021 agda_2.5.1.1-4build2.dsc
 322328fc5cb81e88cb8ffeacac01a28cd68ff5aecf2cf0031d41c331d9b5a5d7 9732 agda_2.5.1.1-4build2.debian.tar.xz
Files:
 ec62effa9f331978dd102a98e0a7eede 4021 haskell extra agda_2.5.1.1-4build2.dsc
 76a3241c253fa02f3062a6f1d04e7827 9732 haskell extra agda_2.5.1.1-4build2.debian.tar.xz