agda (2.3.2.2-1build1) utopic; urgency=medium * Rebuild for new GHC ABIs.
Date: Thu, 12 Jun 2014 21:25:20 +0100 Changed-By: Colin Watson <[email protected]> Maintainer: Debian Haskell Group <[email protected]> https://launchpad.net/ubuntu/utopic/+source/agda/2.3.2.2-1build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Thu, 12 Jun 2014 21:25:20 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: source Version: 2.3.2.2-1build1 Distribution: utopic Urgency: medium Maintainer: Debian Haskell Group <[email protected]> Changed-By: Colin Watson <[email protected]> Description: agda - dependently typed functional programming language agda-bin - commandline interface to Agda agda-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.3.2.2-1build1) utopic; urgency=medium . * Rebuild for new GHC ABIs. Checksums-Sha1: 02f2aa9657837d5dd416830036dba7edfd9a4c16 3346 agda_2.3.2.2-1build1.dsc c3d9450155ccb45090617a385632ca60ea147ba7 7527 agda_2.3.2.2-1build1.debian.tar.gz Checksums-Sha256: f8e976bb7120e95fcae283f66025ff25b4be279e82a6570fc0c2fb8f6e7c8134 3346 agda_2.3.2.2-1build1.dsc 56e14746d13459edb456aad083f081e534bc5e08ea45bab6eb908320a764a2f7 7527 agda_2.3.2.2-1build1.debian.tar.gz Files: 9b89056b09bc2c34e1bc813b4bf8f593 3346 haskell extra agda_2.3.2.2-1build1.dsc 11bb9476d17655956a0c6fc9faa11964 7527 haskell extra agda_2.3.2.2-1build1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBU5oMtjk1h9l9hlALAQgHDA//dRzmeESKdoSeDA7uy2HMEuS4tAVok9Qz PHnzUFdemcku8kxZQ4y6Y0k+J2B0t1TljFwpc4fEVH3w3zpSCaxXsUmexECgZ6ih LiiKl4UYIacpzhbJ0VQ1dvZyb1sa1yEJK+X28BINapZU5G6BDERaiOnlUj5VKHkM wo8uHUSDLvmjxEk1Il3vGF4NQ9oYnTJ3EsyJoTP5jLhLgvVbBzjVnShIGS2AwM9z ZqhbHwBc1R9+JlyAe3sQsNoFUzP4eZRvmpgWQcVLFSB/BlMpLino0vh+WaYMPIaY Hh49OWmvJpAXB6ZD+6HL8Fz7sBF9pJGW8tzp245sL4CP5hOk1e9Fk/Na0rw1yMyu R6Ipn3zzZqoMoUq+t9kth3I7Tth6qSKJkJ7dTvlIyv7sBUl8G8FI35cmIbgq/6jL knusqhGSSfDLvZYUvhx1mSgxIddPV401+fjQ49jg3VqmoSe9VA+a1ptbyBc5CDFl fU5FJwql+Mx6CY0VK7YyL0b9uK7tuisDmdfyuLZyngwC72zpTYZZsbPpJ0OUDAn8 ALyq5HMoChG73ctNMM2UwSbiGwM1Y/GezeZU6lNk3wnjlYl0Ecif61Nf7hjv0zJ8 SkNeety2zRDJrFZusltLK8CMFmXaB64UuK6inXS3RRY5zMdeXsD7FMx4nxvEmpEv uHIe2Dj8kOE= =Ul/Y -----END PGP SIGNATURE-----
-- Utopic-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.canonical.com/mailman/listinfo/utopic-changes
