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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org