agda-bin
source package

general

source: agda-bin (source, haskell)
version: 2.3.0-1
maint: Debian Haskell Group, Iain Lane (u)
std-ver: 3.9.2
VCS: Git (browse)

versions

stable: 2.2.6-1
testing: 2.3.0-1
unstable: 2.3.0-1

binaries

agda-bin (0 bugs: 0, 0, 0, 0)

todo

Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.

news RSS

[2011-12-04] agda-bin 2.3.0-1 MIGRATED to testing (Britney)
[2011-11-23] Accepted 2.3.0-1 in unstable (low) (Iain Lane)
[2011-06-07] agda-bin 2.2.10-2 MIGRATED to testing (Britney)
[2011-05-25] Accepted 2.2.10-2 in unstable (low) (Iain Lane)
[2011-05-24] Accepted 2.2.10-1 in unstable (low) (Iain Lane)
[2010-12-15] Accepted 2.2.8-1 in experimental (low) (Iain Lane)
[2010-01-22] agda-bin 2.2.6-1 MIGRATED to testing (Britney)
[2010-01-11] Accepted 2.2.6-1 in unstable (low) (Iain Lane)
[2009-08-26] agda-bin 2.2.4-1 MIGRATED to testing (Britney)
[2009-08-15] Accepted 2.2.4-1 in unstable (low) (Iain Lane)

bugs

all: 0
RC: 0
I&N: 0
M&W: 0
F&P: 0

links

ubuntu

version: 2.3.0-1

patch-tracker

stable: 2.2.6-1
testing: 2.3.0-1
unstable: 2.3.0-1

Debian Package Tracking System - Copyright © 2002-2009 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
Checkout SVN repository | Browse SVN repository
Last modified: Wed Jan 11 14:43:01 UTC 2012.