-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: agda Binary: libghc-agda-dev, libghc-agda-doc, agda-mode, agda, agda-bin Architecture: any all Version: 2.4.0.2-2 Maintainer: Debian Haskell Group <[email protected]> Uploaders: Iain Lane <[email protected]>, Kiwamu Okabe <[email protected]> Homepage: http://wiki.portal.chalmers.se/agda/ Standards-Version: 3.9.4 Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary Vcs-Git: git://git.debian.org/git/pkg-haskell/agda.git Build-Depends: debhelper (>= 9), haskell-devscripts (>= 0.8.15~), cdbs (>> 0.4.58), ghc (>= 7.6), ghc-ghci, libghc-binary-dev (>= 0.6), libghc-binary-dev (<< 0.8), libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3.0.0), libghc-equivalence-dev (>= 0.2.4), libghc-equivalence-dev (<< 0.3), libghc-geniplate-dev (>= 0.6.0.3), libghc-geniplate-dev (<< 0.7), libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.2), libghc-haskeline-dev (>= 0.7), libghc-haskeline-dev (<< 0.8), libghc-mtl-dev (>= 2.1.1), libghc-mtl-dev (<< 2.2), libghc-parallel-dev (<< 3.3), libghc-transformers-dev (>= 0.3), libghc-transformers-dev (<< 0.4), libghc-unordered-containers-dev (>= 0.2), libghc-unordered-containers-dev (<< 0.3), libghc-xhtml-dev (>= 3000.2), libghc-xhtml-dev (<< 3000.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.15), libghc-stmonadtrans-dev (>= 0.3.2), libghc-stmonadtrans-dev (<< 0.4), libghc-text-dev (>= 0.11), libghc-text-dev (<< 1.2), libghc-quickcheck2-dev (>= 2.7.5), libghc-quickcheck2-dev (<< 2.8), happy (>= 1.19.3), happy (<< 2), alex (>= 3.1.0), alex (<< 3.2), libncurses5-dev Build-Depends-Indep: ghc-doc, libghc-binary-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-equivalence-doc, libghc-geniplate-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-haskeline-doc, libghc-mtl-doc, libghc-parallel-doc, libghc-stmonadtrans-doc, libghc-text-doc, libghc-transformers-doc, libghc-unordered-containers-doc, libghc-xhtml-doc, libghc-zlib-doc, libghc-strict-doc, libghc-src-exts-doc, libghc-quickcheck2-doc Package-List: agda deb misc extra arch=all agda-bin deb haskell extra arch=any agda-mode deb misc extra arch=all libghc-agda-dev deb haskell extra arch=any libghc-agda-doc deb doc extra arch=all Checksums-Sha1: 1c3b13ef833747294d2ba02d87bb97f9e81eee75 910389 agda_2.4.0.2.orig.tar.gz f5fa794df2028ee3b251e631f431646533a075d4 7344 agda_2.4.0.2-2.debian.tar.xz Checksums-Sha256: 0b41cf9f841fd78b60490c66a4f08c9f57316e96ca8f3449dacb52cbf48d848d 910389 agda_2.4.0.2.orig.tar.gz f30965af1acb8536b62c77a01cab75907f61882aa4531a1b828b5cffba2156a2 7344 agda_2.4.0.2-2.debian.tar.xz Files: 55e53ad12eed732c34284fd9c6b90d4b 910389 agda_2.4.0.2.orig.tar.gz d3dd420ae900b03c91e0b8029320edf2 7344 agda_2.4.0.2-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: Colin Watson <[email protected]> -- Debian developer iQIVAwUBU+inijk1h9l9hlALAQj+wA/9F7liMKerwwfX+woPnskHTs0DlXftkr42 JeWwAlSZKRNbaRgU/+bbVJkHEHmVNUilubaGiOPBWfuRK3ypUKJDd4YhRw2ftdOP 5gRDD5E8+8gjUXTdhq5puJQlBhepifNHOOtC9SBtnFIHGOcifH4dcSN/8gynl7d5 2DwLnV+FDSrYrjfWbNQAVOkhvidimoVEPnlBDZqDNlVFCw/9YEs0JdXSk3Ji/MUE /Sy73zvxv0wBLucr4804ogdq4zqIJhblgXAN5y9YPZcpuvpofwHDAN145LR//vRx F3NdMPHwERLOrYBxWTo+QgJLHwKUez4Qwsd7MBAjCf9uujOx94Qi9mWUeREVQEWH 6R4tdVHOZnCii0Fc5KnyX4o4Gg0jV587vxge2sQFfNltkktlyY8JrF8xvZ0N/BZk 1x469YGvGSDBcaw9eTOUrgq+xWrhy0867mRkeZerLR5ryUjCLVxn2g25JS+92EN5 qAPxvF8V3YdKNVXCVfeq2KQ9wzohgv2hhy/RaetA0dGKvbyZ9CCbVy74vry9/mam wyxKbBPdLm9XUKuGQttrnqyjYrpdMHAMZj12hZYJMBPpEmElr7bRqCAUQXyjM+xt lx0X/yXTwKliqrYU5jGxD/PpnaCRbgLgCzECBvhXvfXVkgDDVNbnom16ZIFy3ded HnFPvYoxbig= =UBYY -----END PGP SIGNATURE----- Changes: agda (2.4.0.2-2) unstable; urgency=medium * [e33e7a9] Pregenerate the Primitive.agdai interface file in libghc-agda-dev, since agda users typically can't write to that directory. Fixes agda-stdlib build. -- Colin Watson <[email protected]> Mon, 11 Aug 2014 11:55:48 +0100
