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

[Gianfranco Costamagna]

agda-stdlib (0.12-2build1) yakkety; urgency=medium

  * Rebuild against new GHC ABI.

Date: Tue, 09 Aug 2016 15:28:08 +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-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 09 Aug 2016 15:28:08 +0200
Source: agda-stdlib
Binary: agda-stdlib agda-stdlib-doc
Architecture: source
Version: 0.12-2build1
Distribution: yakkety
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-2build1) yakkety; urgency=medium
 .
   * Rebuild against new GHC ABI.
Checksums-Sha1:
 20f449df5c4418c3b31a3a2e5c5e61a0d83de531 2179 agda-stdlib_0.12-2build1.dsc
 7d09a169ec11e8e1512539012b20c1af96a3f487 5016 agda-stdlib_0.12-2build1.debian.tar.xz
Checksums-Sha256:
 fbd703f74ae8b3740b3b51873682edeedde6dc8a488340776b701e18dee3d4d3 2179 agda-stdlib_0.12-2build1.dsc
 73b236c1a69f6ef01c00fc606389702dae19171d35cfaa0cf5bc4e81c536b952 5016 agda-stdlib_0.12-2build1.debian.tar.xz
Files:
 0b9ed5e42393127cc71078423bed7472 2179 libs extra agda-stdlib_0.12-2build1.dsc
 1dd296a0581578b9be0d228ba8d73c95 5016 libs extra agda-stdlib_0.12-2build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXqdptAAoJEPNPCXROn13ZNPkP/0dTQgzJhCz+kdIuTI4aqWys
wjvTgnp3JYZ1kGNfFLZfow95OH2MQ5783z7mHpjfXtY37tKKMmL1hbAy81qJBz0J
pbTmHrygBK5ouVUCl3+AyoljnuxvOugL9ywpukmNayXYtuZ/Znv1E4lkFXu5Rkwm
us+JlKFT2BpqM3/bJoMemvW7Eo86JG/9JT+5Az6frkSxlH8Y4NNYU2it+DYqde+3
r4vpa8D9GNkXULCWJGX4UkUqMTU0MACqS+pi9e/UPZPqXIdnAK2SOtj7hIDPXZ2f
HalfeEssuEShHoVyLP7EPjysoBAFNvtQA2e/rOad+xuCQBcVpo+RN5s3gNK3pxcs
B+UIUIASjkp/QJxw4iZ+bVPS8TZZ36yPPm6NO3cL/Y6bY9oax74BjvzDvB2R4JyA
0l4tvXbbqVNbCkq0a+c2pQGW8jAVM1BlCyjJoAosr18Tm9Z9m70chRV1yQ0NCQco
AV/8M6HUc+T+jftagC7yokK0+ixlYK1WjC1ODOLJLeCQ7ljEtVItQhV3FFip3xQW
iFzN5P7+cyv/7cwh8uJSD0bP7YH4nDHd76PIPQLJ5uVsPoeIKTglkpsIpbgPvju2
DJzdiMPV9DZ9sXcNyMBxRB2rRDkX9bYzodd32RhALP1yogxxF5Fw+8j8CQeXU0OT
usDPBssIgcaExzAGNeR0
=Wm/b
-----END PGP SIGNATURE-----