agda (2.3.2-1build1) saucy; urgency=low * Rebuild for new GHC ABIs.
Date: Thu, 02 May 2013 23:50:54 -0700 Changed-By: Colin Watson <[email protected]> Maintainer: Debian Haskell Group <[email protected]> https://launchpad.net/ubuntu/saucy/+source/agda/2.3.2-1build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 02 May 2013 23:50:54 -0700 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: source Version: 2.3.2-1build1 Distribution: saucy Urgency: low Maintainer: Debian Haskell Group <[email protected]> Changed-By: Colin Watson <[email protected]> Description: agda - dependently typed functional programming language agda-bin - commandline interface to Agda 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.2-1build1) saucy; urgency=low . * Rebuild for new GHC ABIs. Checksums-Sha1: d5deedb561a295de841b6befeb96ceab7775cf48 3463 agda_2.3.2-1build1.dsc 52f2904275397eb47677f3d0ffb61d24cf19d14b 7405 agda_2.3.2-1build1.debian.tar.gz Checksums-Sha256: 38e7c3b852f1af7b36cd8caae5ead108ba20a5d5562fec495a19b77e420da932 3463 agda_2.3.2-1build1.dsc f8ed8228628726832e6bd1f7f46ee2686b6acd741534101de686265bc2e6b70b 7405 agda_2.3.2-1build1.debian.tar.gz Files: 85bced00359e9f51785dad2dc44055e9 3463 haskell extra agda_2.3.2-1build1.dsc 7968f70e156e9e592530735d4fb5216a 7405 haskell extra agda_2.3.2-1build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBUYNeVzk1h9l9hlALAQiVhhAApwPIOfKY7+auDCA5aUdIKVvI+kpmXzdb 1oWuGQPeaDwlftuNKcgzuihTnsS0oclYQgm4zgFXLLXj4kzqzrtOj2fQrHTaFPzC Eknq4rGad8IR3wc8BBx8ddFRf8Cl/CKMjq4VFV+nqW1lXeUKZdghky1c78zWE6mx kbEfV9vTclAqfT2QNckpnec/rhLVJtMGnpzCkwFpfzrZwslL0bc8HPGBDWV7W46q e8nPYhdW46N4EVGXdb7DmsnXrCTkQelmaIZXJ5q0o+6jl6QP4SI9YqaK4EKRtnRC sCeUF3z6JQAhYRN4o711Cxlp8hT6/OCWUVL95LyvwJsjFBR5hmcGZOSBhF5mS6/L 1NALUqCXO8Ixrcd+oPrCFOO5/+YaR6FBGVLfM93Q68iwM0ddPmSIRnYhFaYvq+wn TyMincD+mRJG/SCJCMF2GvAVgpUkqve7tgCkPCTmRA0ZV0hJOd0s+c23cP9njypT q7WabR2hyPnSGzSaXFvDvPMLtY6TKKq4I62M52WL8DoTxgYet3YUF1DmAyNoA6Yk xb2BAuQRAfcBGbmbQdnxo9ujsDJ2LgDZHVq5CTbEcswgcYNJ4qwsw0IYb0ghe1qd VD3K+Y9Epdyzj35biqiXtCf1EbZmevzGtX/OWYw2sbVNqWxDZyk/4buhTXbZZYim pYqcXH1Tv/s= =UUVi -----END PGP SIGNATURE-----
-- Saucy-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/saucy-changes
