-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 23 Nov 2011 10:12:59 +0000 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda Architecture: source all amd64 Version: 2.3.0-1 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Iain Lane <laney@debian.org> 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) unstable; urgency=low . * [c0e4746] Imported Upstream version 2.3.0. New/changed features include: + New more liberal syntax for mutually recursive definitions + Pattern matching on lambdas + New syntax for updating (some fields of) records + Universe polymorphism is now enabled by default + New type of hidden function argument: instance arguments + Dependent irrelevant function types and records with irrelevant fields + See http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-3-0 for a full list * [369ed3a] Update BDs in line with cabal requirements in new upstream * [3798aee] Remove all patches. They are all now upstream. Checksums-Sha1: 278f7ac3062008e5f99047b7888404e4b66887b4 3488 agda_2.3.0-1.dsc 128fcca71d1c1ddc2cdbfeb61e5ad41ad4d7ec97 608029 agda_2.3.0.orig.tar.gz a09a64644aee0a3dc34cb82209ef9fe90e9c1119 6505 agda_2.3.0-1.debian.tar.gz 3a6c727f70b443ccff4c895324191a94066e341b 1696358 libghc-agda-doc_2.3.0-1_all.deb ba29c08f5d6e3a237254721a2f7eeca5e2f8b1be 44884 agda-mode_2.3.0-1_all.deb a030f9cdbac856242d5ed39a670cfc78647e59ba 12692 agda_2.3.0-1_all.deb 5f851e466512eaaec280b3495e15e422b6ec5bd5 12531880 libghc-agda-dev_2.3.0-1_amd64.deb Checksums-Sha256: dd04af897bd294ec2ce495245a59233a0dbdd206b3fb69a6250e76c229ef7ec0 3488 agda_2.3.0-1.dsc 608e130bd33a1c14ea544b46bfb55c0c8e31ab43952572df38df90d086e30cdc 608029 agda_2.3.0.orig.tar.gz b6cd9cf587ec05f0d679af6e48eef517a6d5e6102f8fa6ac1b4d54ef644695e2 6505 agda_2.3.0-1.debian.tar.gz 43a84b75c5caaf25e0d8f5e53cc8a0424eed338c7a76d4a0007fdc8664cde7bb 1696358 libghc-agda-doc_2.3.0-1_all.deb 3b65ac9673faf69e2e454f4e7a081863c5071d819bf3bab3eea9be4976d2f762 44884 agda-mode_2.3.0-1_all.deb d34df3c7ebd4785328f82b15c2a0705b8cb9e2d8954ad5e002d264a070e826c4 12692 agda_2.3.0-1_all.deb abfae6e5ae26909e8123128b07014d90837b50ca22fc26042ce48630945ff7e1 12531880 libghc-agda-dev_2.3.0-1_amd64.deb Files: 6903b626ab719ed9396f551629d0101d 3488 haskell extra agda_2.3.0-1.dsc 400fb8519cf18e167a772b33f2eda7d7 608029 haskell extra agda_2.3.0.orig.tar.gz e8d577d79deca47f86a55ae404ef5fb1 6505 haskell extra agda_2.3.0-1.debian.tar.gz fca2fd087a6f64ffbf8500e9d501fc66 1696358 doc extra libghc-agda-doc_2.3.0-1_all.deb bbbdaba6bea37b634db69def177fbc7d 44884 misc extra agda-mode_2.3.0-1_all.deb 62938212b973ab1504fcba73f04df254 12692 misc extra agda_2.3.0-1_all.deb 9eeb2e143a2267eb8d89bc72c9a83544 12531880 haskell extra libghc-agda-dev_2.3.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQIcBAEBCAAGBQJOzP5IAAoJEONS1cUcUEHUUMkP/3uhyJRx2cw1qUol/fK450Tg kKbxEaBqJvTCXZQMP/Q1exfKO4XXGCcSry0pozoFGu2Q7EpWXD8tNSr2KBSopLsL ydc7i26apYaWJvst8ysb7H+x/4QI+qVG8Z91cxHUwVzs5tmGni9y9vo8oW7cMfRI 1WSgYU5Jvkh3NTkNbA7k9zvaba6sCLc5j7eXmsjkmFbyXnsNhsrJU5P3IcgBd65k RmV+HiGOqPz03USEOWlnJNhQ9ITsfCtEjjw3sh3bAWCqGHXHgwzE//luiO44FZ0m Wl5KY+5J6SHRt+mw8d7YEh7dvxUnY6l06j4N9eph+kZFQmZeWJ7+EwtS3m2oXpgq bmJ/jy6cD/e0zyexvL0psLzmyTXBt0ZoMOEJUV9b4BN8AWcBERc54+r2dTtBQcqk dhX4jW6YcUp+KSx8bp4vHDZUmrq6pSk8sXC8lWUllbf6VffnfGkBAKmcYgrRuJmB svBocXVUS801YSpMp/lnsLmDSYeNI7xHcAIYQsCTukV2MlnA19W3pS4wQx8/BPb+ qjCqdXe8gERfeR7hdiob5ZIDaplSdR7g5m690HUaS+inO7wCXqRe3D7z3RrDCPCQ pJmfynklKsMDwhPVd3QkjbfChQc9REtcj+sNZ0Y8+qDvsdSlfHD8rIS7Uy8nqm8s arYuHDN9A0tYRAraWBOA =HChq -----END PGP SIGNATURE----- Accepted: agda-mode_2.3.0-1_all.deb to main/a/agda/agda-mode_2.3.0-1_all.deb agda_2.3.0-1.debian.tar.gz to main/a/agda/agda_2.3.0-1.debian.tar.gz agda_2.3.0-1.dsc to main/a/agda/agda_2.3.0-1.dsc agda_2.3.0-1_all.deb to main/a/agda/agda_2.3.0-1_all.deb agda_2.3.0.orig.tar.gz to main/a/agda/agda_2.3.0.orig.tar.gz libghc-agda-dev_2.3.0-1_amd64.deb to main/a/agda/libghc-agda-dev_2.3.0-1_amd64.deb libghc-agda-doc_2.3.0-1_all.deb to main/a/agda/libghc-agda-doc_2.3.0-1_all.deb