-----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-maintain...@lists.alioth.debian.org> Changed-By: Iain Lane <la...@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 -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/e1qpd1y-0003gf...@franck.debian.org