-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 27 Feb 2010 20:35:10 +0000 Source: agda Binary: libghc6-agda-dev haskell-agda-doc agda-mode Architecture: source all amd64 Version: 2.2.6-4 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintain...@lists.alioth.debian.org> Changed-By: Iain Lane <la...@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 Closes: 572300 Changes: agda (2.2.6-4) unstable; urgency=low . * debian/control: Remove the profiling package. It is unfortunate that this package is proving to be too big to build before exhausting the available resources on some architectures. Not having it should allow agda to build in many more places though, so this is a win. * debian/control, debian/rules, debian/watcher.sh: Remove the ticker which should no longer be necessary due to the above. (Closes: #572300) * debian/control: Use shlibs:Depends in libghc6-agda-dev, and not in agda-mode. Checksums-Sha1: 930eafd19c23763c6a3ab9ff8255a36e0e6b0711 2268 agda_2.2.6-4.dsc d67cc1275c8a8c9e4000aecab358f8d345856b49 4878 agda_2.2.6-4.diff.gz e8f41415a605b4e63fbf7dc3d62ad14e38551686 1097230 haskell-agda-doc_2.2.6-4_all.deb cad20d5e38e100f8a09babc86cb374f6a7a9e2e0 39878 agda-mode_2.2.6-4_all.deb d259f72f0ae53afc2cc920c2e188bd079c1c9d54 10054274 libghc6-agda-dev_2.2.6-4_amd64.deb Checksums-Sha256: d8edef042a3552ff8bcf7e1f18ef65a37b2efc10a46d0a694adda4b233f99124 2268 agda_2.2.6-4.dsc bf8cc2f7016f432536e159e6c3adcb895eae339c3298820ece76e096351b63bc 4878 agda_2.2.6-4.diff.gz 91cbbcd8bc00f4664977bb5e63237998b0cba07abfeac1a0cc3e8131da5d4573 1097230 haskell-agda-doc_2.2.6-4_all.deb 8e7c60d60a1c523395deea2913d6b1a1d9d765941eadc98e2d3d0f2b7f342a09 39878 agda-mode_2.2.6-4_all.deb f0cf5662866f8433243f4b7e6acaf2cfdb5066324559d7d7965e5ad236f21c5f 10054274 libghc6-agda-dev_2.2.6-4_amd64.deb Files: 9baa3a7402f6db7d0d7b818589f36dd4 2268 haskell extra agda_2.2.6-4.dsc 799e79a237f15bf779334f66211678da 4878 haskell extra agda_2.2.6-4.diff.gz e8d7c252d8896ce68ec5a3594dbe92d1 1097230 doc extra haskell-agda-doc_2.2.6-4_all.deb cd505de194459d0f2b2fad739e29db03 39878 misc extra agda-mode_2.2.6-4_all.deb c7c0bd2ac83a7d45fe0b7b5d77cfcdd9 10054274 haskell extra libghc6-agda-dev_2.2.6-4_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkuZg9UACgkQhAwOmkV1TkSI3wCgmzfu9Td6gbCDF6k4DHSkcK94 uSQAoJebfZyTc2EQn9/1/4Q/KiX8PJhS =/8uF -----END PGP SIGNATURE----- Accepted: agda-mode_2.2.6-4_all.deb to main/a/agda/agda-mode_2.2.6-4_all.deb agda_2.2.6-4.diff.gz to main/a/agda/agda_2.2.6-4.diff.gz agda_2.2.6-4.dsc to main/a/agda/agda_2.2.6-4.dsc haskell-agda-doc_2.2.6-4_all.deb to main/a/agda/haskell-agda-doc_2.2.6-4_all.deb libghc6-agda-dev_2.2.6-4_amd64.deb to main/a/agda/libghc6-agda-dev_2.2.6-4_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/e1npsz1-0000p4...@ries.debian.org