Format: 1.8
Date: Wed, 20 May 2015 13:08:33 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: i386
Version: 2.4.2.2-2
Distribution: wily-proposed
Urgency: medium
Maintainer: Ubuntu/amd64 Build Daemon <buildd@lamiak.buildd>
Changed-By: Iain Lane <laney@debian.org>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-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.4.2.2-2) unstable; urgency=medium
 .
   * [d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps
Checksums-Sha1:
 c0f9f47d153d436a670e87d38370bc8cd4313e31 10573164 libghc-agda-dev_2.4.2.2-2_i386.deb
 8a4c5c04aa58cc776956ce8c02d7dd7e270eb734 4504956 agda-bin_2.4.2.2-2_i386.deb
Checksums-Sha256:
 d40f03c36cb59a6d290713559ba647498bbf75219675847a2065c2942960f17e 10573164 libghc-agda-dev_2.4.2.2-2_i386.deb
 09f87578612b79155055a909baf8b273db8f427d5953e65012c0bbfbeec0a5d0 4504956 agda-bin_2.4.2.2-2_i386.deb
Files:
 cb0bfe979a6fd70e2d885567c3b2b001 10573164 haskell extra libghc-agda-dev_2.4.2.2-2_i386.deb
 48d88c09951f82e0d2b8224521f07f66 4504956 haskell extra agda-bin_2.4.2.2-2_i386.deb