-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Mon, 20 Jun 2016 17:34:46 +0900 Source: agda Binary: agda agda-bin elpa-agda2-mode agda-mode libghc-agda-dev libghc-agda-doc Architecture: source amd64 all Version: 2.5.1-2 Distribution: unstable Urgency: low Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> Changed-By: Sean Whitton <spwhitton@spwhitton.name> 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-2) unstable; urgency=low . [ Joachim Breitner ] * Fix Vcs-Browser field. . [ Sean Whitton ] * Add --ghc-options="-optc--param -optcggc-min-expand=10" to GHC configure args in an attempt to fix FTBFS on arm buildds. As suggested by Joachim Breitner. * Set Priority: extra and Section: oldlibs on agda-mode transitional package. * Add missing continuation marker in d/copyright. Checksums-Sha1: f685247e4d406c99d2f35fa3f293da56a93cf7db 4035 agda_2.5.1-2.dsc b65222ec841de1e699e7fd511052bb81db62f051 8712 agda_2.5.1-2.debian.tar.xz 9d3663daa9c1cbfaf3e5f2f81fe0a6b4ec0e618a 1674768 agda-bin-dbgsym_2.5.1-2_amd64.deb c20b1ad84cd0e696a676eaea17db55cf4356d56e 4998336 agda-bin_2.5.1-2_amd64.deb 0acb6870c801445b9102a09da90201796a4285cb 79474 agda-mode_2.5.1-2_all.deb 60d809219a076dd18f620fe7961938600bbed20a 79890 agda_2.5.1-2_all.deb fbb08c6bad6a33357aa2ca7110e8b1c9b19b3068 115068 elpa-agda2-mode_2.5.1-2_all.deb 1fe4d6869f8978e3e082ba669c330a77c47da8e3 12131268 libghc-agda-dev_2.5.1-2_amd64.deb 9eb801f0cc225b86799e93298a8d27df8953d9e0 2454312 libghc-agda-doc_2.5.1-2_all.deb Checksums-Sha256: 4aa604a9e2711cab21f78e42494bef0a82e9b9bef78146ce162bb9bac53f4089 4035 agda_2.5.1-2.dsc e2ebbbbafd1c9c27d648256c45ae05cd49fe13e58c5e33007523b7df5797151e 8712 agda_2.5.1-2.debian.tar.xz 0531def31b5fe9387be537c948bb4e2e21bbb7123d7c226ab5b86fa93578d4a7 1674768 agda-bin-dbgsym_2.5.1-2_amd64.deb 99b9c06fa1722d0648e50e0d5f223dbddc03f845d0a5aafd75838c6da67ca8cd 4998336 agda-bin_2.5.1-2_amd64.deb 706f74a59101b1dddd7841be9860d74c871257f211a49bc02ce14ad3fe80005b 79474 agda-mode_2.5.1-2_all.deb 09711684de74f88ef59cffe9cd748d7450bde3e9e557eb6613b4c8a31f62e361 79890 agda_2.5.1-2_all.deb f48ee1e60d89246b1cf1cabed2899dc5c7f9c186f53661f829c4cadbb38d4cb8 115068 elpa-agda2-mode_2.5.1-2_all.deb 0e47a9b3e13ef67fd8d58c45de84ab875e4e286223fd13988577860dd67f11ec 12131268 libghc-agda-dev_2.5.1-2_amd64.deb 1d38d997e53ea6ff56d884164a337f81f764e2c454adb56d9dcc7ec655af39db 2454312 libghc-agda-doc_2.5.1-2_all.deb Files: 65c2bcd2b7819f506bb9393c26aa69eb 4035 haskell extra agda_2.5.1-2.dsc c856e529c1db59fbc45622d849498c44 8712 haskell extra agda_2.5.1-2.debian.tar.xz da08f6d3b1dac5fad45329ab3a2dabc5 1674768 debug extra agda-bin-dbgsym_2.5.1-2_amd64.deb f50ed93fcecb2edab8e342937e347f2c 4998336 haskell extra agda-bin_2.5.1-2_amd64.deb 7f40b89725b2104fe927da77fa8648cb 79474 oldlibs extra agda-mode_2.5.1-2_all.deb e9b3a69b86b3954f137ae74672610c0e 79890 misc extra agda_2.5.1-2_all.deb 3fef23d36cbf43bc6271809becda0ef3 115068 editors extra elpa-agda2-mode_2.5.1-2_all.deb d38219d3c976cec5fc638a60320d5034 12131268 haskell extra libghc-agda-dev_2.5.1-2_amd64.deb 44c107d5786bce058f47c59d9b535c2a 2454312 doc extra libghc-agda-doc_2.5.1-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXZ7MKAAoJED2QirPw+/UfXw8QAJiU5xSCSYn77Dc/cGG8LoCc GA+o3yehsFcx0MX2jdGXq/0aUnnYGCz9GBv35SYJAiWpNC4wjvA+lhRMxurX8cGh JESDbQ471D7U9c1o6eNJ2uUOyVgS2ujHAwt2ygP+JAfKHA0kXUVabISgWe7Y8A7W g17+tKo5QG82dq4ZJ49s6e5ByMuFYJOOl06yhyBcGOUb4GBMBXwql7ksXcfOwJv6 0RqTKaeVGGxOxFOSraEt+OZtPRVqI+oKS7odWbpPeLB4h1JfIaKePfgEkAeJtJ/v JNMdh+9TbMFsRMYF1vXdckM3rYK38gGBXdu07fdPdZuCw5RXRNqmjSVXvI2U8mqd ++uvHShXAtb1UBpJsvcx8bmXo2/4QQTtGE0gTDKLCd8nF/ZoD+E14IuBt5hrr/Q2 wtnLpoKXJupYZlq9wabPxBXf46MdwrZpp4ifJuRy+q4Dml2tDtJ+XiWiQOevcKSa MDsIAQ2iLDUv5sD+S1obJ6lBKaG17aauiCXkvahl2WQkX4v0fOWXCTuDhGwTJAIr Dz89+ZSOqCuqwk8KaGRVNif9koc0JiQq4j8M4/XJ95XRE3rMscX8jmtvIMI4b/Hd XmLjgQiIZm6ls/IhD8Ku6+HdkI1ATF4KeI+NUtUraorIdaE0poLFGnMf1/R2hKNS WYxlia99Cvd3FAjePEiz =968/ -----END PGP SIGNATURE-----