agda (2.2.6-7build1) maverick; urgency=low * No change rebuild to build against new quickcheck
Date: Wed, 26 May 2010 09:08:19 +0100 Changed-By: Iain Lane <[email protected]> Maintainer: Debian Haskell Group <[email protected]> Signed-By: Iain Lane <[email protected]> https://launchpad.net/ubuntu/maverick/+source/agda/2.2.6-7build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 26 May 2010 09:08:19 +0100 Source: agda Binary: libghc6-agda-dev libghc6-agda-doc agda-mode Architecture: source Version: 2.2.6-7build1 Distribution: maverick Urgency: low Maintainer: Debian Haskell Group <[email protected]> Changed-By: Iain Lane <[email protected]> Description: agda-mode - the emacs mode for Agda libghc6-agda-dev - a dependently typed functional programming language - development libghc6-agda-doc - a dependently typed functional programming language - documentati Changes: agda (2.2.6-7build1) maverick; urgency=low . * No change rebuild to build against new quickcheck Checksums-Sha1: afec1a3f8c62f157e0acaf0c489ea2e61d588529 2318 agda_2.2.6-7build1.dsc de87df44bb5d85a31f528327c162f7e5957ec15b 5364 agda_2.2.6-7build1.debian.tar.gz Checksums-Sha256: e38c9353fa450625f09d1988250ebe020756dac9530fce973d8651985114f9d8 2318 agda_2.2.6-7build1.dsc d296082f56733774f50c5bfc865f79cd39aab8a0c631857e0dc313106e525fff 5364 agda_2.2.6-7build1.debian.tar.gz Files: 186a36295335706bed3e1529217ccdaa 2318 haskell extra agda_2.2.6-7build1.dsc 994bf237da9b9d3b634b623373b2efef 5364 haskell extra agda_2.2.6-7build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkv81xEACgkQPy0SnCC/zcfgFwCfQ6x7zaO1dPT1VEEsVjyHh/vq AbgAnRQb2t8Wvr8dzQ1FScQnvqj1OVv3 =iFrc -----END PGP SIGNATURE-----
-- Maverick-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/maverick-changes
