Accepted agda 2.2.6-1 (source all amd64)
-----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
Reply to: