Format: 1.8 Date: Mon, 04 Jan 2016 12:56:33 +0000 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: amd64 all Version: 2.4.2.5-1 Distribution: xenial-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 Changes: agda (2.4.2.5-1) unstable; urgency=medium . * [a116bca] Imported Upstream version 2.4.2.5 * [2c258f5] Update build-deps for new release * [7d835fa] Remove patches which are applied upstream Checksums-Sha1: 31c559172669cd1a98d249dd3fe2384a10e02e48 4661364 agda-bin_2.4.2.5-1_amd64.deb 5a17620edebe1a83f18ea79ac43bd98430024ed2 37426 agda-mode_2.4.2.5-1_all.deb df9879314357dfba73911aafe5b689bb75bd48d8 2964 agda_2.4.2.5-1_all.deb 85e33c174f78556d918573c387bdb4966102f146 10703508 libghc-agda-dev_2.4.2.5-1_amd64.deb 24bc42e8bf8a898f539bb33fad5e408806a5cc58 2197196 libghc-agda-doc_2.4.2.5-1_all.deb Checksums-Sha256: 7e1307b180c7717c7cc6a063db9ba7079f80e6e6209a5a8934af2624ec9961fa 4661364 agda-bin_2.4.2.5-1_amd64.deb 2f7e9fef649cbcd356b3921f9b4501566d7b7939e204b5861eb453e36c627d18 37426 agda-mode_2.4.2.5-1_all.deb 74882a3820d676d7dbad3d0211ffe9e06758beb55f788f3bcd73381b6200fb52 2964 agda_2.4.2.5-1_all.deb 7a7d331ae44191f55f438990f8a98eccdcd18243fffe18397c1f4c8f885e2113 10703508 libghc-agda-dev_2.4.2.5-1_amd64.deb deea35d59b72f8f128a8d44d707cb4c3bf145002bcf7f39f4b33c24e4d5abec0 2197196 libghc-agda-doc_2.4.2.5-1_all.deb Files: c9dfa080c285dc54ce334e5bb3493063 4661364 haskell extra agda-bin_2.4.2.5-1_amd64.deb eb3a8c4a1eb2b44ad38dcfb32627d1bc 37426 misc extra agda-mode_2.4.2.5-1_all.deb b4c5a02f85be4c972442b86401c64857 2964 misc extra agda_2.4.2.5-1_all.deb 07028b6717ebb0943a2fe8aa31a26b2e 10703508 haskell extra libghc-agda-dev_2.4.2.5-1_amd64.deb 98b83b8d36bd9676c52f9937c268154f 2197196 doc extra libghc-agda-doc_2.4.2.5-1_all.deb