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: arm64 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: 5bf074f0851fb086d4f38e553c5a49c2a052efb1 7412856 agda-bin_2.4.2.2-4_arm64.deb d9d647b9451e4c28fb53d04f39b37e39f46eeb27 16663388 libghc-agda-dev_2.4.2.2-4_arm64.deb Checksums-Sha256: 6762f4aaca5e5baf5648c0b8364b804d03633872c6ea2928410bc9f30ba42d77 7412856 agda-bin_2.4.2.2-4_arm64.deb 2aa1f6e53bad09ab172b133afea61f881ffe5a759e73ca120441f9d4a85465dc 16663388 libghc-agda-dev_2.4.2.2-4_arm64.deb Files: d01991637e5b5462ddc4d56aec009fe3 7412856 haskell extra agda-bin_2.4.2.2-4_arm64.deb e175ae1a52b2e9e22fa6539b1c459a82 16663388 haskell extra libghc-agda-dev_2.4.2.2-4_arm64.deb