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 <[email protected]> Maintainer: Iain Lane <[email protected]> https://launchpad.net/ubuntu/+source/agda-stdlib/0.12-2build1
-----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 <[email protected]> Changed-By: Gianfranco Costamagna <[email protected]> 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-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
