agda (2.4.2.2-4build1) wily; urgency=medium * Rebuild for new GHC ABIs.
Date: Sun, 16 Aug 2015 09:51:20 +0100 Changed-By: Colin Watson <[email protected]> Maintainer: Debian Haskell Group <[email protected]> https://launchpad.net/ubuntu/+source/agda/2.4.2.2-4build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 16 Aug 2015 09:51:20 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: source Version: 2.4.2.2-4build1 Distribution: wily 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.4.2.2-4build1) wily; urgency=medium . * Rebuild for new GHC ABIs. Checksums-Sha1: 65d5491247764e752cf8df59032071d427a4677f 3674 agda_2.4.2.2-4build1.dsc 85b5391b185a4fc4c2600f2aabb5c551159ba977 8856 agda_2.4.2.2-4build1.debian.tar.xz Checksums-Sha256: ddb7c687270db1506b9c2fd84d97ca61f8a740180282166bbe6098c0064833cd 3674 agda_2.4.2.2-4build1.dsc ef7313b239c0ab9f74f9dc82dd8af309c5e3f09d1343140b53218c0381ec54e4 8856 agda_2.4.2.2-4build1.debian.tar.xz Files: fdfab371e4383824f8d3f3239cc537d6 3674 haskell extra agda_2.4.2.2-4build1.dsc 1e1a0f7eb44abe6f4fd0c292eada7478 8856 haskell extra agda_2.4.2.2-4build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBVdBPDDk1h9l9hlALAQiwqQ//QIevUGR6kCRsdRLETjyftom0wWRlJk9U da7GAKlQZcMzoJHqfUe9nW/nEHT+IloiIC3q3fig04tgILB+ncWItVcxJuTdR5k9 Csa/BpXN5wj5s7tXoTq+gk459IVp17rlq6n0S3xVT3s9ZUUGK/y0X8AY1rWpslIY XyzsBIHYw/cZTqW73M9guN9VUd074yK8es9dOVLzhTNPHQ+HapN9AKKnvHjCu8dd eIhbeqDQ7lVIMSSAxpTlf2UCuVJbZ2FfuDGxme2Czw0jrSJ8DnSsUik1d1WujiXC rab5Oks6gM9giqvf5+qwtFFsRGY9ntne1LVtEGr8LGi9IAoZLXuUVoJj7sIsdOw+ PSHNu2IzkMXt8pzkoEweT5e4c5/QjYgR22toSyQrnTh7xsx2e5D58sFcBUtjdO/H SKivvrEWz0QhxlC4CRRfALJwEQsEjgOtUfYuDqBpKrhoYEBCGMTMPHJL/IVijL6v KWtVZ+MB4T2W2DgzkYmwKJXF4ec4JdT4kYhem/be3wf1dJIdHUMgPn1fiw1U9Okh 87pEjRp/WFKgC7jNNPHHfNBJDjk0+ZZqSIKxYAEEqbEg1HGqbRc9huFhY0WyIjUH uX4DK9Kl4I8zODB0ZU7yjmdfhdmnjQddxriWGmaeSTKWmSx+bHEROyRRGeDQj+qW Ly8tn67J1t0= =ITKt -----END PGP SIGNATURE-----
-- Wily-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/wily-changes
