-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 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: source amd64 all Version: 2.4.2.2-3 Distribution: unstable Urgency: medium Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Joachim Breitner <nomeata@debian.org> 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: 16c64af566c71d9d40caf0c26f62d709da4c90c2 3596 agda_2.4.2.2-3.dsc 765ffc445809aebcdb465db8b0e98e1f7dd3a5d8 8348 agda_2.4.2.2-3.debian.tar.xz 9c132289354e56fd7c02ad5f3d51200f8709f24c 4550776 agda-bin_2.4.2.2-3_amd64.deb a5d4e30f125b8341bdd0d8e6dee32494fb0a446d 90036 agda-mode_2.4.2.2-3_all.deb 3c03b017aaad8bb919517f23734006a7ce5a8fcb 58076 agda_2.4.2.2-3_all.deb 491943b38ea91c66934204bf20c15422148af2ff 10706886 libghc-agda-dev_2.4.2.2-3_amd64.deb b2cb73e712ce59983afdfbb3831c2ac897043a36 2030974 libghc-agda-doc_2.4.2.2-3_all.deb Checksums-Sha256: 0cf7aef2f9585b24e0d979524cf0b13fa0527422c58cbe17b979d3483c8a7992 3596 agda_2.4.2.2-3.dsc 77f42ba98a4540b23089a78b8f0bfec2e9d90742e8c6faaaa77b858eb9cd52d2 8348 agda_2.4.2.2-3.debian.tar.xz 513181b0a0c2c1ded245bf6257b416b6dafff50d50966dcaa68db6cea8011aa9 4550776 agda-bin_2.4.2.2-3_amd64.deb 43a93afe198c5ca9a1073abdb2552c1c8c16ef22e163931b34225edb3f9608ca 90036 agda-mode_2.4.2.2-3_all.deb 84cfae5a1643fc98b00313d815f781fb18bcba6e90d9f13a262d4a27ddba1b4d 58076 agda_2.4.2.2-3_all.deb d9142eb86d1424ea47c8abf18295ec372609b33a4d012bd7f1e2f94a510d4647 10706886 libghc-agda-dev_2.4.2.2-3_amd64.deb 931a70e87507d817cc5deb60c062a1130c2d063a3e8d47bfc93075b910c7734e 2030974 libghc-agda-doc_2.4.2.2-3_all.deb Files: 298d8b8fed39b5f77fd957241ef675fd 3596 haskell extra agda_2.4.2.2-3.dsc aed8859763683b7a0624d036406be2b6 8348 haskell extra agda_2.4.2.2-3.debian.tar.xz a0822915f1a450168862f6986cdcb048 4550776 haskell extra agda-bin_2.4.2.2-3_amd64.deb f8692c33cf552c2bd09b325554cf2ee8 90036 misc extra agda-mode_2.4.2.2-3_all.deb bd4a14c46bfc161d709f115222f0954e 58076 misc extra agda_2.4.2.2-3_all.deb 59ff1900b602591bfe92364cd238197f 10706886 haskell extra libghc-agda-dev_2.4.2.2-3_amd64.deb b411a6daf43539eec30a605557e2ac76 2030974 doc extra libghc-agda-doc_2.4.2.2-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJVlCjDAAoJED2QirPw+/Uf2ckP/0ks9qzHV7Ku6fbLz2owLzSa rS4eWrLCCCg6MTc+b20M2b+1Hwi3d9P4bHXc9XZhx9AyWBLY2xzGyCO+vX760uG5 EPfundB0jx1wULOoyzWTAzy1vt1LCSYf2BAkUGI9YRVM10ho2t2AwIbrcoYho8Mq Cr2OGmoh9vtuk3ZBdyX2KbNshv3CIGFhKuvpV1VsC64Hq21+lZcwdIN+FIuBh4CA kvy2X7v6OSZYkUCmOsMauohYWjcwzLVwUN7h+RQkRXxX+UItsE+iuDm3EyK6n8Me /G564YyTlEt2I+28kM7zkrhwxgh2fcvWk2JogsFKxoKNql/q7SHVrKrGSDKLMcY8 kXsoVZRQmD4ODs6nDfm8Q7XW0oHzMOdKBnSDsTXCrb4M5V508N+TMRajyoooj2ej yN2QToNzusaVKLou2x4wIx3tQydnt5DkMc27H6DvDL+iE1OBlneJsDYKXacUW4hZ KXZrESvpQe9egkVyWkSJgKrCslRUPe0yCgmmG/EZ5eg2IQPUBFlaPBPNurUswroS ThvkW4TOEl/yCFCvrAQ0Zjxtq16UTSxjoBTBVadYleY9F2opA3Aufg3FwYS9Er9i 3o0hEU++6HpgwCwwb/ZU4C/2XkyKi8qHiN6vKf/gdApGEvNjSDPMMZMmckHMayJF Ypr6m4/AeRKQRnFHZclP =uDmE -----END PGP SIGNATURE-----