agda (2.3.0-1build1) precise; urgency=low * No-change rebuild for GHC ABIs
Date: Wed, 04 Jan 2012 00:27:08 +0000 Changed-By: Iain Lane <[email protected]> Maintainer: Debian Haskell Group <[email protected]> https://launchpad.net/ubuntu/precise/+source/agda/2.3.0-1build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 04 Jan 2012 00:27:08 +0000 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda Architecture: source Version: 2.3.0-1build1 Distribution: precise Urgency: low Maintainer: Debian Haskell Group <[email protected]> Changed-By: Iain Lane <[email protected]> Description: agda - dependently typed functional programming language agda-mode - dependently typed functional programming language — emacs mode libghc-agda-dev - dependently typed functional programming language - development l libghc-agda-doc - dependently typed functional programming language - documentation Changes: agda (2.3.0-1build1) precise; urgency=low . * No-change rebuild for GHC ABIs Checksums-Sha1: 7390ad033f583ad90bdaf04e6ee2188cc4754dfc 3512 agda_2.3.0-1build1.dsc 752c9ab46ed68c4249a9f0d7163612204347b2cc 6599 agda_2.3.0-1build1.debian.tar.gz Checksums-Sha256: 4dcbc97ef3a3359ab92259f0779d436b4f4b3345b3c5b270b6692bc7bb113d2a 3512 agda_2.3.0-1build1.dsc adcef8c55996a6205cbd35adb3b352151c3cf4b63ea67ab750ba9ceb0f5f76c5 6599 agda_2.3.0-1build1.debian.tar.gz Files: efaaf299c4bf61cfe3c19ad1e66f8055 3512 haskell extra agda_2.3.0-1build1.dsc 8085db6064557fdf27854fa9dc7f0045 6599 haskell extra agda_2.3.0-1build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJPA50eAAoJEONS1cUcUEHU6PAP/2zs3GZWh4ygbVzsTU19TTFq 46ZuiNnePRus+pJftotQiWamfKzNkE0qz2R9hjpPCeGx4Hqt4cOw5KGtqmOxaBQ5 7XSInXL5nPCcCb80f5wKmIkGpYz1WYMtwOCsKNWMkm/afgdneX5V5bZ95vLsFvWm 5SOE+Gi03G9n6Fsu1yRJD5hZyumMzNRDAodw7eDy9KVU9NcZf50Gn83WiS7Z0mSp w2JRL6xIgtg5l6UjdPr4YZrtIXUKAGK80lyyxS50hyovkplnw1Et2iJw00Cv6vh6 pGZPRlwMxryKpI3egrY/x09Y16reGWy7cs2pYpcCbMrbf5SjojYzVzZch9vz/uyQ HAio22dHcMdxiFTAeCJKInssYtLYutQJaUnW2dUk3ExoiCBVOnKlxZ4NkxoMnKtw 9wtsfWWpDfrgp7hayKMyYuNyUtoz4CTb2VRDEr14nqSOqCsufZDe9hzRwKZPFbCv w1Dad2DgHAlJEWug96qPcjjI5gjIr331cX0Fh37wIRAQcekJPgTaecbc7jj6GRsw sLgPUNMHoQgW0yeqGyEUoXezBey3QNPJLCVU/b7XJPmSoNjqyylEiBvKab+zstuE xTuzGE13crPXtfYad5TPJPBUOmdvh+X+WKxmyb5S1A+WxbPuqchy9MKA+qVm4MSX IBXbVVMK/JFv5b7x19PL =YDZy -----END PGP SIGNATURE-----
-- Precise-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/precise-changes
