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