general
- source
- agda (source, haskell)
- version
- 2.5.2-2
- maint
- Debian Haskell Group (a), Iain Lane (u), Kiwamu Okabe (u)
- arch
- any all
- std-ver
- 4.0.0
- VCS
- Git (browse)
todo
- Lintian reports 5 warnings about this package. You should make the package lintian clean getting rid of them.
- Build log checks report 1 warning about this package.
- The BTS contains patches fixing 1 bug, consider including or untagging it.
problems
- The package has not yet entered testing even though the 5-day delay is over. Check why.
- There were override disparities found in suite unstable:
- libghc-agda-dev: Override says haskell - optional, .deb says haskell - extra
- agda-bin: Override says haskell - optional, .deb says haskell - extra
- elpa-agda2-mode: Override says editors - optional, .deb says editors - extra
- agda-mode: Override says misc - optional, .deb says oldlibs - extra
- agda: Override says misc - optional, .deb says misc - extra
- libghc-agda-doc: Override says doc - optional, .deb says doc - extra
testing migration
- 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.
- Migration status: OK: Will attempt migration (Any information below is purely informational)
- 41 days old (needed 5 days)
- Piuparts tested OK - https://piuparts.debian.org/sid/source/a/agda.html
- Depends: agda ghc
- Depends: agda haskell-boxes
- Depends: agda haskell-data-hash
- Depends: agda haskell-edison-core
- Depends: agda haskell-edit-distance
- Depends: agda haskell-equivalence
- Depends: agda haskell-geniplate-mirror
- Depends: agda haskell-gitrev
- Depends: agda haskell-hashable
- Depends: agda haskell-hashtables
- Depends: agda haskell-ieee754
- Depends: agda haskell-monadplus
- Depends: agda haskell-mtl
- Depends: agda haskell-murmur-hash
- Depends: agda haskell-parallel
- Depends: agda haskell-regex-tdfa
- Depends: agda haskell-strict
- Depends: agda haskell-text
- Depends: agda haskell-transformers-compat
- Depends: agda haskell-unordered-containers
- Depends: agda haskell-zlib
- Valid candidate
news RSS
- [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)
- [2016-07-12] agda 2.5.1-2 MIGRATED to testing (Britney)
- [2016-07-12] agda 2.5.1-2 MIGRATED to testing (Britney)
- [2016-06-20] Accepted 2.5.1-2 in unstable (low) (Sean Whitton)
- [2016-06-14] Accepted 2.5.1-1 in unstable (medium) (Sean Whitton)
- [2016-01-10] agda 2.4.2.5-1 MIGRATED to testing (Britney)
- [2016-01-04] Accepted 2.4.2.5-1 in unstable (medium) (Iain Lane)
- [2015-12-21] agda REMOVED from testing (Britney)
- [2015-09-11] agda 2.4.2.2-4 MIGRATED to testing (Britney)
- [2015-08-04] Accepted 2.4.2.2-4 in unstable (medium) (Iain Lane)
- [2015-07-12] agda 2.4.2.2-3 MIGRATED to testing (Britney)
- [2015-07-01] Accepted 2.4.2.2-3 in unstable (medium) (Joachim Breitner)
- [2015-06-26] agda 2.4.2.2-2 MIGRATED to testing (Britney)
- [2015-05-20] Accepted 2.4.2.2-2 in unstable (medium) (Iain Lane)
- [2014-08-22] agda 2.4.0.2-2 MIGRATED to testing (Britney)
- [2014-08-11] Accepted 2.4.0.2-2 in unstable (medium) (Colin Watson)
- [2014-08-05] Accepted 2.4.0.2-1 in unstable (medium) (Iain Lane)
- [2013-11-08] agda 2.3.2.2-1 MIGRATED to testing (Britney)
- [2013-11-06] Accepted 2.3.2.2-1 in unstable (low) (Iain Lane)
- [2013-10-19] Accepted 2.3.2.1-2 in unstable (low) (Iain Lane)
- [2013-06-16] Accepted 2.3.2.1-1 in unstable (low) (Iain Lane)
- [2013-06-12] Accepted 2.3.2-4 in unstable (low) (Iain Lane)
