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
0.17-1
maint
Iain Lane, Debian Haskell Group (a) (u)
std-ver
4.1.1
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 0.6-2
oldstable
save 0.8-2
stable
save 0.12-2
testing
save 0.17-1
unstable
save 0.17-1
Ubuntu
0.14-1

binaries

todo

  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.2.1 instead of 4.1.1).

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.
  • The URL(s) for this package had some recent persistent issues.

news RSS

bugs

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