Format: 1.8
Date: Sat, 15 Jul 2017 10:36:30 +0200
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: i386
Version: 2.5.2-2build1
Distribution: artful-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-18.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-2build1) artful; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 b642b3dc05203692219e70517afb72f11560177a 5019930 agda-bin_2.5.2-2build1_i386.deb
 4c2288f12508f05f1c37897e001361f70c57b89a 10304 agda_2.5.2-2build1_i386.buildinfo
 b8c7d16c3b1b1dc8a782263cb10bc30550b59b7f 13131994 libghc-agda-dev_2.5.2-2build1_i386.deb
Checksums-Sha256:
 081303f6d3409b811cb0bfd5318f0e7f9bcd2194f83d6848f79ca885bed0b024 5019930 agda-bin_2.5.2-2build1_i386.deb
 f68bfdcadfe9aba0e5846e8d6ebc05a7ebdee76d8a3b23552a74ab730fdab481 10304 agda_2.5.2-2build1_i386.buildinfo
 cb6d10eed0f329e60cd4984b4db11949d1008c7c213d4f0a8f4cf150b098b8b2 13131994 libghc-agda-dev_2.5.2-2build1_i386.deb
Files:
 7c212094bee6e850684d72da8e5f3489 5019930 haskell extra agda-bin_2.5.2-2build1_i386.deb
 b61186ecb09a9c6d831c4f7c2bf0f80f 10304 haskell extra agda_2.5.2-2build1_i386.buildinfo
 84546f10822e9c7086d5d1d9567249e8 13131994 haskell extra libghc-agda-dev_2.5.2-2build1_i386.deb