[ubuntu/precise] agda 2.3.0-1build2 (Accepted)

[Leo Iannacone]

agda (2.3.0-1build2) precise; urgency=low

  * No-changes rebuild against current libghc-agda-dev.

Date: Mon, 23 Jan 2012 10:50:43 +0100
Changed-By: Leo Iannacone <l3on at ubuntu.com>
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Signed-By: Martin Pitt <martin.pitt at ubuntu.com>
https://launchpad.net/ubuntu/precise/+source/agda/2.3.0-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 23 Jan 2012 10:50:43 +0100
Source: agda
Binary: libghc-agda-dev libghc-agda-doc agda-mode agda
Architecture: source
Version: 2.3.0-1build2
Distribution: precise
Urgency: low
Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>
Changed-By: Leo Iannacone <l3on 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.3.0-1build2) precise; urgency=low
 .
   * No-changes rebuild against current libghc-agda-dev.
Checksums-Sha1: 
 74af608fd7d311b809fc348531ce66e8aed0bbae 3512 agda_2.3.0-1build2.dsc
 9c3adde83103bd391418b5d5223e046ddf16fc67 6587 agda_2.3.0-1build2.debian.tar.gz
Checksums-Sha256: 
 d281a1e54ff47dc7190e4ea0bfc45ce93cb7978a39159de3cf1dda91bc112e8b 3512 agda_2.3.0-1build2.dsc
 419b5b9730a1b2d525dd9146eba788e48fc59d7f4a00a096c4ee554cdfefa8cb 6587 agda_2.3.0-1build2.debian.tar.gz
Files: 
 477a56585c6cf04ad427e2ce994a7d66 3512 haskell extra agda_2.3.0-1build2.dsc
 93845783a637ffc3a84749e0077cc2e4 6587 haskell extra agda_2.3.0-1build2.debian.tar.gz

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

iQIcBAEBCAAGBQJPHS2rAAoJEPmIJawmtHuf6MUQALu+05BKZchJCH7OzeuSYZYI
CNMwBXS2IOnwTNBloaSU60XFhMKOu2HW6HP+n1NZNRodPHiXOeA+gmpMFqIepg0B
2Hr9qYr5WptcvbVT0y/DTwtlraSuSBe95iUMm0ppfsKyOiZ/0vLPbU0/OVRBoX8Y
x2QfrZJQnXUw8bkkC0Kb5gLo92VUdm1Ib/K7YFGevWoisGXXZoplK/kGnUxoR/XC
9q1pjCBPiXmj8pyOe5rpJPJStRt0g0GZ/DKjm/J7dSUNvdN+YvV0r3fNRJI31Nh8
0QT/6wNTwUO5XuDKOXMFrlvbFwk13RIgK2nP9S7on2IB/AmPvOZQq/iDwYGfIjOW
Zg+dUlhAekRrk+9NQH9oHIcLDJNUjzDuwZV3iIDee3kZXsuUdg8oDQVhEmquNHWc
3nTLnG1vwxWrCwTF4TtNxRicoNanRMb9TQZfNvShP7uWkLFYkxbI9cATJIVXfYDx
C5nDW1IO1hIigt+nIzXLonXbbqv6EWNP4xZX9l8tCfvYQTYDRrZg4au24m2A3rQR
/kQJIClzIf406AKUB5XLVvguQUYHlrTdfdbF3tNE1Jo/a+m5enJPGE26aR2cewS7
mB9y7iqj36529R0cx2QjS7tgYaimPJaJ8uT5/iQ+kMrmy6kHkd4FLvhi+Qve6D5H
AX9uUGuTLCqwlopntwfu
=j7Er
-----END PGP SIGNATURE-----