agda (2.4.2.2-3build1) wily; urgency=medium * Rebuild for new GHC ABIs.
Date: Mon, 20 Jul 2015 14:04:53 +0100 Changed-By: Colin Watson <[email protected]> Maintainer: Debian Haskell Group <[email protected]> https://launchpad.net/ubuntu/+source/agda/2.4.2.2-3build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 20 Jul 2015 14:04:53 +0100 Source: agda Binary: libghc-agda-dev libghc-agda-doc agda-mode agda agda-bin Architecture: source Version: 2.4.2.2-3build1 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-3build1) wily; urgency=medium . * Rebuild for new GHC ABIs. Checksums-Sha1: 270e0177e0026f1c6094bda18c680720d3800fff 3676 agda_2.4.2.2-3build1.dsc fca1ebde49d1544f3b223230ae7d9071ca7339cc 8372 agda_2.4.2.2-3build1.debian.tar.xz Checksums-Sha256: fe34a21e3d6204421b5c0611c2ee6a9d41f954e339d6f91a413cc7deefaf27cd 3676 agda_2.4.2.2-3build1.dsc d361574e837ba2a8581eb8dfe157fdb30441d264b242a60a03df3b582b8bb1bd 8372 agda_2.4.2.2-3build1.debian.tar.xz Files: 712cdea5809f95bfd68f015a5d25e0b2 3676 haskell extra agda_2.4.2.2-3build1.dsc 33ebb64936f3a64448dcf9f6de434df8 8372 haskell extra agda_2.4.2.2-3build1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBVazx/Dk1h9l9hlALAQgc7g//ZZ967tnicy6q0/2n4aBIZuOwsva2nCE6 v75gSKim/yw8LdDMudP6aWkjdzpBeXTMTq7SOF68kjSl1r0LQ88VuMkkreGIRbt5 s7I7lBoGbrAOrqegcH0raYiM1PEfRBa+BOVGKamFQJYYpNS2gx3ftVsOXs4uj8Vp 1X0XqHA1L388j/oK26/bN69g4xGkBpw6oYRaqJ5qKB7/u3bv+G79hM+BDWdYQXLp bI7QEfG1EBSiCe+xe8fqO7yJMZOwLwhQfuZeC8fwuZQ2GSh+0fSvBqOig6HIL9ui /Cic+pWHyqrywb806ebb3vy2tZoo/ycPGP8hb4EQZZB0mVqPdIYQOvxtS9R+jfsg i0n47xXPAAqYet8UUa3Cn5L2R772LZHNLzuqL9vk2gepJ1vzcVbk0EpVY44ZbbBz h8Q9BlpVOmjzAqN743WQ6DXUqSYsrFQw7veFbUSOYjXhIvpocMX6620d2YiWhzGw BhjXHgxTGi1qLYfChCUwtFp3XJ33UgyXOWyV0zGq55B+RqmKKCU0CjMgq/dMHwMi YjbNJ/gjOQlAf/FT97pPvVe53hbzXdCBenHXz/sIeYvEOB+2/MMndHimoHIpXl24 oFjKTj3PJh0JzTVkXH7qgjkgupsaPw94lkblox4/LapXxa5ZEZAT9l6fPYylU738 BhVh42YbLVw= =SA/W -----END PGP SIGNATURE-----
-- Wily-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/wily-changes
