general
- source
- agda (source, haskell)
- version
- 2.6.0.1-1
- maint
- Debian Haskell Group (a)
- arch
- any all
- std-ver
- 4.4.0
- VCS
- Git (browse)
todo
- Lintian reports 1 error and 2 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 package should be updated to follow the last version of Debian Policy (Standards-Version 4.5.0 instead of 4.4.0).
- The BTS contains patches fixing 1 bug, consider including or untagging it.
- This package has "Depends: agda-stdlib" 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
- This package is part of the ongoing testing transition known as auto-libffi. 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.
news RSS
- [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)
- [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)
