Debian Package Tracker
Register | Log in
Subscribe

agda-stdlib

standard library for Agda

Choose email to subscribe with

general
  • source: agda-stdlib (main)
  • version: 1.7.1-1
  • maintainer: Iain Lane (DMD) (LowNMU)
  • uploaders: Debian Haskell Group (archive) [DMD]
  • arch: all
  • std-ver: 4.6.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.12-2
  • oldstable: 0.17-1
  • stable: 1.3-2
  • testing: 1.3-2
  • unstable: 1.7.1-1
versioned links
  • 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]
  • 1.7.1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • agda-stdlib (1 bugs: 0, 1, 0, 0)
  • agda-stdlib-doc
action needed
Marked for autoremoval on 08 August due to haskell-geniplate-mirror, haskell-polyparse: #1013773, #1013784 high
Version 1.3-2 of agda-stdlib is marked for autoremoval from testing on Mon 08 Aug 2022. It depends (transitively) on haskell-geniplate-mirror, haskell-polyparse, affected by #1013773, #1013784. You should try to prevent the removal by fixing these RC bugs.
Created: 2022-07-02 Last update: 2022-08-08 02:37
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: 2022-08-08 02:39
lintian reports 2 warnings normal
Lintian reports 2 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2022-08-07 Last update: 2022-08-07 04:33
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
testing migrations
  • This package is part of the ongoing testing transition known as auto-upperlimit-libghc-agda-dev. Please avoid uploads unrelated to this transition, they would likely delay it and require supplementary work from the release managers. On the other hand, if your package has problems preventing it to migrate to testing, please fix them as soon as possible. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
  • excuses:
    • Migrates after: agda
    • Migration status for agda-stdlib (1.3-2 to 1.7.1-1): BLOCKED: Rejected/violates migration policy/introduces a regression
    • Issues preventing migration:
    • ∙ ∙ agda-stdlib/arm64 has unsatisfiable dependency
    • ∙ ∙ Too young, only 1 of 5 days old
    • ∙ ∙ Build-Depends(-Arch): agda-stdlib agda
    • ∙ ∙ Depends: agda-stdlib agda
    • ∙ ∙ Implicit dependency: agda-stdlib agda
    • Additional info:
    • ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/a/agda-stdlib.html
    • ∙ ∙ uninstallable on arch arm64, not running autopkgtest there
    • Not considered
news
[rss feed]
  • [2022-08-06] Accepted agda-stdlib 1.7.1-1 (source) into unstable (Ilias Tsitsimpis)
  • [2021-02-10] agda-stdlib 1.3-2 MIGRATED to testing (Debian testing watch)
  • [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)
  • 1
  • 2
bugs [bug history graph]
  • all: 1
  • RC: 0
  • I&N: 1
  • M&W: 0
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (0, 2)
  • buildd: logs, clang, reproducibility
  • popcon
  • browse source code
  • edit tags
  • other distros
  • screenshots
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 1.3-2

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing