Format: 1.8 Date: Tue, 04 Aug 2015 14:46:23 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: i386 Version: 2.4.2.2-4 Distribution: wily-proposed Urgency: medium Maintainer: Launchpad Build Daemon Changed-By: Iain Lane 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 Closes: 793194 Changes: agda (2.4.2.2-4) unstable; urgency=medium . * [d59dba4] Revert modification of upstream source in a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied. * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes: #793194) Checksums-Sha1: 45e41d9337d0a1e8a89e64feae73363c03e1c90e 4478384 agda-bin_2.4.2.2-4_i386.deb 48279770a12d8470052b170d559a33de37eafa28 10540318 libghc-agda-dev_2.4.2.2-4_i386.deb Checksums-Sha256: d307ba1b7a4809ebaee2ffb40a64d22e7a0303c223894daf82a15bd97c914d67 4478384 agda-bin_2.4.2.2-4_i386.deb 54ef38cf3ba41c26f4419bf8973a4199f9700d719fc6f8454e1945ecfed46efa 10540318 libghc-agda-dev_2.4.2.2-4_i386.deb Files: 9db88d0d6f0523bf9fbbdd4cac7cd844 4478384 haskell extra agda-bin_2.4.2.2-4_i386.deb df6c5db2d94d63cb6b20b654fb185d9a 10540318 haskell extra libghc-agda-dev_2.4.2.2-4_i386.deb