Accepted agda 2.3.2.2-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 06 Nov 2013 09:59:36 +0000
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source all amd64
Version: 2.3.2.2-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@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.3.2.2-1) unstable; urgency=low
.
* [244f29d] Use new watch file template
* [16a3f05] Imported Upstream version 2.3.2.2
* [bdb8574] Update BDs to match cabal file
* [9bc56ee] debian/patches/support-alex-3.1: Remove patch applied upstream
in this release
Checksums-Sha1:
6fd2e71a0cfddc00f0f55c7526cf9822149a1b1e 3283 agda_2.3.2.2-1.dsc
9b85b0373cce9055b5070479cb4351fb8f9e2b48 2034934 agda_2.3.2.2.orig.tar.gz
6f0dfc9c85f5a69b176640bf99f21ac0bd81ff0f 7406 agda_2.3.2.2-1.debian.tar.gz
9975d5dd90206e6a0b19d5c5b1dfdef245a877a5 1475734 libghc-agda-doc_2.3.2.2-1_all.deb
d026d9df6db0468f3018552b68db763d4a31a1a7 47488 agda-mode_2.3.2.2-1_all.deb
ee430e2de5831fd4eada7154c94a5e1bd1a62f4f 17526 agda_2.3.2.2-1_all.deb
2de9bc6fd0df07261c5cf549ac4541f7447c9597 8009708 libghc-agda-dev_2.3.2.2-1_amd64.deb
6c8aebd61faba5a5c9a7e0c82fe44f28e67d0f79 3455168 agda-bin_2.3.2.2-1_amd64.deb
Checksums-Sha256:
a19d3e03c38794128c602822e48761a7429455e045dfe243afe24b250eca3e1c 3283 agda_2.3.2.2-1.dsc
0c8310f4067e4daac42d7233e8f245d216763186071a96ccc3d7e0edc5cb227f 2034934 agda_2.3.2.2.orig.tar.gz
3b02726c48e912ac727ef8dbac044033fd5269068592f14fb66587ee1b3faa46 7406 agda_2.3.2.2-1.debian.tar.gz
0ef12fcd1e660e36956af9b62cc9190111079b718231c389e9af423c4b12b22f 1475734 libghc-agda-doc_2.3.2.2-1_all.deb
479c7e8309ddd77af428f35f1f82f0471e516715b512a1a14dfe59c98e3db89a 47488 agda-mode_2.3.2.2-1_all.deb
4c4bd3fda5a787a7bb66d89b1f1dc6a54f4714f8a4338773624ff6b8dc1d72a9 17526 agda_2.3.2.2-1_all.deb
1358ce550b1756b75fdaa3e37ecb4a84ebdab30b2776d759b0f50a9885868930 8009708 libghc-agda-dev_2.3.2.2-1_amd64.deb
dfc66b01407f6a0caded49a6150dca6481de2c7b1236ea8e2b660a0fd0df2a9d 3455168 agda-bin_2.3.2.2-1_amd64.deb
Files:
de1d8d28bcd1a52819c3f5c966014b8c 3283 haskell extra agda_2.3.2.2-1.dsc
ec8cc8bcf6efcaf8d684bc8da6356a1c 2034934 haskell extra agda_2.3.2.2.orig.tar.gz
996af4a672460ce5bbc89f6c6e85dba1 7406 haskell extra agda_2.3.2.2-1.debian.tar.gz
256508846e0e4b1715a92ec9f7caecdf 1475734 doc extra libghc-agda-doc_2.3.2.2-1_all.deb
41b400493aa17822b190b37406942e64 47488 misc extra agda-mode_2.3.2.2-1_all.deb
d194a32bec0dcabecda4c322a987b509 17526 misc extra agda_2.3.2.2-1_all.deb
6e85c83703bf9284ff2d0a512095a9da 8009708 haskell extra libghc-agda-dev_2.3.2.2-1_amd64.deb
32ae07aad67e352df447654c47e9edaa 3455168 haskell extra agda-bin_2.3.2.2-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCgAGBQJSehfaAAoJEONS1cUcUEHUcQwP/3B60lFzGe3SK1HzTnGQIJDy
NApLO9MZQEuHk1zmLzcduakf+B6Qc/vK9oChV0poIm+/671uB8HH43O5nUpNJZMz
EduGHWFkLE7EaMeNKAGHbDtOtlUbZCLgTFN925FuNym/wxIhc62q61GDx/UAvyYW
Jz3vyrUjkNBsnIdih4cABiGkM/kEM5JxUQ1pTHYYxKWK6P62LcjPdte16psyb/ni
Q2Cy6U0qnP0mQe3hGrTM0NjldEPQ55vmb/86k6YMG0TEAnc1uNKjF4CqxCK/1rXh
RbZkYcgWIcBeV75kcb36+CF0SAhgxdbjbKqdueHtiKtxCV1Swp37NMtHkDO44j2i
dTvYbSMYiwU5yT5WaBYa+6GIZ07YrXTSVrL6JamXLSC8bNpMwewqE0xQMtCePBYs
y/ClPw2H4qXRxv9xMvluDp5Wmni/TYSbfGtgrW6TdTAxNsBXFK57Vk1CJFE6BWyt
LvadmfAfY26rc52SAlzjmLKWhqhD1mH8WWJ0YCnqlE8oBz9FqAYBbgDiQmZ0Fw8j
WIpm8gRYIMT//onoO113vdyke/ylmtmWHk0MHImj+azK9DeYwWfQpn0ua4rJ833+
4TNz9OUw1Vk3viWzE7amTtkqx1q4nFQ4w5oGcv30luCdXXHGr1grW9PW8pUcpI9M
X2/XL3Af5ky7BfDtNEHP
=ooEa
-----END PGP SIGNATURE-----