[ubuntu/artful-proposed] agda 2.5.1.1-3build4 (Accepted)

[Steve Langasek]

agda (2.5.1.1-3build4) artful; urgency=medium

  * No-change rebuild for new GHC ABIs

Date: Wed, 21 Jun 2017 05:28:44 +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.1-3build4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 21 Jun 2017 05:28:44 +0000
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.1.1-3build4
Distribution: artful
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.1-3build4) artful; urgency=medium
 .
   * No-change rebuild for new GHC ABIs
Checksums-Sha1:
 de95f884c9e600344e3eb79d5dc63d24edb921d5 4178 agda_2.5.1.1-3build4.dsc
 7f0b3942a5d76793bc33f990a627a9eb8008d221 9780 agda_2.5.1.1-3build4.debian.tar.xz
 fddf9a7958ca1ce19761ec3358e33bc85ddead6f 5787 agda_2.5.1.1-3build4_source.buildinfo
Checksums-Sha256:
 dff95f3a26aff078ddc3986a5ab3afcd97b8e88a86c91a3be1d02e96e3a12c99 4178 agda_2.5.1.1-3build4.dsc
 df51de39e4a83b476daa304e44a43614c98ce093a3f6149cf1d63a85df862aa0 9780 agda_2.5.1.1-3build4.debian.tar.xz
 1542e8d9872327e474748adc495dc783697c3c9f1f0496d4f1ceb6f22b185ec8 5787 agda_2.5.1.1-3build4_source.buildinfo
Files:
 247aca24530d1795c69145cb6883cf01 4178 haskell extra agda_2.5.1.1-3build4.dsc
 af7aa2486258ac4057e5a81cd4c92dc0 9780 haskell extra agda_2.5.1.1-3build4.debian.tar.xz
 d00cd2a5f575f999e6f5f36a65be5d71 5787 haskell extra agda_2.5.1.1-3build4_source.buildinfo
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>

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

iQI3BAEBCgAhBQJZSgQQGhxzdGV2ZS5sYW5nYXNla0B1YnVudHUuY29tAAoJEFaN
MPMhshM9/hQQAIiLDpFeJiaSI9o6qxmHyM/oI5SzCqPhRTFqdZaWLbJrrwvGosDG
MTR4X0JfSmceFNbUYeaJ3/Em3J8P84zKR1IYD3SY7XFFkaE4+ifmCDCTu5X4g0vY
OMbvcQHqe1MZH8uGUXq53Bcop0tlUOXC1fD7IeAfnLRFFNRz/J6W/RsVhY0nW4+g
zzfgUxGPZxfnc3gX6Xsx27M7WhQZSRaIn1kFZ+K7UfMdpXC3QfA9waziHf/7Bv7H
vCiUz8NSs7Y8DWYSgDGxsUC1lAhiOiS3TbP/ozizcyS/m16XpdhS0RCGe60+zpSu
Kg+IuSxeldk7mx+yk/qAtzSq0JhFArtLWv0pMaTJgKH243UlWxwj1reEr/JXlJfz
tNdwbmAQSABBkgsbARRSIS/ehOcnzm/jRkNHkhb/+Q06e7cT9iYTcYFs+OLK/6is
JO626wDKKSqi7iwXdsdn3bzaB4FYAeCTPBfMzbimWdN2F893jeuId4CZ1Rsrtf7Z
EN8xj6MdubSzyZn+CyxRrAdt6e01naXWUCmCVu5ee4ZmLmJ3KCdwNG8sdpOz7Aod
iRxANsRvRCAnD9zaQSn8vrVmGUOMvM5EMUqMCrEtNR7PTWfwaAeLH2sJqz02jzBu
VzOE0GeqUBjtKmh8DQyg8wgEOBrt9GGdnjlKIqBMHCS5CGGuiPrbUxFl
=Yy//
-----END PGP SIGNATURE-----