Back to agda PTS page

Accepted agda 2.3.0.1-1 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 12 Mar 2012 14:12:34 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source all amd64
Version: 2.3.0.1-1
Distribution: unstable
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Joachim Breitner <nomeata@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
Closes: 663048
Changes: 
 agda (2.3.0.1-1) unstable; urgency=low
 .
   * New upstream release, GHC-7.4.1 compatible (Closes: #663048)
Checksums-Sha1: 
 df533c568f743e1a16ac34d84d82224d799f22f6 2389 agda_2.3.0.1-1.dsc
 9fe8bc82c1267f4974928b807a8701790a208c86 612342 agda_2.3.0.1.orig.tar.gz
 a1ea896558f797922c7bba1d61588bfe1fe03745 6506 agda_2.3.0.1-1.debian.tar.gz
 a4a21045a6184f0cf1af8da8382d480421661be5 1750174 libghc-agda-doc_2.3.0.1-1_all.deb
 2604df5d618628959d1aba29f2253c747c309e43 45708 agda-mode_2.3.0.1-1_all.deb
 ef6929b357693685794a8df599d7e74ec39dff66 12784 agda_2.3.0.1-1_all.deb
 3a2d986dc48e1c2c39408845d46d63f3cd309ddb 13055986 libghc-agda-dev_2.3.0.1-1_amd64.deb
Checksums-Sha256: 
 1a07ca0236da960e78833ad60908b61c870ce4d84ac08f964d208def356c03c7 2389 agda_2.3.0.1-1.dsc
 5cc016a6cf113979d92af05c10b1e92dead4bf87861086177a017ce1d7605338 612342 agda_2.3.0.1.orig.tar.gz
 c18bba9715b40f19e978608e7924fa50ac845837504aef0caf8767af6e71b2b8 6506 agda_2.3.0.1-1.debian.tar.gz
 3ea2904a50364f1ea7df7dd49e491af349ca89084d4299a5ce7d1064743c24c0 1750174 libghc-agda-doc_2.3.0.1-1_all.deb
 7141f4f57040406b0617e53cbcdd39c06de92576c1dbcc01e25bba17f0328b26 45708 agda-mode_2.3.0.1-1_all.deb
 fa378c00cd29a41b3e39e700610bab43035f9dc3a4f56a3edad447678dabba0f 12784 agda_2.3.0.1-1_all.deb
 3fce41ee27eb20090155efc13aaea13b0f80c99ce0e6f76d12f51341f2e66501 13055986 libghc-agda-dev_2.3.0.1-1_amd64.deb
Files: 
 3034d2df769f2477115989e0b3a77a3a 2389 haskell extra agda_2.3.0.1-1.dsc
 3caa2466ae4f925dd37320336e2e839c 612342 haskell extra agda_2.3.0.1.orig.tar.gz
 a7e404fe4d04dcfc4e56fea3a7c04204 6506 haskell extra agda_2.3.0.1-1.debian.tar.gz
 a6eb3da9e794c0d8f1803a8507cffccd 1750174 doc extra libghc-agda-doc_2.3.0.1-1_all.deb
 9563c64f524d065740fe0854416474e8 45708 misc extra agda-mode_2.3.0.1-1_all.deb
 1c0bf8608db4d2fd09abc967b9df86d3 12784 misc extra agda_2.3.0.1-1_all.deb
 70e7d0b7aae86ad17632cdaafa0ec875 13055986 haskell extra libghc-agda-dev_2.3.0.1-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAk9d+QYACgkQ9ijrk0dDIGwafQCeOmDgq/83tVsyjiiBL9VKOSPq
8nYAn1f6qG5lmsWAibacm+mcWJTPyZ7m
=UX/W
-----END PGP SIGNATURE-----


Accepted:
agda-mode_2.3.0.1-1_all.deb
  to main/a/agda/agda-mode_2.3.0.1-1_all.deb
agda_2.3.0.1-1.debian.tar.gz
  to main/a/agda/agda_2.3.0.1-1.debian.tar.gz
agda_2.3.0.1-1.dsc
  to main/a/agda/agda_2.3.0.1-1.dsc
agda_2.3.0.1-1_all.deb
  to main/a/agda/agda_2.3.0.1-1_all.deb
agda_2.3.0.1.orig.tar.gz
  to main/a/agda/agda_2.3.0.1.orig.tar.gz
libghc-agda-dev_2.3.0.1-1_amd64.deb
  to main/a/agda/libghc-agda-dev_2.3.0.1-1_amd64.deb
libghc-agda-doc_2.3.0.1-1_all.deb
  to main/a/agda/libghc-agda-doc_2.3.0.1-1_all.deb