-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 27 Oct 2016 18:32:12 -0400
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.1.1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Clint Adams <clint@debian.org>
Description:
agda - dependently typed functional programming language
agda-bin - commandline interface to Agda
agda-mode - transitional dummy package for elpa-agda2-mode
elpa-agda2-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.5.1.1-3) unstable; urgency=medium
.
* Upload to unstable as part of GHC 8 transition.
Checksums-Sha1:
cfab21b7a7b96fda6675531df8882c2ec0f57fae 4210 agda_2.5.1.1-3.dsc
45ac3b0a42420e3c528eff5bd0c0bfdf8f55886d 1175603 agda_2.5.1.1.orig.tar.gz
5605b756747ae30facc3beaf94a780fd44953906 9020 agda_2.5.1.1-3.debian.tar.xz
Checksums-Sha256:
4cd50c2c794a4f9e83fca4e818b8de3c5a88932c5e4b1f56bf48c0d18ad0a52f 4210 agda_2.5.1.1-3.dsc
563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0 1175603 agda_2.5.1.1.orig.tar.gz
fc5425eb7e3305a5aef67ebdd4b7e4e57bd8342c14f49a006545e6e8eaa29537 9020 agda_2.5.1.1-3.debian.tar.xz
Files:
5931adc24ba5a23d51685545f2454b5f 4210 haskell extra agda_2.5.1.1-3.dsc
801ee9f0f3d0795c08144855b070415b 1175603 haskell extra agda_2.5.1.1.orig.tar.gz
710dd593fd7017a824af533fdd74c248 9020 haskell extra agda_2.5.1.1-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: Debian!
iQKOBAEBCgB4BQJYEolNXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTioF2cP
/i/xZynfzfnFSu7meMJZ57djnZtF/ShRg8P4XP9kq0NjG1tTirxc12vNrrFp1QA/
58owtJSG5lntfYPS3HDxkjSgi6am35ZM00jhmQnL6AMLVtC1Kh8IvTfEFEW6U98T
lVjxBmOycXYX+usskUbCam8B8zmrHwB0A5VVOGHkOm/mtAxWa0dRLqo9MRiHThux
Kv7wi6I7rYpvDraYJMrtJKmGRBFZW5F36XU5OCNGZZ7I/D0snaZxlx+i2ZA/XNv7
k0UQIVEKc2/JW2IE3+D45UhQ1Q69fgxviENm8eGN9V0gXS1yC+O02+yHUsnNeDEN
oEvWipebvxMuW2D7MZI4IHmALh2hoOnLxTxTzPnPW7oeIFBGV3jdXeiwBB0WlCe4
SnaWUxClGJ2v04avoBowzqAvCVTe/xJDpMLFDNUthH+yVMzY40AvGb/1+LYs65p7
agKOr0xkWNOYw752+NhwcHgCZHaDYNvr4xIoxx8zoZYh4pvdG1DNDvqtSZsvHJ7i
9NsVvlOBRWi8BW1YmUKHlBt3Vq9hAFsr3jAEcoSlctWq6UBxvWUjxNi5AK9lbZbv
QhBzG58fMJrm6+rHN6mp/zCaZuSDpLTEI/vbXpWA4lsWEJXTFOeYahdSG4vruBQN
Q1r6TgTChtotv3tLv2OpkGznVAU9U2XEc0OTVMXmrDbF
=dhEB
-----END PGP SIGNATURE-----
