[ubuntu/artful-proposed] agda 2.5.2-2~build1 (Accepted)

Mon Jul 10 11:08:12 UTC 2017

agda (2.5.2-2~build1) artful; urgency=medium

  * Team upload.
  * Bump ieee754 bounds.

Date: Mon, 10 Jul 2017 12:54:36 +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.2-2~build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 10 Jul 2017 12:54:36 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.2-2~build1
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.2-2~build1) artful; urgency=medium
 .
   * Team upload.
   * Bump ieee754 bounds.
Checksums-Sha1:
 f8f9ec7415cd7924145e286a9a66c33d07121256 4082 agda_2.5.2-2~build1.dsc
 5edfe469ca23666f60b60f1c3d6a00e4bd707499 9060 agda_2.5.2-2~build1.debian.tar.xz
Checksums-Sha256:
 1efc531065889a8602d605f48812e4af1ca410dadb4dd7bb25bc61d141c6600f 4082 agda_2.5.2-2~build1.dsc
 c253a8581df9fb0a519f46e89b9c5cf7fb730a6846d45bf1fd986587c48d3d6c 9060 agda_2.5.2-2~build1.debian.tar.xz
Files:
 e3bb908ebc725591674234ab71eaec93 4082 haskell extra agda_2.5.2-2~build1.dsc
 bf63582d5445e4247487f93a9ed53721 9060 haskell extra agda_2.5.2-2~build1.debian.tar.xz