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: ppc64el
Version: 2.5.2-2~build1
Distribution: artful-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-004.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@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:
 24eb5ee45323d98cf54a7c70da6ab1c62ed7188a 5982734 agda-bin_2.5.2-2~build1_ppc64el.deb
 f654989c169de8aeea84c4556d6144ccc159876e 10221 agda_2.5.2-2~build1_ppc64el.buildinfo
 3d16fbf39ec9b523a6887b8e18f9f400bb2aca8f 17823322 libghc-agda-dev_2.5.2-2~build1_ppc64el.deb
Checksums-Sha256:
 0f5223ee58628ebad167388fe46a11eca42e5a41115b90c827a6965693ad06b9 5982734 agda-bin_2.5.2-2~build1_ppc64el.deb
 394b4985ff96a806530780590ef797b7a2dd1a6fc553782f9097aeb010c8d1f4 10221 agda_2.5.2-2~build1_ppc64el.buildinfo
 fc68d6831af3c7f74db08413457f7783cdf7ca29b846db4b22580d6c6f844419 17823322 libghc-agda-dev_2.5.2-2~build1_ppc64el.deb
Files:
 d452a242ecf4a0eb0f8ac6bdc88920ff 5982734 haskell extra agda-bin_2.5.2-2~build1_ppc64el.deb
 8f0e990c6b2fea6db255d7fd8cd02b9c 10221 haskell extra agda_2.5.2-2~build1_ppc64el.buildinfo
 58c2c8580efb071f58cf861215639bcd 17823322 haskell extra libghc-agda-dev_2.5.2-2~build1_ppc64el.deb