[ubuntu/artful-proposed] agda-stdlib 0.12-2build3 (Accepted)

[Gianfranco Costamagna]

agda-stdlib (0.12-2build3) artful; urgency=medium

  * Rebuild against new GHC ABI.

Date: Wed, 21 Jun 2017 18:53:58 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Iain Lane <laney at debian.org>
https://launchpad.net/ubuntu/+source/agda-stdlib/0.12-2build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 21 Jun 2017 18:53:58 +0200
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.12-2build3
Distribution: artful
Urgency: medium
Maintainer: Iain Lane <laney at debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 agda-stdlib - standard library for Agda
 agda-stdlib-doc - standard library for Agda — documentation
Changes:
 agda-stdlib (0.12-2build3) artful; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 84619d460ee7ed6d5406ff36341c5b0a2bc20379 2161 agda-stdlib_0.12-2build3.dsc
 97366b84d3f7579ba6577d1aa1f985b7adbc2e64 5100 agda-stdlib_0.12-2build3.debian.tar.xz
Checksums-Sha256:
 2c896119fae45b794d9944711f7c9110474456017005dc37a257efb8b8f57b59 2161 agda-stdlib_0.12-2build3.dsc
 22c24f257d4349cd927da1463077fd02c0af8defa05fc41fc5f1104f04decd28 5100 agda-stdlib_0.12-2build3.debian.tar.xz
Files:
 4c9a1ac46947837e58a304d7ef8220f7 2161 libs extra agda-stdlib_0.12-2build3.dsc
 d1021506e5bd46502e6172f5f6d82e3f 5100 libs extra agda-stdlib_0.12-2build3.debian.tar.xz

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

iQIcBAEBCAAGBQJZSqSnAAoJEPNPCXROn13Z4jQQAJWUOjwhATMdvdk2ZLCqWdfV
Okc8PhAjJwKLn6V8IMshwYdCo+thxUV5qUgkAZ4K+3JdsEZebQFKy1woVwjkP6/g
O/OCTEU1yzcPIBIie4pmE55wJ42GFUZsuNBCc8uIlRZ46wQj4cBLJLXsLOrf92AE
CbKnw31IcNddknSI1Fb+e40EOAKVs0GoileflrOhfaYAR4gy4/tZZYSUJlaSonmu
e+8OVozKBuse6FrOqb0Yw+9wUMu8kvzwQJsrjgmYkJ7doA2f+jiMvINP7eTgLFwT
igbmlvZqtxFBKHvTQwdugh3SYP+WSFtw6HdQDem9zcjv0huXyJ5p9gDPGhJINQlZ
orJYGmcpXE8xZFnPhMPg37E4GWsfCYkmJ9etOXkNn3s+Ggyazm6+ajG3YiOl9lnR
bqO9bikQOW0WeFWa/2rDYiYEpN0ByFWyVd/sX+xcaYZ2jUv+ZSYYxFODqRsAwIgW
uzo4KLQmH82FY8V8cMAL1gN0CcxDM1aRKFBCCf1ugsiMnUwrgu09rMc285L3ziiy
p9RtAW7OvyAS1kbQzVeQG8kruqQgAiODX/SQDll4QTrjeCVUquYAnB0roHs7wlFJ
6ONQ4Bz65KbZk7gC2aEjS6bf7yjmHKbo393wylESPCEhU2QFWiGd/nYOvz6/juQR
yFFFrtfbJjKFTgckgwTF
=gIFi
-----END PGP SIGNATURE-----