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)
LowNMU
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

links

patches

Debian
1.3-2 1.7.1-1 1.7.3-1 1.7.3-1

subscribe to this package (docs)

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2023-12-20T08:48:12+00:00.