Accepted agda-bin 2.2.10-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 25 May 2011 12:56:40 +0100
Source: agda-bin
Binary: agda-bin
Architecture: source amd64
Version: 2.2.10-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-bin - commandline interface to Agda
Changes:
agda-bin (2.2.10-2) unstable; urgency=low
.
* [5e289d4] Fix forgotten libghc6 recommend
Checksums-Sha1:
21c70fb6c9840287864b3c00a2230d6b7f5f246b 1960 agda-bin_2.2.10-2.dsc
7e86737783605f0ef77b44c481b4a0bf77a13506 2897 agda-bin_2.2.10-2.diff.gz
e5b9e10d7c359732c37df6116d1327fe03d66c39 4252822 agda-bin_2.2.10-2_amd64.deb
Checksums-Sha256:
ef34774419ab6302b0461088217e559ca0d2f342d0a9f256f20f2abbda0d6775 1960 agda-bin_2.2.10-2.dsc
34dc8c8873a178380fb9a724f446a17b6bb0d72a7381fee91fc6419fb02c0681 2897 agda-bin_2.2.10-2.diff.gz
bc39c2e62d51223c46bc4252c2d9ee89572d602e6a7e450131e16edd4d204ae5 4252822 agda-bin_2.2.10-2_amd64.deb
Files:
b0128d8564cf08228c8f5843fd0bc7c6 1960 haskell extra agda-bin_2.2.10-2.dsc
99218f3abcc74716c581ba7343766275 2897 haskell extra agda-bin_2.2.10-2.diff.gz
c2868cdc43ee465e0a1b1d588045a4c2 4252822 haskell extra agda-bin_2.2.10-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCAAGBQJN3PAhAAoJEONS1cUcUEHUQ4gP/2BLm8zZsHVm59tgYT8pwUZk
IpyG5dqFlbpdTUKL1cJ9xkEZehuHXdfh0i/9A0y9FsuZD1DLJDH1ksBK9tBefrKy
O5yR0Lu6nQWmFjZd9pQyXHzV/KstypxzK4K5hZvj3Fn4q0NDhSAKc/D87fTQyCP5
f3RGp4E9Wp8A7Z3U16J1sGd+URJ1IagOUbbLJo+lR9oNZHmnyGkLSw0Oi+BvzrJY
I9gg9KabmUtLzghx0LQ7KmOMA+EErmwJaX6hoFqAOwbPq0Jw1sZVtIIvrHIdIYPV
mQ+QVC/kKBvbTaPBHCuGryX3mYmftDfRdbxP0lsCj+aDrnb686R+ax315tW3iNYf
VZJvpMuduvOLLewhm0Oji+Fcq80KY3/VsxRkGV5pFmH1UawMQ5PjuLGCDFR/65hc
Kst/xOC2DZuMzG0oZ7N7SME8GpPAnSlAUuW/l2IexVm5jHGGR7hMsexctpFOKnRz
0uxM38zYtgzgMKJtX8ID2Dvxn8h/Ss0FREWlEZWdPymURUHWCAZX2UTCpxwVPz1f
stXyu2PL7cJa76pS2BR+/pRMAS+TyhDvKVIVLqzyQPtvc27nI0oNrihfEq5IAjYb
VuV3+wuOOq8N1136LHUPVdNdhqCo8lb59ZBzkMUixR7j3qy2JnDf/8ZIflZCckbJ
65yPyPGEfENnh7edBYWM
=RPP+
-----END PGP SIGNATURE-----
Accepted:
agda-bin_2.2.10-2.diff.gz
to main/a/agda-bin/agda-bin_2.2.10-2.diff.gz
agda-bin_2.2.10-2.dsc
to main/a/agda-bin/agda-bin_2.2.10-2.dsc
agda-bin_2.2.10-2_amd64.deb
to main/a/agda-bin/agda-bin_2.2.10-2_amd64.deb