Format: 1.8 Date: Wed, 01 Jul 2015 19:26:22 +0200 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: powerpc Version: 2.4.2.2-3 Distribution: wily-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Joachim Breitner 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-3) unstable; urgency=medium . * Fix dependency on hashtables Checksums-Sha1: 6e88743d7acfffee562da89edee7548e86d3a999 6573652 libghc-agda-dev_2.4.2.2-3_powerpc.deb 60d37345e2d2faa824110efb063f6c57ea70b891 3998906 agda-bin_2.4.2.2-3_powerpc.deb Checksums-Sha256: d1b64733e53db6bf8ae20d26d97bda3f3ae3c4a2c71895737ecce54f0385d771 6573652 libghc-agda-dev_2.4.2.2-3_powerpc.deb 29dd6e41780b2e4afdc4956237b829818b4d46280c26d7f52cf6b8375579ab16 3998906 agda-bin_2.4.2.2-3_powerpc.deb Files: 31de2fe578401e74257ab8bf6c95497c 6573652 haskell extra libghc-agda-dev_2.4.2.2-3_powerpc.deb 4de26c9bf3362861812c42109a649d0f 3998906 haskell extra agda-bin_2.4.2.2-3_powerpc.deb