Format: 1.8
Date: Sun, 29 Apr 2018 08:41:41 -0400
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: ppc64el
Version: 2.5.3-5
Distribution: cosmic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-006.buildd>
Changed-By: Clint Adams <clint@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
 libghc-agda-doc - dependently typed functional programming language
Changes:
 agda (2.5.3-5) unstable; urgency=medium
 .
   * Patch for newer EdisonCore.
Checksums-Sha1:
 433af39e408703400302a8fa69ed347b2a71f5fe 7801792 agda-bin_2.5.3-5_ppc64el.deb
 cb05c8e94480a9ba3116f68a1836fb27ddff2b1f 11560 agda_2.5.3-5_ppc64el.buildinfo
 1dbd681aac7b9843b93b331247d8df84033ecc8b 23208428 libghc-agda-dev_2.5.3-5_ppc64el.deb
Checksums-Sha256:
 078b06d900a93cc81b97a127375853dc81a5dd190b370fb9bd5936e1e06dca97 7801792 agda-bin_2.5.3-5_ppc64el.deb
 118048947364d0a53a63eb17bb383d88439ee052a86de8473cf76d9175426e1c 11560 agda_2.5.3-5_ppc64el.buildinfo
 40b46aab7ebfa4323363cef0160f3de0a28d224acf75df3ebbf7b332370c7297 23208428 libghc-agda-dev_2.5.3-5_ppc64el.deb
Files:
 56a12ec61c1a7b4a35e028b279cc4baf 7801792 haskell optional agda-bin_2.5.3-5_ppc64el.deb
 20c2c08e1994fe4857513d13d97b8316 11560 haskell optional agda_2.5.3-5_ppc64el.buildinfo
 8d00dad2e06df20010849277d8f31002 23208428 haskell optional libghc-agda-dev_2.5.3-5_ppc64el.deb