[ubuntu/yakkety-proposed] agda 2.5.1-2build1 (Accepted)

[Steve Langasek]

agda (2.5.1-2build1) yakkety; urgency=medium

  * No-change rebuild against libghc-unordered-containers-dev-0.2.7.1

Date: Fri, 15 Jul 2016 06:41:20 +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-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Fri, 15 Jul 2016 06:41:20 +0000
Source: agda
Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc
Architecture: source
Version: 2.5.1-2build1
Distribution: yakkety
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-2build1) yakkety; urgency=medium
 .
   * No-change rebuild against libghc-unordered-containers-dev-0.2.7.1
Checksums-Sha1:
 df92f8bfd010b408cd4e2bb3fa6ce054dc4dda3a 4138 agda_2.5.1-2build1.dsc
 0e054a301f254026c3bd8f4cb87030023e48a091 8832 agda_2.5.1-2build1.debian.tar.xz
Checksums-Sha256:
 8a40034a3b22b85e668f6e7279be03a158357ce02e4af09cb8fb1b0be916009a 4138 agda_2.5.1-2build1.dsc
 c1aa0a96849636ec1b82490a460bc127fe493d6b604420b1eb720aab792e2e8c 8832 agda_2.5.1-2build1.debian.tar.xz
Files:
 f176fab6a323bffb2958405ca6090594 4138 haskell extra agda_2.5.1-2build1.dsc
 52f1728f5299ff393381e92c79637984 8832 haskell extra agda_2.5.1-2build1.debian.tar.xz
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers at lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCgAGBQJXiIWTAAoJEFaNMPMhshM9MS8P/2NKsTXqqbk1ePWCkvIZgMkh
C92SXuPdfJEqeOBbxUzT42/2a2VOKhz20AzB6FKSBQc0LVQuwFjnL3b5POvWLgPi
nWp2xmrU9Uq/tCDRVgMRx5Awte0Zl/vN9IcNWaVSuy8w3GuMPZ9YCg1a9m+4mc5P
lCBNL5EW09T5/1AI+83dukfOE66pHqnJ8bGtxNZEXT0zP/cgiIBPtefhNYMODrFf
vDi4vBhJE3WFufylNJUA27pDncHM6oksUS09+ACVh2cWbxfTTFQR82P8wG+fg89T
R9Mzz6TKJj7kAGg44o5PIEAtb8JSxKHwBwU/wUB0B1rZLFhVhTZ/Q5cGORhvFS7v
NHhGEQvUrE0mh83/bCMdNjVI9DIntT92W743+QLwqXlOriLSX5ZOq9x8hW3okxCv
j8cnyP5Df1tCK0jjA1kH78GWrc2JviI9T/D/WjGUQ1M1iYZBcm3iL3AkL7OCcc/E
GZBbg9BInUquRAeLyqlDWklxXm4ut63CzJT1blhtq7k4pYPRURIxXGvcepvjstgx
zk9oI9YsxHXnY5RkU985awqfzZs0K6S3hs4X2WiBwbmvxuzOHbJW++utusNOdVdT
e18RVvH6H0LtFePDVTGmq6JF/ucxMmWONB5P6KdW6KUS0yqyshaQYkeCuAqvrf2t
XMsJ+WH+RXBbLds7Is4r
=JF/r
-----END PGP SIGNATURE-----