Go
Register
|
Log in
Subscribe
agda-stdlib
standard library for Agda
×
Choose email to subscribe with
general
source:
agda-stdlib
(
main
)
version:
0.14-1
maintainer:
Iain Lane
[
DMD
]
[
LowNMU
]
uploaders:
Debian Haskell Group
(
archive
)
[
DMD
]
arch:
all
std-ver:
4.1.1.
VCS:
Git
(
Browse
,
QA
)
versions
[more versions can be listed by madison]
[old versions available from snapshot.debian.org]
[pool directory]
o-o-stable:
0.6-2
oldstable:
0.8-2
stable:
0.12-2
testing:
0.14-1
unstable:
0.14-1
versioned links
0.6-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
0.8-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
0.12-2:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
0.14-1:
[.dsc, use dget on this link to retrieve source package]
[changelog]
[copyright]
[rules]
[control]
binaries
agda-stdlib
agda-stdlib-doc
action needed
A new upstream version is available:
0.15
high
A new upstream version
0.15
is available, you should consider packaging it.
lintian reports
1 error and 4 warnings
high
Lintian
reports
1 error
and
4 warnings
about this package. You should make the package
lintian clean
getting rid of them.
Multiarch hinter
reports 1 issue(s)
normal
There are issues with the
multiarch
metadata for this package.
agda-stdlib-doc could be marked Multi-Arch: foreign
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of
Debian Policy
(Standards-Version
4.1.4
instead of
4.1.1
).
news
[rss feed]
[
2017-12-01
]
agda-stdlib 0.14-1 MIGRATED to testing
(
Debian testing watch
)
[
2017-11-26
]
Accepted agda-stdlib 0.14-1 (source) into unstable
(
Gianfranco Costamagna
)
[
2017-07-11
]
agda-stdlib 0.13-1 MIGRATED to testing
(
Debian testing watch
)
[
2017-07-06
]
Accepted agda-stdlib 0.13-1 (source) into unstable
(
Gianfranco Costamagna
)
[
2016-12-03
]
agda-stdlib 0.12-2 MIGRATED to testing
(
Debian testing watch
)
[
2016-11-28
]
agda-stdlib REMOVED from testing
(
Debian testing watch
)
[
2016-07-12
]
agda-stdlib 0.12-2 MIGRATED to testing
(
Debian testing watch
)
[
2016-07-12
]
agda-stdlib 0.12-2 MIGRATED to testing
(
Debian testing watch
)
[
2016-06-23
]
Accepted agda-stdlib 0.12-2 (source) into unstable
(
Helmut Grohne
)
[
2016-06-20
]
Accepted agda-stdlib 0.12-1 (source all) into unstable
(
Sean Whitton
)
(signed by:
Joachim Breitner
)
[
2016-01-10
]
agda-stdlib 0.11-1 MIGRATED to testing
(
Debian testing watch
)
[
2016-01-04
]
Accepted agda-stdlib 0.11-1 (source) into unstable
(
Iain Lane
)
[
2015-12-21
]
agda-stdlib REMOVED from testing
(
Debian testing watch
)
[
2015-06-26
]
agda-stdlib 0.9-1 MIGRATED to testing
(
Britney
)
[
2015-05-20
]
Accepted agda-stdlib 0.9-1 (source all) into unstable
(
Iain Lane
)
[
2014-08-22
]
agda-stdlib 0.8-2 MIGRATED to testing
(
Britney
)
[
2014-08-12
]
Accepted agda-stdlib 0.8-2 (source all) into unstable
(
Iain Lane
)
[
2014-08-05
]
Accepted agda-stdlib 0.8-1 (source all) into unstable
(
Iain Lane
)
[
2013-11-08
]
agda-stdlib 0.7-2 MIGRATED to testing
(
Debian testing watch
)
[
2013-05-27
]
Accepted agda-stdlib 0.7-2 (source all)
(
Iain Lane
)
[
2013-04-10
]
Accepted agda-stdlib 0.7-1 (source all)
(
Iain Lane
)
[
2012-03-25
]
agda-stdlib 0.6-2 MIGRATED to testing
(
Debian testing watch
)
[
2012-03-14
]
Accepted agda-stdlib 0.6-2 (source all)
(
Joachim Breitner
)
[
2012-01-10
]
agda-stdlib 0.6-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-12-30
]
Accepted agda-stdlib 0.6-1 (source all)
(
Iain Lane
)
[
2011-12-23
]
agda-stdlib 0.6~darcs20111129t1640-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-11-29
]
Accepted agda-stdlib 0.6~darcs20111129t1640-1 (source all)
(
Iain Lane
)
[
2011-06-10
]
agda-stdlib 0.5-1 MIGRATED to testing
(
Debian testing watch
)
[
2011-05-24
]
Accepted agda-stdlib 0.5-1 (source all)
(
Iain Lane
)
[
2010-03-14
]
agda-stdlib 0.3-3 MIGRATED to testing
(
Debian testing watch
)
1
2
bugs
[bug history graph]
all:
2
RC:
0
I&N:
1
M&W:
1
F&P:
0
links
homepage
lintian
(
1
,
4
)
buildd:
logs
,
clang
,
reproducibility
popcon
browse source code
edit tags
screenshots
ubuntu
[Information about Ubuntu for Debian Developers]
version:
0.14-1
![[bug history graph]](https://qa.debian.org/data/bts/graphs/a/agda-stdlib.png){kind=link}