Debian Package Tracker

general

source: agda (main)
version: 2.5.3-5
maintainer: Debian Haskell Group (archive) [DMD]
arch: all any
std-ver: 4.1.4
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 2.3.0.1-2
oldstable: 2.4.0.2-2
stable: 2.5.1.1-3
testing: 2.5.3-3
unstable: 2.5.3-5

versioned links

2.3.0.1-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.4.0.2-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.5.1.1-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.5.2-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.5.3-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.5.3-5: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

agda
agda-bin
agda-mode
elpa-agda2-mode
libghc-agda-dev
libghc-agda-doc

action needed

lintian reports 1 error and 6 warnings high

Lintian reports 1 error and 6 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2015-03-02 Last update: 2018-04-30 01:50

Error while accessing 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.

vcswatch does not support repositories in subdirectories yet

Created: 2017-12-03 Last update: 2018-04-16 08:23

Fails to build during reproducibility testing normal

A package building reproducibly enables third parties to verify that the source matches the distributed binaries. It has been identified that this source package produced different results, failed to build or had other issues in a test environment. Please read about how to improve the situation!

Created: 2017-11-22 Last update: 2018-05-27 14:26

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: 2018-05-04 Last update: 2018-05-27 14:08

1 bug tagged patch in the BTS normal

The BTS contains patches fixing 1 bug, consider including or untagging them.

Created: 2017-11-21 Last update: 2018-05-27 13:40

Multiarch hinter reports 1 issue(s) low

There are issues with the multiarch metadata for this package.

agda-mode could be marked Multi-Arch: foreign

Created: 2016-11-04 Last update: 2018-05-27 14:30

testing migrations

This package will soon be part of the auto-libffi transition. You might want to ensure that your package is ready for it. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
excuses:
- Migrates after: ghc, haskell-async, haskell-blaze-html, haskell-boxes, haskell-data-hash, haskell-edison-core, haskell-edit-distance, haskell-equivalence, haskell-geniplate-mirror, haskell-gitrev, haskell-hashable, haskell-hashtables, haskell-ieee754, haskell-monadplus, haskell-mtl, haskell-murmur-hash, haskell-parallel, haskell-regex-tdfa, haskell-stm, haskell-strict, haskell-text, haskell-unordered-containers, haskell-uri-encode, haskell-zlib
- 28 days old (5 needed)
- agda/armel unsatisfiable Depends: agda-bin
- agda/armel unsatisfiable Depends: libghc-agda-dev
- elpa-agda2-mode/armel unsatisfiable Depends: agda-bin (<< 2.5.3-5.1~)
- elpa-agda2-mode/armel unsatisfiable Depends: agda-bin (>= 2.5.3-5)
- elpa-agda2-mode/armel unsatisfiable Depends: libghc-agda-dev (<< 2.5.3-5.1~)
- elpa-agda2-mode/armel unsatisfiable Depends: libghc-agda-dev (>= 2.5.3-5)
- agda/armhf unsatisfiable Depends: agda-bin
- agda/armhf unsatisfiable Depends: libghc-agda-dev
- elpa-agda2-mode/armhf unsatisfiable Depends: agda-bin (<< 2.5.3-5.1~)
- elpa-agda2-mode/armhf unsatisfiable Depends: agda-bin (>= 2.5.3-5)
- elpa-agda2-mode/armhf unsatisfiable Depends: libghc-agda-dev (<< 2.5.3-5.1~)
- elpa-agda2-mode/armhf unsatisfiable Depends: libghc-agda-dev (>= 2.5.3-5)
- Piuparts tested OK - https://piuparts.debian.org/sid/source/a/agda.html

news

[rss feed]

[2018-04-29] Accepted agda 2.5.3-5 (source) into unstable (Clint Adams)
[2018-04-10] Accepted agda 2.5.3-4 (source) into unstable (Clint Adams)
[2017-11-22] agda 2.5.3-3 MIGRATED to testing (Debian testing watch)
[2017-10-14] Accepted agda 2.5.3-3 (source) into unstable (Joachim Breitner)
[2017-10-14] Accepted agda 2.5.3-2 (source amd64 all) into unstable (Joachim Breitner)
[2017-10-13] Accepted agda 2.5.3-1 (source) into unstable (Sean Whitton) (signed by: Joachim Breitner)
[2017-09-02] agda 2.5.2-2 MIGRATED to testing (Debian testing watch)
[2017-07-10] Accepted agda 2.5.2-2 (source) into unstable (Gianfranco Costamagna)
[2017-07-06] Accepted agda 2.5.2-1 (source) into unstable (Gianfranco Costamagna)
[2017-06-20] Accepted agda 2.5.1.1-4 (source) into unstable (Gianfranco Costamagna)
[2016-12-03] agda 2.5.1.1-3 MIGRATED to testing (Debian testing watch)
[2016-11-28] agda REMOVED from testing (Debian testing watch)
[2016-10-28] Accepted agda 2.5.1.1-3 (source) into unstable (Clint Adams)
[2016-10-20] Accepted agda 2.5.1.1-2 (source) into experimental (Clint Adams)
[2016-10-16] Accepted agda 2.5.1.1-1 (source) into experimental (Clint Adams)
[2016-07-12] agda 2.5.1-2 MIGRATED to testing (Debian testing watch)
[2016-06-20] Accepted agda 2.5.1-2 (source amd64 all) into unstable (Sean Whitton) (signed by: Joachim Breitner)
[2016-06-14] Accepted agda 2.5.1-1 (source amd64 all) into unstable, unstable (Sean Whitton) (signed by: Joachim Breitner)
[2016-01-10] agda 2.4.2.5-1 MIGRATED to testing (Debian testing watch)
[2016-01-04] Accepted agda 2.4.2.5-1 (source) into unstable (Iain Lane)
[2015-12-21] agda REMOVED from testing (Debian testing watch)
[2015-09-11] agda 2.4.2.2-4 MIGRATED to testing (Britney)
[2015-08-04] Accepted agda 2.4.2.2-4 (source amd64 all) into unstable (Iain Lane)
[2015-07-12] agda 2.4.2.2-3 MIGRATED to testing (Britney)
[2015-07-01] Accepted agda 2.4.2.2-3 (source amd64 all) into unstable (Joachim Breitner)
[2015-06-26] agda 2.4.2.2-2 MIGRATED to testing (Britney)
[2015-05-20] Accepted agda 2.4.2.2-2 (all amd64 source) into unstable (Iain Lane)
[2014-08-22] agda 2.4.0.2-2 MIGRATED to testing (Britney)
[2014-08-11] Accepted agda 2.4.0.2-2 (source all amd64) into unstable (Colin Watson)
[2014-08-05] Accepted agda 2.4.0.2-1 (source all amd64) into unstable (Iain Lane)

bugs [bug history graph]

all: 2
RC: 0
I&N: 0
M&W: 2
F&P: 0

links

homepage
lintian (1, 6)
buildd: logs, checks, clang, reproducibility
popcon
browse source code
edit tags
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 2.5.3-3build1
1 bug