[Pkg-haskell-maintainers] agda_2.4.2.2-3_amd64.changes ACCEPTED into unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Wed Jul 1 18:18:56 UTC 2015



Accepted:

-----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 at lists.alioth.debian.org>
Changed-By: Joachim Breitner <nomeata at 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-----


Thank you for your contribution to Debian.



More information about the Pkg-haskell-maintainers mailing list