agda-stdlib
standard library for Agda

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/agda-stdlib

general

source
agda-stdlib (source, libs)
version
1.7.3-1
maint
Iain Lane, Debian Haskell Group (a) (u)
std-ver
4.6.2
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 0.17-1
oldstable
save 1.3-2
stable
save 1.7.1-1
testing
save 1.7.3-1
unstable
save 1.7.3-1
Ubuntu
1.7.3-1

binaries

todo

  • Lintian reports 2 warnings about this package. You should make the package lintian clean getting rid of them.
  • A new upstream version is available: 2.0, you should consider packaging it.

problems

  • The current maintainer is looking for someone who can take over maintenance of this package. If you are interested in this package, please consider taking it over. Alternatively you may want to be co-maintainer in order to help the actual maintainer. Please see bug number #914691 for more information.

news RSS

bugs

all bug history graph
2
RC
0
I&N
1
M&W
1
F&P
0