Back to agda PTS page

Accepted agda 2.2.8-1 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 11 Dec 2010 15:39:21 +0000
Source: agda
Binary: libghc6-agda-dev libghc6-agda-doc agda-mode
Architecture: source all amd64
Version: 2.2.8-1
Distribution: experimental
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Changed-By: Iain Lane <laney@ubuntu.com>
Description: 
 agda-mode  - the emacs mode for Agda
 libghc6-agda-dev - a dependently typed functional programming language - development
 libghc6-agda-doc - a dependently typed functional programming language - documentati
Changes: 
 agda (2.2.8-1) experimental; urgency=low
 .
   * [ec6cfda] Imported Upstream version 2.2.8
   * [597149f] Update emacs loading script to explicitly load haskell-
     ghci. If this is not present, then agda-mode will error out
     indicating that haskell-ghci is not available.
   * [b16f978] Standards-Version → 3.9.1, no changes required
Checksums-Sha1: 
 d62aeb9520446b35ee4c352aea4126092999f158 2328 agda_2.2.8-1.dsc
 0b282335ea386b435f4f48db18c094cb8a0ac0bb 486580 agda_2.2.8.orig.tar.gz
 42dfbcbac1efebdc7616a7779d5a79c1996844a2 5816 agda_2.2.8-1.debian.tar.gz
 10e6931fe109057b8c1f6c8d1a8cc9ebc6b57514 1217564 libghc6-agda-doc_2.2.8-1_all.deb
 930d3fe402204dbe86fafce6463ad1189b37f4fa 39730 agda-mode_2.2.8-1_all.deb
 8dd9b70b9410c3da687c94cf232444241e5e1968 10674060 libghc6-agda-dev_2.2.8-1_amd64.deb
Checksums-Sha256: 
 f8b4a09841c786cebe3d4481426021ced309847a74a0f1b04526cdbdc170d7c2 2328 agda_2.2.8-1.dsc
 2f4797feccb8535ed73b1a30c32faa801127ffec1056d39eb78a1638fad1421a 486580 agda_2.2.8.orig.tar.gz
 717a08dc801f74e850f1bd6410ceea27871abb807123f64e97a8c102acfc0069 5816 agda_2.2.8-1.debian.tar.gz
 f433f458557cc58c2f7c1f02faa2d79c0febe0a7513066c24b47847fef73d1ad 1217564 libghc6-agda-doc_2.2.8-1_all.deb
 30d25c6f8868c05d93069bdc9e9ed0ff269947972d64aafcd646456341e87448 39730 agda-mode_2.2.8-1_all.deb
 a76ff11656f1b43224b269e864e157b9d2680f1cc424b8e6844557f5aac18cb2 10674060 libghc6-agda-dev_2.2.8-1_amd64.deb
Files: 
 66ccf25303996954252d700be074941b 2328 haskell extra agda_2.2.8-1.dsc
 d00688383d0bd7d387b2a7e97588124c 486580 haskell extra agda_2.2.8.orig.tar.gz
 7ec81ecdb241239ee516283a6a4c0f02 5816 haskell extra agda_2.2.8-1.debian.tar.gz
 cd863e001b4de9f541903fc4f96b0bcc 1217564 doc extra libghc6-agda-doc_2.2.8-1_all.deb
 aba427cff345f834d0cb76f03b5d5c40 39730 misc extra agda-mode_2.2.8-1_all.deb
 a5e95be815727f4352f763bd664625c9 10674060 haskell extra libghc6-agda-dev_2.2.8-1_amd64.deb

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

iF4EAREKAAYFAk0I1mEACgkQBIoTAU7n/+M4tQD+O2AQZGNjWZlpT8CBBU0WwKqh
9w/TiuRxvfa1S/4U+YoBALmGpBeeV4TLHF2wDMTrOoiM7UBqs5lTmxzGf4Huc5VD
=piOE
-----END PGP SIGNATURE-----


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