Debian Package Tracker

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.16.1 high

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

Created: 2018-03-15 Last update: 2018-09-24 09:00

Failed to analyze the VCS repository. Please troubleshoot and fix the issue. high

vcswatch reports that there is an error with this package's VCS, or the debian/changelog file inside it. Please check the error shown below and try to fix it. You might have to update the VCS URL in the debian/control file to point to the correct repository.

fatal: repository 'https://anonscm.debian.org/git/collab-maint/agda-stdlib.git/' not found

Created: 2018-05-31 Last update: 2018-09-23 21:42

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.

Created: 2017-10-15 Last update: 2018-09-11 08:01

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: 2018-09-24 07:55

The URL(s) for this package had some recent persistent issues low

DUCK reports some issues concerning upstream URLs defined for this package.

Created: 2018-09-07 Last update: 2018-09-24 12:09

Standards version of the package is outdated. wishlist

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

Created: 2018-04-16 Last update: 2018-08-26 08:16

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)

bugs [bug history graph]

all: 2
RC: 0
I&N: 1
M&W: 1
F&P: 0
patch: 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