-----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