Accepted agda 2.3.2.1-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 19 Oct 2013 11:58:05 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin
Architecture: source all amd64
Version: 2.3.2.1-2
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.1-2) unstable; urgency=low
.
* [da376f6] Update BDs per .cabal; extend hashable, remove packages provided
by ghc
* [e21e765] Cherry-pick from upstream: Suppoert Alex 3.1.x
* [2263659] Remove "dist" generated files accidently commited
Checksums-Sha1:
6c5bc00c45d1d883c4483d48d470d74a17f5d233 3280 agda_2.3.2.1-2.dsc
5aec10b971e253bbac46f52505fdb50745e576b9 7692 agda_2.3.2.1-2.debian.tar.gz
56ba980a38379ba999e48d3ed719d993a88e9aea 1471872 libghc-agda-doc_2.3.2.1-2_all.deb
dda4b729548559b2f276e948bb28cd6fdf6eaa6f 43602 agda-mode_2.3.2.1-2_all.deb
acf929838d51a326374aa52d6d35fece3ad4f805 13608 agda_2.3.2.1-2_all.deb
152caef96bf190c1d937baa82834cc3b32081709 7993904 libghc-agda-dev_2.3.2.1-2_amd64.deb
6397b7ab9c7ad621af7a67c701cecce29a6378ba 3379782 agda-bin_2.3.2.1-2_amd64.deb
Checksums-Sha256:
6aa4ac798d6ab0a315b6a509eb2a25073155b1475883aa729c16d468f70ae5be 3280 agda_2.3.2.1-2.dsc
a95ddedb4d32ff2a2381f71c476cbffd9f8d62bd277f7118c1909d3403fd74fa 7692 agda_2.3.2.1-2.debian.tar.gz
ac2ec25d563298fd74c87600263dffb5aff704b137e5c31c6dcf6e4a29a98fdd 1471872 libghc-agda-doc_2.3.2.1-2_all.deb
025699dfc74d19e40335b716aa03b779d90ff2e8213c1c8f5333e036723b0d8b 43602 agda-mode_2.3.2.1-2_all.deb
8ea4ebb0488db9ca7a59f198432a9695781374e6d419437df1f541d4ad50b3c4 13608 agda_2.3.2.1-2_all.deb
a8c6c554035d0c1f745607046925f8b9f4c2fba63c3d7411ef72543ec7b6113e 7993904 libghc-agda-dev_2.3.2.1-2_amd64.deb
210d483a09a99efd083cd88bf8a57ec21ac4cef794e03abab1aa8b03419c7f59 3379782 agda-bin_2.3.2.1-2_amd64.deb
Files:
05bfed8b905f7df1d2c1e42581e56ae9 3280 haskell extra agda_2.3.2.1-2.dsc
3a5472e08f3dd49efdf81d9794bf99f2 7692 haskell extra agda_2.3.2.1-2.debian.tar.gz
e52a394383733dcfa040092fa258fa4a 1471872 doc extra libghc-agda-doc_2.3.2.1-2_all.deb
cf556f47a1011ecf8b6011e9aa1cbae6 43602 misc extra agda-mode_2.3.2.1-2_all.deb
33e34d5b9a0dc148f1b17e75d3aacea6 13608 misc extra agda_2.3.2.1-2_all.deb
d7dc68dd266e15b36266d0c6ee7d1de2 7993904 haskell extra libghc-agda-dev_2.3.2.1-2_amd64.deb
062aca356025400c46ed246799badd03 3379782 haskell extra agda-bin_2.3.2.1-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.14 (GNU/Linux)
iQIcBAEBCgAGBQJSYnI0AAoJEONS1cUcUEHUzU4P/3C9m52RPGZ2ZZPmY+mDAfbw
wjnp8ahR3cXwE/G5lJrCVwjvzLzGPeDnVA2JdRpzTnSG2EQYWd/ur8tf+rkYLOYD
i0NKlq0DuVwZVnspFIfal2sCOWH5R7AyxNQZ/WBOC+pk7sLByVVYge9SAoVVLAqS
jzn9heCvrcIV0z7CIeKTOqyU9kaDvdFg4B2sR5ZjxvkriCgM2dm/JVnpK1yZQynO
cDiRzDy7kyXADmwoZfp4lNuKB+LeUp9s/+fqF7LIrqR41QWi+2KFd/ppiGTeFxoi
aWyzdpthtQYmHX9OcKR4WEEy1/NG2GUO1SLOCrN5jRiwoo5kGUBFs1mMOUyZ1ZiG
P4KRdD/QSqENbsp5sQwzhinKJ2Z0adcJvmuj/vvyxVlzsoIsyAfh6uTro53zI6gm
cZxCy40TtfK7Jks82EPDotRujd2AM1CPjajEOiNcurGM34/NAwGswkavipgVyVDV
HEw7YaQgvpK8ijWyh7SdNXyOSLuu0OIUVUOonTp3BvbQwqKR6qckcZ0M1eSUUqbq
lKXfjroJongTNE/tjA4UjSXmZ4uigKNEM/d/dUjrPHlzfxo+rEIK/Yk0dcqqZTG3
af9ocnRTJsWOAfxxT8ViSCXQFtkjP7jx2LJCzdH5aRf4uH/QxZ46dvkWuv18Fr4e
bKTcGcvIxYbKeoyVcUNS
=oyyf
-----END PGP SIGNATURE-----