agda (2.5.1-2build2) yakkety; urgency=medium * Rebuild against new GHC ABI.
Date: Tue, 09 Aug 2016 14:52:46 +0200 Changed-By: Gianfranco Costamagna <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/agda/2.5.1-2build2
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Tue, 09 Aug 2016 14:52:46 +0200 Source: agda Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc Architecture: source Version: 2.5.1-2build2 Distribution: yakkety Urgency: medium Maintainer: Ubuntu Developers <[email protected]> Changed-By: Gianfranco Costamagna <[email protected]> Description: agda - dependently typed functional programming language agda-bin - commandline interface to Agda agda-mode - transitional dummy package for elpa-agda2-mode elpa-agda2-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.5.1-2build2) yakkety; urgency=medium . * Rebuild against new GHC ABI. Checksums-Sha1: 3255f1f854f8246a6449363d236423929e30d77d 4138 agda_2.5.1-2build2.dsc 47149b3cb78c89072ca6a0466984b5fc07e11972 8868 agda_2.5.1-2build2.debian.tar.xz Checksums-Sha256: 88e503fd40ccc3565a16a50549bd646ecdd7930c5b462c86ec5262264c98bc62 4138 agda_2.5.1-2build2.dsc 4424ea8feef46012e0e2438d0be254989b870f1eca404d3b326dfbd9e98d80fd 8868 agda_2.5.1-2build2.debian.tar.xz Files: c70099d3a58ebbf5d8bb775d9b4e08a6 4138 haskell extra agda_2.5.1-2build2.dsc 27b077bc8b23eb7642282b086afd8e52 8868 haskell extra agda_2.5.1-2build2.debian.tar.xz Original-Maintainer: Debian Haskell Group <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJXqdIfAAoJEPNPCXROn13ZekIP/3M/+3jKots/l57XDX3oJns2 4Rmey5TFE+ZsW6tMyFWH9rtpqApZ+JGZ62LdBXUqvG5so0L7Z0PMtwgJJNFxTRLN gS1Zehpv0lyAQxeHsPZjui3ge/dSPWeQi2OOS7+WFj5kjoeQNYW64zewJnbg772J Ms7M31mQat2AM+ObQssL+z5xlhAXph5RB1OBjXa2GUSaibqJgW2EQtMuDQZCU7NP 6FwAXAo4wyRlRt1eva8qnZBnVCezcmTS6kly/ijNiieVp6/yZvZGT7h2egpdvafy 9KXOzVfHqQ1958kc4kZkxIz2SCFr5tmVyPzpu/iONW/8e7Rh3SkErR384lRk0iCw F5z366jLrgqSmyldTRukpRTpbpRDdP3gZHWFeI3Y4ihIwbGz9AAgD2F+xY2HXKwp 2foBt+Ua7+D4A61gdMgJ0Xp0tpCEKuEmNWM8Aaqm4SSY0wS7yts2XrmqwHCd3i4C nAyZM0oMAthRTy0qS7jrpvMw/xw/NHlfXfjBOQbZfaWudMFEXgq2HhRbFxofv7p/ 2k981YqbcyM51Q0FNS4+HxpKIR/ehcuyAoqfulVey+RqyKZgngRonVYqG1/RXW5d vnhfMc4sJR2ep7hmj2VvOtf9H9/udXdPiWjNB9sAx+B4hRzh6vckOjIIfG0FX5Oe VixjHwCWaqlWLTT9XC/9 =I2xF -----END PGP SIGNATURE-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
