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: arm64
Version: 2.4.2.2-2
Distribution: wily-proposed
Urgency: medium
Maintainer: Ubuntu Build Daemon <buildd@templar.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:
 ffdfe25d5ffb29076499fe3715219613dc7b8e52 16790162 libghc-agda-dev_2.4.2.2-2_arm64.deb
 96169b873173255335cb4d03ddb8f10e98f87385 7513968 agda-bin_2.4.2.2-2_arm64.deb
Checksums-Sha256:
 cbfed3bafb7f07617bdea5cf2b3214256a86bd88553b805d83adb21f070a2855 16790162 libghc-agda-dev_2.4.2.2-2_arm64.deb
 c8864936f99de2c5d001d62a76e1b37774df75c98e7efdd02e42d0b6c11261b8 7513968 agda-bin_2.4.2.2-2_arm64.deb
Files:
 c523ade60195de5c8d24f4ed96eeb7a8 16790162 haskell extra libghc-agda-dev_2.4.2.2-2_arm64.deb
 76899abd54ca036340746fe729774c1f 7513968 haskell extra agda-bin_2.4.2.2-2_arm64.deb