-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 05 Jan 2010 23:43:20 +0000 Source: agda Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode Architecture: source all amd64 Version: 2.2.6-1 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Iain Lane <laney@ubuntu.com> Description: agda-mode - the emacs mode for Agda haskell-agda-doc - a dependently typed functional programming language - documentati libghc6-agda-dev - a dependently typed functional programming language - development libghc6-agda-prof - a dependently typed functional programming language - profiling l Closes: 559197 Changes: agda (2.2.6-1) unstable; urgency=low . * New upstream release 2.2.6, for headlines please see: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6 * debian/control + Bump standards-version to 3.8.3, no changes + Fix Vcs-Git to point to correct URL + Update build-depends for new upstream release + Undo arch/indep split per current pkg-haskell practice + Add Homepage field * debian/copyright: Fix encoding to UTF-8 (thanks Lintian) * debian/README.source: Remove, no repacking so not necessary any more * debian/50agda.el: + Only load file if it exists, prevents a non-intrusive emacs warning where 50agda.el is left on system when package is removed. (Closes: #559197). + Do not load file on XEmacs — agda-mode is not compatible with XEmacs. Checksums-Sha1: 6af349668666d662c0062ccc671c3a30734626d9 3030 agda_2.2.6-1.dsc 26764e0ff96fe730e4ec423a7ea365dec3d4d642 424382 agda_2.2.6.orig.tar.gz 4db48e41bf4b2decf05657614b5a571deb6ece3a 4161 agda_2.2.6-1.diff.gz f8b26715e3894864a18810a82a89a2b0e7c4ad29 1102580 haskell-agda-doc_2.2.6-1_all.deb df275fac46b24baad3520c07b6ca1321e169c30f 38994 agda-mode_2.2.6-1_all.deb a5197a46c11a272c4388dd2454e7ce9a6f73a62f 11194138 libghc6-agda-dev_2.2.6-1_amd64.deb a4ad1820ff01c735e9fe3a4963530ccf8c57886d 14586798 libghc6-agda-prof_2.2.6-1_amd64.deb Checksums-Sha256: a660730310b4eb96721d4ec07f4e75acd525524650a227905b7ba832d9fdc43a 3030 agda_2.2.6-1.dsc 19ecdd8e25c3eb3f8903ca8ef4057ba71fd49cfbc9ee2bbc44feba2c1566864e 424382 agda_2.2.6.orig.tar.gz d01fc532dcf3a7f42dce422e88f11d6fdfa83e9ed2b37e23be4a458ba5873be8 4161 agda_2.2.6-1.diff.gz d0f9a26cb7e4ac4e9be6f44ccdab70d1fc4020877d76bd51377e84c4c38b0613 1102580 haskell-agda-doc_2.2.6-1_all.deb bb6b8ef1bce26d978e282b0272d17f4431dbb6477670fe5a906a90f92ff5df40 38994 agda-mode_2.2.6-1_all.deb 9d930975dc9862c045ec73fd40c5991619a74c0664e9f763894ab840dc991374 11194138 libghc6-agda-dev_2.2.6-1_amd64.deb 4ba5f30fcb369cbe0220275f5a57214d022a3266c5753b0e78acbbb1655b330a 14586798 libghc6-agda-prof_2.2.6-1_amd64.deb Files: b4f2ecf5d2816a3da465cf9c35e16133 3030 haskell optional agda_2.2.6-1.dsc 0ce3c91e3a917f2c9b919eed46a530b2 424382 haskell optional agda_2.2.6.orig.tar.gz c5bc5bb308be0d3af14ddb19718ec02a 4161 haskell optional agda_2.2.6-1.diff.gz f836861623e1d90d67d6855fcdd1f1e8 1102580 doc optional haskell-agda-doc_2.2.6-1_all.deb 1308d9e9cc7027a06018bcb697b84a58 38994 misc optional agda-mode_2.2.6-1_all.deb e065b49c746ce7768b134810b96c235a 11194138 haskell optional libghc6-agda-dev_2.2.6-1_amd64.deb 7a845050b1fc13e352cd46a48a41b45c 14586798 haskell optional libghc6-agda-prof_2.2.6-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAktGN0kACgkQ9ijrk0dDIGyxeQCgp39zHB/rH20SM9PklSNdbO7e wBYAoMMbsyxrv4y1dqyEu+e21iTU99tt =Pigs -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.6-1_all.deb to main/a/agda/agda-mode_2.2.6-1_all.deb agda_2.2.6-1.diff.gz to main/a/agda/agda_2.2.6-1.diff.gz agda_2.2.6-1.dsc to main/a/agda/agda_2.2.6-1.dsc agda_2.2.6.orig.tar.gz to main/a/agda/agda_2.2.6.orig.tar.gz haskell-agda-doc_2.2.6-1_all.deb to main/a/agda/haskell-agda-doc_2.2.6-1_all.deb libghc6-agda-dev_2.2.6-1_amd64.deb to main/a/agda/libghc6-agda-dev_2.2.6-1_amd64.deb libghc6-agda-prof_2.2.6-1_amd64.deb to main/a/agda/libghc6-agda-prof_2.2.6-1_amd64.deb