Accepted agda 2.2.6-2 (source all i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 10 Jan 2010 11:29:17 +0000
Source: agda
Binary: libghc6-agda-dev libghc6-agda-prof haskell-agda-doc agda-mode
Architecture: source all i386
Version: 2.2.6-2
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
Changes:
agda (2.2.6-2) unstable; urgency=low
.
* debian/control: Set priority to extra per archive overrides
* debian/copyright: Update upstream source to a more generic location
* debian/rules, debian/libghc6-agda-dev.install: Install Agda.css, needed
to generate HTML documentation.
Checksums-Sha1:
655ee55c2deee806856cc704d250e668201a9443 3148 agda_2.2.6-2.dsc
5d9440d43517970847a1033fd751a7bb37553860 4333 agda_2.2.6-2.diff.gz
22dc2671905488d0d3492e9adbe582e574801779 1104388 haskell-agda-doc_2.2.6-2_all.deb
6e636777ee69261941c956c71a616ddcc027c8bb 39022 agda-mode_2.2.6-2_all.deb
90dd8b2455f8f8d4b60fe582e6f7ac141ac1eb43 9381366 libghc6-agda-dev_2.2.6-2_i386.deb
a7d309009c1615a31c2a5073b2d2da7d3b2a9b7b 13455884 libghc6-agda-prof_2.2.6-2_i386.deb
Checksums-Sha256:
f8d3619dccaaf41a6b1df44cede0f410c9e5bf7ee105eca5a1be1062ba016dfa 3148 agda_2.2.6-2.dsc
6ea58e5f6a9da20dc574d84e5a10971f1fca35a18fe0506d0ed8f3ec5bf1ccc3 4333 agda_2.2.6-2.diff.gz
1dccda648a5092c66ade5e398f14ed0331104dc982a9aaa224bb82cf3655e2ef 1104388 haskell-agda-doc_2.2.6-2_all.deb
25864eed4e52b5a5b921224667df2e24bd2167e929fc27e8b693929f9dfaacee 39022 agda-mode_2.2.6-2_all.deb
a0f6fc1a841389d13a076fdd3e8ceee5b8115e8d9f8e4abb0a8a8780a121b363 9381366 libghc6-agda-dev_2.2.6-2_i386.deb
245e987e9ba605d7e770102924d25715bc11dbb91b54abbe803c009bb2d8e229 13455884 libghc6-agda-prof_2.2.6-2_i386.deb
Files:
cc27018b9f88185608c63168887b8852 3148 haskell extra agda_2.2.6-2.dsc
29b21a1207de05ad15d98c8c270219e1 4333 haskell extra agda_2.2.6-2.diff.gz
b60543c9329c6bec5b00110e313e9963 1104388 doc extra haskell-agda-doc_2.2.6-2_all.deb
ba455777741795d9ef3f5a74b0ab0130 39022 misc extra agda-mode_2.2.6-2_all.deb
94d73008d7d0e2410064c34166b665b7 9381366 haskell extra libghc6-agda-dev_2.2.6-2_i386.deb
9b3b38e2dff40c05a0f2553b9f68f339 13455884 haskell extra libghc6-agda-prof_2.2.6-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iJwEAQECAAYFAktTr2UACgkQcJWf5zskR2HS6gQAlynyQ0n0uFBUGq7mu5Kv5IyM
JnzGX54SLkTuDdD210ixuyt1feMnlKFMKKCoHgiZ6bICXBqiPeHgPY+OiE0tVyK6
dQ0Be5uOcsLGKGtg/wGEdS8sc4+SWsaw4eMW+RbWxDCkC+kI07E44olDHYg0nWfA
+a5LS1pSb4j/x1gftWo=
=5E3d
-----END PGP SIGNATURE-----
Accepted:
agda-mode_2.2.6-2_all.deb
to main/a/agda/agda-mode_2.2.6-2_all.deb
agda_2.2.6-2.diff.gz
to main/a/agda/agda_2.2.6-2.diff.gz
agda_2.2.6-2.dsc
to main/a/agda/agda_2.2.6-2.dsc
haskell-agda-doc_2.2.6-2_all.deb
to main/a/agda/haskell-agda-doc_2.2.6-2_all.deb
libghc6-agda-dev_2.2.6-2_i386.deb
to main/a/agda/libghc6-agda-dev_2.2.6-2_i386.deb
libghc6-agda-prof_2.2.6-2_i386.deb
to main/a/agda/libghc6-agda-prof_2.2.6-2_i386.deb