agda (2.3.0.1-2build1) quantal; urgency=low * No-change rebuild for GHC 7.4.2
Date: Mon, 27 Aug 2012 12:15:30 +0000 Changed-By: Iain Lane <[email protected]> Maintainer: Debian Haskell Group <[email protected]> https://launchpad.net/ubuntu/quantal/+source/agda/2.3.0.1-2build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 27 Aug 2012 12:15:30 +0000 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda Architecture: source Version: 2.3.0.1-2build1 Distribution: quantal 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.1-2build1) quantal; urgency=low . * No-change rebuild for GHC 7.4.2 Checksums-Sha1: 518d17a3f2599f2d8650108cabd21c866466f9ca 3055 agda_2.3.0.1-2build1.dsc 82ed70613467dcdc3686e9583da6240879344293 6944 agda_2.3.0.1-2build1.debian.tar.gz Checksums-Sha256: fbeb343d4fe65f7ceda1f4d38258bdf05b312d12c3242bf63267659bae171825 3055 agda_2.3.0.1-2build1.dsc 0c6a44d74d198e73ef5e66f8c0a7421d1db8e1fb60a1863fb7a50f3210e131ac 6944 agda_2.3.0.1-2build1.debian.tar.gz Files: 1f8dedbcdd5d5011a51b83bfd64a8e0c 3055 haskell extra agda_2.3.0.1-2build1.dsc 83ab570f65fbd01283118ee5aedb82f6 6944 haskell extra agda_2.3.0.1-2build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCgAGBQJQO2VSAAoJEONS1cUcUEHUYLIP/3TvQ7E+xpfWuF/40Tf3FADh IFuGBmmDnP+iNKK3iBh6SAplsv8Zlh69EKK3t8wUCASbBKr2XaWFsd/3Dre+F2wm rGqUoNVzX+awH1Z6URV9qaU/xJeFI4MumiaSg2ViWyPUfOVwqEHllYaKrtRUjM9a X2KQOEIFtXdLNOU1SnIpS/MXhnv8mvGdh2/i4crYic2TvRPhzH3/iE4rvIBU6BZm aW4oxXlJK9jJm0kAEIbum7zxxTuQg7Mjk4mZeEUfCCWBO8TlZxKEzXYTBhqZOpST k2QkA+vRakAy+IR24OrtiCTuurlilryhZKRqPgpgKg8+N8NrGcVdc/xYQzYTMq2J BGseOwLZUZ6WVtBm6gae7qQLZM0OrKESzuP1qKp2DphOH3VXXjuZpMD4PIALfIOG 9OX3uWhCkk95BH8+YEe7XUSfGiYAica0uh7TQt6XtR+DtAsVe6Ouv36BeA/Rkk2v n6la9RF4AXBG4/hwmriIdM9ttiRI8MtXnRsR0+iUK1YEYI/EUntule52Kngu+R4k icE9JZjmgVhYOONZLKmjtyWoHN+UbFU+oj9Qc71dK1EnqI4X6L6WeQWkqtsTSUc/ 3ThPM1bpRHoO5YkyRnyqDxDFWjsHklU9JStVV56P2J+47sVMoHmbg9iOp5GwLCM/ XDLO8JKNbJyTyR+Hku0Z =10AT -----END PGP SIGNATURE-----
-- Quantal-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/quantal-changes
