agda - Debian Package Tracker

general

source: agda (main)
version: 2.6.4.3-1
maintainer: Debian Haskell Group (archive) (DMD)
arch: all any
std-ver: 4.7.0
VCS: Git (Browse, QA)

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

[pool directory]

oldstable: 2.6.1-1
stable: 2.6.2.2-1.1
testing: 2.6.4.3-1
unstable: 2.6.4.3-1

versioned links

2.6.1-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.6.2.2-1.1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.6.4.3-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

agda
agda-bin (1 bugs: 0, 0, 1, 0)
elpa-agda2-mode
libghc-agda-dev
libghc-agda-doc

action needed

A new upstream version is available: 2.8.0 high

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

Created: 2023-01-31 Last update: 2025-07-26 09:00

lintian reports 9 errors and 5 warnings high

Lintian reports 9 errors and 5 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2024-08-29 Last update: 2024-10-24 02:01

1 bug tagged patch in the BTS normal

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

Created: 2025-01-06 Last update: 2025-07-26 10:00

Depends on packages which need a new maintainer normal

The packages that agda depends on which need a new maintainer are:

cdbs (#1026085)
- Build-Depends: cdbs

Created: 2019-11-22 Last update: 2025-07-26 09:30

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: 2024-11-12 Last update: 2025-07-26 08:01

debian/patches: 1 patch to forward upstream low

Among the 1 debian patch available in version 2.6.4.3-1 of the package, we noticed the following issues:

1 patch where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.

Created: 2023-02-26 Last update: 2024-10-08 18:02

Build log checks report 3 warnings low

Build log checks report 3 warnings

Created: 2023-10-21 Last update: 2024-10-06 07:31

Standards version of the package is outdated. wishlist

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

Created: 2025-02-21 Last update: 2025-02-27 13:25

news

[rss feed]

[2024-10-30] agda 2.6.4.3-1 MIGRATED to testing (Debian testing watch)
[2024-10-08] Accepted agda 2.6.4.3-1 (source) into unstable (Ilias Tsitsimpis)
[2024-08-30] agda REMOVED from testing (Debian testing watch)
[2024-08-29] Accepted agda 2.6.3-2 (source) into unstable (Ilias Tsitsimpis)
[2023-12-16] agda 2.6.3-1 MIGRATED to testing (Debian testing watch)
[2023-11-17] agda REMOVED from testing (Debian testing watch)
[2023-10-13] Accepted agda 2.6.3-1 (source) into unstable (Ilias Tsitsimpis)
[2023-02-11] agda 2.6.2.2-1.1 MIGRATED to testing (Debian testing watch)
[2022-12-06] Accepted agda 2.6.2.2-1.1 (source) into unstable (Marcel Fourné) (signed by: Helmut Grohne)
[2022-08-10] agda REMOVED from testing (Debian testing watch)
[2022-08-06] Accepted agda 2.6.2.2-1 (source) into unstable (Ilias Tsitsimpis)
[2021-02-10] agda 2.6.1-1 MIGRATED to testing (Debian testing watch)
[2020-08-01] agda REMOVED from testing (Debian testing watch)
[2020-07-29] Accepted agda 2.6.1-1 (source) into unstable (Ilias Tsitsimpis)
[2019-11-03] agda 2.6.0.1-1 MIGRATED to testing (Debian testing watch)
[2019-08-31] Accepted agda 2.6.0.1-1 (source) into unstable (Clint Adams)
[2018-11-29] agda 2.5.4.1-3 MIGRATED to testing (Debian testing watch)
[2018-11-28] agda REMOVED from testing (Debian testing watch)
[2018-10-20] Accepted agda 2.5.4.1-3 (source) into unstable (Ilias Tsitsimpis)
[2018-10-01] Accepted agda 2.5.4.1-2 (source) into unstable (Ilias Tsitsimpis)
[2018-09-30] Accepted agda 2.5.4.1-1 (source) into unstable (Ilias Tsitsimpis)
[2018-07-03] agda 2.5.3-5 MIGRATED to testing (Debian testing watch)
[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)

bugs [bug history graph]

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

links

homepage
lintian (9, 5)
buildd: logs, checks, reproducibility, cross
popcon
browse source code
edit tags
other distros
screenshots
debian patches

ubuntu

[Information about Ubuntu for Debian Developers]

version: 2.6.4.3-1
3 bugs