Back to agda PTS page

Accepted agda 2.5.1-2 (source amd64 all) into unstable



-----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-----