[Pkg-haskell-commits] [SCM] Packaging for Agda annotated tag, debian/2.3.2-1, created. debian/2.3.2-1

[Iain Lane]

The annotated tag, debian/2.3.2-1 has been created
        at  87a044bfa3e4b3ce674fcb07e326afb2cb0f2d94 (tag)
   tagging  89424e353968296408c618babeafc36f86f1382c (commit)
  replaces  debian/2.3.0.1-2
 tagged by  Iain Lane
        on  Wed Apr 10 12:18:22 2013 +0100

- Shortlog ------------------------------------------------------------
Debian release 2.3.2-1
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iQIcBAABCgAGBQJRZUp+AAoJEONS1cUcUEHUzk8QAJbQGl9Eukw28y6rqjHji6Hc
Q+tUzZlnHhCZFFSxrunLU62StrcQliPQPM8d0RVwTQl2qawHs2LK1svUd7flKkBP
GT96letM7L128eb4gt5qYpjL3Xwu4IGsQG+p6z6yjrEK+HIS+Y1eNKiWcDYwXyBS
EbT8zF5WMAsbDnGbsR87xQ4dcuNYphaAzSMmu6MijvdDhi0UXUT+dkhxbFHdjIjr
H+OJq4qpzl5Wkw3Vqzlhk7L9aEaIXvod9bHv09NzyERerLSIOx9AzIQEfiDags8D
4XtDHetkiGK4kOFGZT28mLf/Z4s2bhbfX/HzLmfKeGRykEy1t16rxaaPhPsizeR9
C2nc+jk4ABUqaZGIW8jbltRVYdQN/q8VeERze1vqF0jwwbqASc3jayqtj+DY3VJ1
WWppwYKmIhbB7TOWjzcyIMPIeqzT2UzRpO1o+WBh1V9jHRQAcKwPZku3Amt0DfVk
wn3hvQm9kebRI6a/tyy5gV/Vu5peJlXqjvMON6PPBcg+xQzFifqlIS9l8oVA/J6+
myriw/Qu53gNRFcknV++B1n9QA897IXgpzW7vyBGa0m3Ex4UljU39t66vL8rQXBj
yBIW+yWK5nQrRQdH3uGfo9tunRvIdo9tmmtc/dRcfQ8vv9TipOGt808iptSOIYeQ
vzWv4qC7CkW/z6ubg0+v
=7kMM
-----END PGP SIGNATURE-----

Iain Lane (10):
      Imported Upstream version 2.3.2
      Merge tag 'upstream/2.3.2'
      Remove all patches — all upstream.
      Update build-deps to match control file
      agda-mode no longer depends on haskell-mode or GHCi
      Add agda-bin package here, as the separate package has been removed
      agda-mode needs to depend on agda-bin
      Allow Quickcheck up to 2.7. Fix haskeline build-dep.
      Add missing geniplate and parallel BDs
      Update & finalise changelog

Kiwamu Okabe (3):
      add patch extend-haskell-src-exts-dependenc
      Extend haskell-src-exts dependency on debian/control
      bump up debian version

-----------------------------------------------------------------------

-- 
Packaging for Agda