Accepted agda 2.4.2.2-3 (source amd64 all) into unstable
-----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-----