Back to agda PTS page

Accepted agda 2.3.0-1 (source all amd64)



-----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