[ubuntu/natty] agda 2.2.6-7build2 (Accepted)

[Iain Lane]

agda (2.2.6-7build2) natty; urgency=low

  * Rebuild against new library ABIs

Date: Wed, 26 Jan 2011 13:59:13 +0000
Changed-By: Iain Lane <laney at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Signed-By: Iain Lane <iain at orangesquash.org.uk>
https://launchpad.net/ubuntu/natty/+source/agda/2.2.6-7build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 26 Jan 2011 13:59:13 +0000
Source: agda
Binary: libghc6-agda-dev libghc6-agda-doc agda-mode
Architecture: source
Version: 2.2.6-7build2
Distribution: natty
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Iain Lane <laney at 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.6-7build2) natty; urgency=low
 .
   * Rebuild against new library ABIs
Checksums-Sha1: 
 7d6b4cab24abc35376bb4a991542a02d0a8037ed 2958 agda_2.2.6-7build2.dsc
 9dbda2a8811a777c0b4d9147f0b816519f72ad86 5552 agda_2.2.6-7build2.debian.tar.gz
Checksums-Sha256: 
 6dfd0659f68fbb37180c1396730ce98596a81938e1f08937e99259c2015c0131 2958 agda_2.2.6-7build2.dsc
 a941dfd43219343a982d00c7a24581174e8a0446d50febc6497fb84d508d6cc4 5552 agda_2.2.6-7build2.debian.tar.gz
Files: 
 9f6ea96d420a82ea7c7543fe1f88017c 2958 haskell extra agda_2.2.6-7build2.dsc
 fd73ecaa783417749603f6d1dc416baf 5552 haskell extra agda_2.2.6-7build2.debian.tar.gz

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

iQIcBAEBCAAGBQJNQCi2AAoJEONS1cUcUEHU8oMP/i4VCljDq14X+0K/XIt3Qzyw
Kpaf3s6OQLOAcsoxGuYAjSsbctQe4C6MuQFwS+Qhx/Eos4m07W7bJWAUdF4Ug4n3
dz38esZd7Gax+GaOTd68CZ/JZDvphDbV9+0SoQEMwJgOmUbqW25K4obgBg/Zp7TO
WNRDWbaODv/ovi6HvfPxZyw9woaeaVQne7t0O0TWxDjj3B11H//yPAJKA71ZZCke
cHxGV+JGIPpTOobheqU67/VWpyDUVaSVqRk963kApdfF/xthPnzryvTauP6qEwXR
WuE9z3J3RWDsYOcRzUn78OJzDahG0Jl4t4CBh1DYxZuank76JMDRzr7mPXWg73r7
6FY9PxVKHn6HQMlXpTw6yTja04X8ftMaCcmVqjlAKREyg13SvoGStaf49Fefse4V
SswWyUEDgLpXEwCS/nwXeAhBAWmHp9wizVcBxu8EWLaBxF02dtLjes7ClgqfupKV
iKC2qCREdtvyXdG/0qLviEtPQfCMtcX0j03ubJzd++mVtTpdfKdPuJ7ixfVHJXuS
E4FvGFl+aZxMtzaxx93Clk909Jv12ZaoePeuYcrvrQ2WAx9tBsoDC8VNdmJLtDSO
XdDUvGNEvNpGXGD8x8OoZ2AzgRSQnEURPM0kJYFKyhZRfEp+VFPYodxBZUaEFk/f
V0l54gajF0/TfS1IVhR8
=81Uw
-----END PGP SIGNATURE-----