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: powerpc
Version: 2.4.2.2-2
Distribution: wily-proposed
Urgency: medium
Maintainer: Ubuntu/powerpc Build Daemon <buildd@sagari.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:
 0184a828decbfdd9c553c8124f4f1eea78c0e24a 6573514 libghc-agda-dev_2.4.2.2-2_powerpc.deb
 748dd167e8204e6f2458f54bb046cdc41d3644f2 4027360 agda-bin_2.4.2.2-2_powerpc.deb
Checksums-Sha256:
 eecc7014523f06e095d4e7a6cbc476a915c59c2eb7e620dbb5498e07c9775361 6573514 libghc-agda-dev_2.4.2.2-2_powerpc.deb
 6bb386b590149f3333ec40f0478a2376b9a11a0d66d200c2fffd11e37a9eb8ee 4027360 agda-bin_2.4.2.2-2_powerpc.deb
Files:
 b5a503d842d9fbb94e9b2b52cc1d7f31 6573514 haskell extra libghc-agda-dev_2.4.2.2-2_powerpc.deb
 22d3d848c3feccd65fa5a49a8d4d9958 4027360 haskell extra agda-bin_2.4.2.2-2_powerpc.deb