-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: agda Binary: libghc-agda-dev, libghc-agda-doc, agda-mode, agda, agda-bin Architecture: any all Version: 2.4.2.2-4 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-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.5), 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.2.0.2), libghc-hashtables-dev (<< 1.3), libghc-mtl-dev (>= 2.1.1), libghc-mtl-dev (<< 2.1.3.2), libghc-parallel-dev (<< 3.3), libghc-unordered-containers-dev (>= 0.2), libghc-unordered-containers-dev (<< 0.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.17), libghc-stmonadtrans-dev (>= 0.3.2), libghc-stmonadtrans-dev (<< 0.4), libghc-text-dev (>= 0.11), libghc-text-dev (<< 1.3), libghc-quickcheck2-dev (>= 2.7.5), libghc-quickcheck2-dev (<< 2.8), cpphs (>= 1.19), cpphs (<< 1.20), happy (>= 1.19.3), happy (<< 2), alex (>= 3.1.0), alex (<< 3.2), libncurses5-dev Build-Depends-Indep: ghc-doc, libghc-boxes-doc, libghc-data-hash-doc, libghc-equivalence-doc, libghc-geniplate-doc, libghc-hashable-doc, libghc-hashtables-doc, libghc-mtl-doc, libghc-parallel-doc, libghc-stmonadtrans-doc, libghc-text-doc, libghc-unordered-containers-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: fbdf7df3d5a036e683210ac7ccf4f8ec0c9fea05 963302 agda_2.4.2.2.orig.tar.gz 12361224f042489c80c86495ed2b3c7d9f677f61 8792 agda_2.4.2.2-4.debian.tar.xz Checksums-Sha256: 2344107654d0cb2a18dcf179ed3ea0f427839e058771ed628da64fbaed55bbc3 963302 agda_2.4.2.2.orig.tar.gz 63f6e1b5642a2cc3196e213bc092d877da3ad8829abf73a1b1a9f41804657c32 8792 agda_2.4.2.2-4.debian.tar.xz Files: 3608c4305d32af66807c8189ffc719f5 963302 agda_2.4.2.2.orig.tar.gz 52315003972addb06efae13e8c543b36 8792 agda_2.4.2.2-4.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJVwMaQAAoJEONS1cUcUEHUmNYQAIXrHMP+kJOEW/yCD1GCzskm 62Brf46aOXkG27l9X17RtBJ5FXEaSxH6UF/UVnof0gtli41kSsI93fAvyJAdPNEM 5WfcapyWO7vlXmce7nipdB8yOb8dEDETWSW9iERc0D9g4TnS1mQlu+K8/YFaTiXv UK4gsC9NntIq/L7UH+uUonlU4IyHaNK/cRuUbRkzkcVA04I/Ze7vWi+Q5PAfV6/b wIGVMIE7qsNmEOp0kODwmN5AJp0yMvrvI+oUcn7jJI5pAVCDeNkywL6CeQd7YhG4 MZc4w3el0I6BqmLGUUgN8m5yQnqM05PsrARhOvJDJEfoGoZdO9/6lu1RUCktXM2/ 1bi/eN4Ettas5APAH9VJaX11N9hhOdSEGzwah9IrrUKzh+0X3hHWQptdklW6uZ5+ 5ixGOOmTfD/A40idg5u8M20HCNVk2dGmkpeLhJB1l8Sl9y5WyOr7hmO4i0ZePnNA 39dQ0URfYHJ7BP9vkfw7ke6sZ1TJ6EM7V0dGR581SS3LoB7DHX4c7/iupcen22kg H8zBys7zzBZuJIEAXnU9WtGu3w2HNjyi6WYpvmKiFqqULRQfSkwTLO28R5nN0hhU mtccj+TNeWreEQ6qAPjtxT34PmZA11wknvYAMGi2iyuFCRbQ/4ubQeRqFA4feycr rl2zLGeec9BCunMeAqZa =ABTi -----END PGP SIGNATURE----- Changes: agda (2.4.2.2-4) unstable; urgency=medium * [d59dba4] Revert modification of upstream source in a4109c2c88ab582bbc3141cd9a87373c3509c97b. We're patches unapplied. * [570458a] Cherry-pick upstream patch to build with cpphs 1.19 (Closes: #793194) -- Iain Lane <[email protected]> Tue, 04 Aug 2015 14:46:23 +0100
