Debian Package Tracker

general

source: agda-stdlib (main)
version: 1.3-2
maintainer: Iain Lane (DMD) (LowNMU)
uploaders: Debian Haskell Group (archive) [DMD]
arch: all
std-ver: 4.5.0
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.8-2
oldstable: 0.12-2
stable: 0.17-1
unstable: 1.3-2

versioned links

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.17-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
1.3-2: [.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: 1.4 high

A new upstream version 1.4 is available, you should consider packaging it.

Created: 2020-09-18 Last update: 2021-01-20 16:04

The package has not entered testing even though the delay is over normal

The package has not entered testing even though the 5-day delay is over. Check why.

Created: 2020-08-06 Last update: 2021-01-20 17:34

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

Created: 2016-09-14 Last update: 2021-01-20 14:34

lintian reports 2 warnings normal

Lintian reports 2 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2020-08-22 Last update: 2020-08-22 06:03

RFA: The maintainer wants to pass over package maintainance. normal

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.

Created: 2018-11-26 Last update: 2018-11-26 13:24

Standards version of the package is outdated. wishlist

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

Created: 2020-11-17 Last update: 2020-11-17 05:41

testing migrations

excuses:
- Migration status: Blocked. Can't migrate due to a non-migratable dependency. Check status below.
- Blocked by: agda
- Migration status for agda-stdlib (- to 1.3-2): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
- Issues preventing migration:
- Build-Depends(-Arch): agda-stdlib agda (not considered)
- Depends: agda-stdlib agda (not considered)
- Invalidated by build-dependency
- Invalidated by dependency
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/a/agda-stdlib.html
- 172 days old (needed 5 days)
- Not considered

news

[rss feed]

[2020-08-01] Accepted agda-stdlib 1.3-2 (source) into unstable (Gianfranco Costamagna)
[2020-08-01] agda-stdlib REMOVED from testing (Debian testing watch)
[2020-07-31] Accepted agda-stdlib 1.3-1 (source) into unstable (Gianfranco Costamagna)
[2019-11-03] agda-stdlib 1.1-1 MIGRATED to testing (Debian testing watch)
[2019-09-04] Accepted agda-stdlib 1.1-1 (source) into unstable (Gianfranco Costamagna)
[2018-11-29] agda-stdlib 0.17-1 MIGRATED to testing (Debian testing watch)
[2018-11-28] agda-stdlib REMOVED from testing (Debian testing watch)
[2018-11-24] Accepted agda-stdlib 0.17-1 (source) into unstable (Sean Whitton)
[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-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)

bugs [bug history graph]

all: 0

links

homepage
lintian (0, 2)
buildd: logs, clang
popcon
browse source code
edit tags
other distros
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 1.3-2