[Pkg-haskell-maintainers] Bug#693624: agda: Please package agda 2.3.2

[Aleksey Kliger]

Package: agda
Version: 2.3.0.1-2
Severity: wishlist

Upstream Agda 2.3.2 is available.  Please consider packaging it for Debian.


-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (900, 'testing'), (800, 'unstable'), (499, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

Versions of packages agda depends on:
ii  agda-bin         2.3.0.1-1
ii  agda-mode        2.3.0.1-2
ii  agda-stdlib      0.6-2
ii  agda-stdlib-doc  0.6-2
ii  libghc-agda-dev  2.3.0.1-2+b1

agda recommends no packages.

agda suggests no packages.

-- no debconf information