Format: 1.8
Date: Fri, 15 Jul 2016 06:41:20 +0000
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: armhf
Version: 2.5.1-2build1
Distribution: yakkety-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-017.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
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-2build1) yakkety; urgency=medium
 .
   * No-change rebuild against libghc-unordered-containers-dev-0.2.7.1
Checksums-Sha1:
 e6159a81a28a182e6876b8474cfea6d8b4790e69 6425980 agda-bin_2.5.1-2build1_armhf.deb
 9a623f0b82f1de42bfbcffef7f76c60364ac2aad 15440558 libghc-agda-dev_2.5.1-2build1_armhf.deb
Checksums-Sha256:
 2d709d3ab8212f6361341399222716c6de177500901f27e2bcf684fca282c4a8 6425980 agda-bin_2.5.1-2build1_armhf.deb
 8b567cdc798c29a11503d04bdb713679e6207022988c56c4d262f375d907ffe7 15440558 libghc-agda-dev_2.5.1-2build1_armhf.deb
Files:
 011d1ca4e782db0f1e2320aae9fb420d 6425980 haskell extra agda-bin_2.5.1-2build1_armhf.deb
 bfb0123cc735d41644ac9598fd717959 15440558 haskell extra libghc-agda-dev_2.5.1-2build1_armhf.deb
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>