-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 16 Oct 2016 16:36:45 -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-1
Distribution: experimental
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-1) experimental; urgency=medium
.
* New upstream version.
* Disable arch-specific handling to see what still breaks.
Checksums-Sha1:
886d78cd601171ab4081483cde99fcc7bb2f810f 4209 agda_2.5.1.1-1.dsc
45ac3b0a42420e3c528eff5bd0c0bfdf8f55886d 1175603 agda_2.5.1.1.orig.tar.gz
c2ad64e1b480623286001bccc92ed4637b8739e5 8768 agda_2.5.1.1-1.debian.tar.xz
Checksums-Sha256:
dd136f8d54fdc75f3090f92a726488738966b48035229f49716011ab89ea60da 4209 agda_2.5.1.1-1.dsc
563b8063fc94349b56ae1867e973f1751db0e9a8997af7ede93d3c3a8c66a6b0 1175603 agda_2.5.1.1.orig.tar.gz
06b4544bbf87ab40f3dd8d5942f1d63e40a8fcd24e479126a43dfafde5885c30 8768 agda_2.5.1.1-1.debian.tar.xz
Files:
29da501ce44e026b0dea2df68c6ef2ae 4209 haskell extra agda_2.5.1.1-1.dsc
801ee9f0f3d0795c08144855b070415b 1175603 haskell extra agda_2.5.1.1.orig.tar.gz
0f607b42223ddfbacbf8b7d6ce3720d1 8768 haskell extra agda_2.5.1.1-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Comment: Debian!
iQKOBAEBCgB4BQJYA+UCXxSAAAAAAC4AKGlzc3Vlci1mcHJAbm90YXRpb25zLm9w
ZW5wZ3AuZmlmdGhob3JzZW1hbi5uZXQ3NTgxRUM4NzQwNTNFNkM4MDc3OTFCOUI1
NTkyMzMxRTE5OUQzOEE4ERxjbGludEBkZWJpYW4ub3JnAAoJEFWSMx4ZnTio6jIP
/j40qNDoid0iS5lINQDKhbzG96MdkXlyIyRnTC4rLm0UMoMrQW6ERCIR7P+4/qJu
B8SMMMyq5zVE8AJNztW8D2MolC3V8Q/LzGKe16hLjgdoCaMDTC7cuUxneR2dqt5L
EzqpwY2K6TuD9r1JJw9iDOMSaQsB1akY7W8kRRpGUPm3nzH6s0Tp7jAuekgJn9Zm
WNblZHi5d1C4PcH4iI9ubmj2i1nqrGnPgUhhZKnjzS+r4V3G/zsZFuYobqIUz9n8
C92vkGuBYgCNnOCIJ0RnJVz1sa8363nw1NJqi5wJGy4dmmZR0qI4Y6Km9cO+8e+n
zi5RnHiZ3p9fhYAA9yZdedqNJQXcg3ldjW18NqPq4P/S+TcFEdPHwAmV3vQyOp3y
8YWne/QuxY8AZd8sUI7VSLJMlEcqhSkv2ZpMi9f+8EE6OewV3Psru4fI4zhBeujs
X54AhWE506e8q9KKJVLfk4ipGPEOwrsc9g9Et27rxfGqHfXM9F2gni+sZxgaxA6b
Ql/IG6mp/1EeaUeWXWa5Tpmq+z0s/R7mRwXZeVl6+47IQvSOW7sa7Kn8GcQylLmG
FnSrKC8bJp5GHxUoiAaXlB4avbE2kIKQ3wkQg+et17a+GdFG/XP+BD99oNk5nwMM
shz7GZVHOWznQ9Q6RTUvBaQtLY6ESOrtEq061cKhAibj
=LNuq
-----END PGP SIGNATURE-----
