[ubuntu/precise] agda 2.2.10-4build1 (Accepted)

[Colin Watson]

agda (2.2.10-4build1) precise; urgency=low

  * Rebuild for new GHC ABIs.

Date: Mon, 14 Nov 2011 08:42:48 +0000
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
https://launchpad.net/ubuntu/precise/+source/agda/2.2.10-4build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 14 Nov 2011 08:42:48 +0000
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source
Version: 2.2.10-4build1
Distribution: precise
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Colin Watson <cjwatson at ubuntu.com>
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.2.10-4build1) precise; urgency=low
 .
   * Rebuild for new GHC ABIs.
Checksums-Sha1: 
 e17da951584c024503b60895dde8ba2eb2ddb907 3323 agda_2.2.10-4build1.dsc
 860c33ed292c2bbe77216d6427b99a43e0c129d8 8073 agda_2.2.10-4build1.debian.tar.gz
Checksums-Sha256: 
 aabcca811e91e191c7acbfe4532ebea4e9d181c3b16e053d9bfa4845b939144c 3323 agda_2.2.10-4build1.dsc
 9eed2b214be97b5c21bdbd054cdf34714ac6794c0e8d8cbe802df52a2271290b 8073 agda_2.2.10-4build1.debian.tar.gz
Files: 
 4899479e95c69112b61c09311f121ff2 3323 haskell extra agda_2.2.10-4build1.dsc
 17d736a4ae4b30e375e8e6ba0b53befc 8073 haskell extra agda_2.2.10-4build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBTsDUjzk1h9l9hlALAQhorhAAj0I2PJXKMGYSKxAaUE3gWeoBce9/U/9J
yNt+y7tqcePhUWPwWbl7E7RZmq0xTm+QTD4tr4UWHRK85+vlLnA1JaTHj9qiyQWQ
ueg41Cs9eQxAc8K0Z4bC+gPmxzMBdSjLseUwsIWjPL6xnVQe3t8uGHbNJqMD71BA
aBKxO7WK/HseJQHxK2dx7GudmfXz0MhduZrTHasmNUxF7LWvg8LHD3aBSb6Nj+gX
L1QEic9qHy1wMLNQpKu5mbl+SBHsQcty18KrqSOhUpWFL5cDuVA//IPIhdwoha1n
R4LFBa+LVFQoZdePcLzgDaAtZnDm4BdN7C6kB8UYD8OZuUtO4XDhcz82vijZFZOR
ntAGiFMr23BrfxYqCydsL1g8WGUmWFeJk5drr403q8yk2yXkAsdtkOfI6RMiiL/s
LGVIpCjIBl1nnlDfX8tiWZupKp8gW2Y2YHqB4d5oaTy+TFrzqggt3xDp8lqG8O8K
DskHoID9RIUVHg2SLFtBdqqoRIOM9pcneJLc0hZ+4abtkAl3JLl396GQdF94oeni
LX3y4b+giMndlWAVpENXV8ux2Sk+s0Y1EIdqaNDnlWsmxJZMa72obZvWlbwE1zj2
epV6u04BWDL5b4tuEuCQJHGAeC2xPV+FOS2oMfVKPydeQGcuvWlDTD9veAPtxCbm
uD69gYNZ9OQ=
=LqDU
-----END PGP SIGNATURE-----