general
- source
- agda (source, haskell)
- version
- 2.6.2.2-1
- maint
- Debian Haskell Group (a)
- arch
- any all
- std-ver
- 4.6.1
- VCS
- Git (browse)
todo
- Lintian reports 1 error and 378 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 1 warning about this package.
- A new upstream version is available: 2.6.2.1, you should consider packaging it.
- The BTS contains patches fixing 1 bug, consider including or untagging it.
- This package has "Depends: agda-stdlib-doc" while agda-stdlib needs a new maintainer, see RFA #914691.
problems
- There were override disparities found in suite unstable:
- agda-mode: Override says misc - optional, .deb says oldlibs - optional
testing migration
excuses:- Migration status for agda (2.6.1-1 to 2.6.2.2-1): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
- Issues preventing migration:
- missing build on arm64
- missing build on i386
- arch:arm64 not built yet, autopkgtest delayed there
- arch:i386 not built yet, autopkgtest delayed there
- Too young, only 1 of 5 days old
- Depends: agda ghc
- Depends: agda haskell-aeson
- Depends: agda haskell-async
- Depends: agda haskell-blaze-html
- Depends: agda haskell-boxes
- Depends: agda haskell-case-insensitive
- Depends: agda haskell-data-hash
- Depends: agda haskell-edit-distance
- Depends: agda haskell-equivalence
- Depends: agda haskell-gitrev
- Depends: agda haskell-hashable
- Depends: agda haskell-hashtables
- Depends: agda haskell-monad-control
- Depends: agda haskell-murmur-hash
- Depends: agda haskell-parallel
- Depends: agda haskell-regex-tdfa
- Depends: agda haskell-split
- Depends: agda haskell-strict
- Depends: agda haskell-unordered-containers
- Depends: agda haskell-uri-encode
- Depends: agda haskell-zlib
news RSS
- [2022-12-06] Accepted 2.6.2.2-1.1 in unstable (high) (Debian FTP Masters)
- [2022-08-10] agda REMOVED from testing (Britney)
- [2022-08-06] Accepted 2.6.2.2-1 in unstable (medium) (Debian FTP Masters)
- [2021-02-10] agda 2.6.1-1 MIGRATED to testing (Britney)
- [2020-08-01] agda REMOVED from testing (Britney)
- [2020-07-29] Accepted 2.6.1-1 in unstable (medium) (Debian FTP Masters)
- [2019-11-03] agda 2.6.0.1-1 MIGRATED to testing (Britney)
- [2019-08-31] Accepted 2.6.0.1-1 in unstable (medium) (Clint Adams)
- [2018-11-29] agda 2.5.4.1-3 MIGRATED to testing (Britney)
- [2018-11-28] agda REMOVED from testing (Britney)
- [2018-10-20] Accepted 2.5.4.1-3 in unstable (medium) (Ilias Tsitsimpis)
- [2018-10-01] Accepted 2.5.4.1-2 in unstable (medium) (Ilias Tsitsimpis)
- [2018-09-30] Accepted 2.5.4.1-1 in unstable (medium) (Ilias Tsitsimpis)
- [2018-07-03] agda 2.5.3-5 MIGRATED to testing (Britney)
- [2018-04-29] Accepted 2.5.3-5 in unstable (medium) (Clint Adams)
- [2018-04-10] Accepted 2.5.3-4 in unstable (medium) (Clint Adams)
- [2017-11-22] agda 2.5.3-3 MIGRATED to testing (Britney)
- [2017-10-14] Accepted 2.5.3-3 in unstable (medium) (Joachim Breitner)
- [2017-10-14] Accepted 2.5.3-2 in unstable (medium) (Joachim Breitner)
- [2017-10-13] Accepted 2.5.3-1 in unstable (medium) (Sean Whitton)
- [2017-09-02] agda 2.5.2-2 MIGRATED to testing (Britney)
- [2017-07-10] Accepted 2.5.2-2 in unstable (medium) (Gianfranco Costamagna)
- [2017-07-06] Accepted 2.5.2-1 in unstable (medium) (Gianfranco Costamagna)
- [2017-06-20] Accepted 2.5.1.1-4 in unstable (medium) (Gianfranco Costamagna)
- [2016-12-03] agda 2.5.1.1-3 MIGRATED to testing (Britney)
- [2016-11-28] agda REMOVED from testing (Britney)
- [2016-11-28] agda REMOVED from testing (Britney)
- [2016-10-28] Accepted 2.5.1.1-3 in unstable (medium) (Clint Adams)
- [2016-10-20] Accepted 2.5.1.1-2 in experimental (medium) (Clint Adams)
- [2016-10-16] Accepted 2.5.1.1-1 in experimental (medium) (Clint Adams)
