[ubuntu/zesty-proposed] agda 2.5.1-2build3 (Accepted)

[Steve Langasek]

agda (2.5.1-2build3) zesty; urgency=medium

  * No-change rebuild for new GHC ABIs

Date: Sat, 22 Oct 2016 04:52:29 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/agda/2.5.1-2build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 22 Oct 2016 04:52:29 +0000
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.1-2build3
Distribution: zesty
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Description:
 agda       - dependently typed functional programming language
 agda-bin   - commandline interface to Agda
 agda-mode  - transitional dummy package for elpa-agda2-mode
 elpa-agda2-mode - dependently typed functional programming language — emacs mode
 libghc-agda-dev - dependently typed functional programming language${haskell:ShortB
 libghc-agda-doc - dependently typed functional programming language${haskell:ShortB
Changes:
 agda (2.5.1-2build3) zesty; urgency=medium
 .
   * No-change rebuild for new GHC ABIs
Checksums-Sha1:
 30d069d5f4dec0ea1a3dd2f0e17eec4c9fcad39f 4156 agda_2.5.1-2build3.dsc
 10c44da8137d500a8380fe14cb08b06164db6be6 8916 agda_2.5.1-2build3.debian.tar.xz
Checksums-Sha256:
 fad57e5f1f9470a238f3055b03d9adc68be01d6241f7d4ff3d4a055329eda141 4156 agda_2.5.1-2build3.dsc
 0c4a8b15261b708acab1d0d37cf0ea891471530c4f79fdc94f3d4365dcafdefe 8916 agda_2.5.1-2build3.debian.tar.xz
Files:
 01c656547fa061d88e1773e6191429d4 4156 haskell extra agda_2.5.1-2build3.dsc
 6ca6fbea35887802f69a16abb217e42e 8916 haskell extra agda_2.5.1-2build3.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----

iQI3BAEBCgAhBQJYCvCQGhxzdGV2ZS5sYW5nYXNla0B1YnVudHUuY29tAAoJEFaN
MPMhshM9RcIQAKMI0M249I0XVo85xWeBxRbEukKPKjgZt5f0Mf6bulm3DIkhmJm6
l+vhBkxrmNaDxW2HI3uzCuS9oIW7LmkBv7pEjoxVvmRwjwPmdrbSIiGc+sfwv+5b
tHA+YiwCjMvPiRtWa0h3y1+yDYVX8lx8Ram+Isan5DMMhQ/jZFuupv0CHzUzG7ze
c7jd2K8wLtpBezSQOhO7ca3QhzHmS50ADy1ga7l7Hd0I0beYVxAlPL4rtzlDp53A
Hfo1FZEfiPVg/b6qF8gXPKHWaNYSrLrXJJIsnsNeGSpr4aE3qSAoWQjN6qIsHi4b
tb2NLiGMHE2S0/SfASWZIgO+jKvIbaQgerWcddAq/YlK+LDxO9ySFy0H6cpVqGMf
+KNwJeX+Q6pZwhQsldmeOhDkKHl9DCb2X4H9vDr2HjHa04zgc2/k7pY34MHe9GP4
XO1A5AjOVRB4x7Nqj4adrYwi5GJJ/fARcfiK86MM6aWXC9SwbBHHBtcoeDtYUkoM
v2uoBKyDozSkcxHugjWO21cZZHZTAspwi35DcmU8uxdPrAUX5RJm5OwR99LTETRN
+3tVGmDp/7UANr666sEGSFZyqJrqPEdwR/7MMS+Glet+W/IpLUb7WDjg55w8KZ8T
whpOUjY5CmOT5dAzl9BV3vsskiyBj/BiPhsf4CYHcTtIScQ2CCD+NM97
=RmT9
-----END PGP SIGNATURE-----