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: all amd64 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: 2f49d36527917f15fa043a77eb1f1dd7116cdeb3 2029618 libghc-agda-doc_2.4.2.2-3_all.deb 80f0f0aa5788e5dc40597969511575e2e0178771 36284 agda-mode_2.4.2.2-3_all.deb 6163f5e6f542cf15dc1d38febe8c515a0d64824e 3014 agda_2.4.2.2-3_all.deb f6dee92328dee65848002d88298a6e651460592d 10667878 libghc-agda-dev_2.4.2.2-3_amd64.deb 90c198551d6dc57ef827015adbd8ff69f8656ecb 4507442 agda-bin_2.4.2.2-3_amd64.deb Checksums-Sha256: d4801fed6f273889d5a8edae1b94303bfd9ecb9271b5b1ae743efe0cdc850c5c 2029618 libghc-agda-doc_2.4.2.2-3_all.deb 6909e96308b4d4883e21dfda8ff08fefe42645ce650361dc40a4c0303b50cd8a 36284 agda-mode_2.4.2.2-3_all.deb 911c38e58cc66a5d347af3fe783cdb79cbfd59bb36aaea32dda7972ca12ad6b1 3014 agda_2.4.2.2-3_all.deb c8c9302c9ee73174f802229a54f44210d8d1e00d184814c2415bc698842a56e7 10667878 libghc-agda-dev_2.4.2.2-3_amd64.deb 5d50f5b9a2c3405468c0b180370b5a5e8454f5a8df3c0665d3bacaa8c19b63bd 4507442 agda-bin_2.4.2.2-3_amd64.deb Files: 26ebe6a97db1a4d0a10c5eb5066a29b4 2029618 doc extra libghc-agda-doc_2.4.2.2-3_all.deb 7682169c748bd88c28ff30fff6472834 36284 misc extra agda-mode_2.4.2.2-3_all.deb ae64c50029b7a0f73650b0982644dfb7 3014 misc extra agda_2.4.2.2-3_all.deb 73583dd5e4e5369a53af203e3d37dcd8 10667878 haskell extra libghc-agda-dev_2.4.2.2-3_amd64.deb fe5f0bf9f1787109aa22827896d75810 4507442 haskell extra agda-bin_2.4.2.2-3_amd64.deb