general
- source
- agda (source, haskell)
- version
- 2.5.1-2
- maint
- Debian Haskell Group (a), Iain Lane (u), Kiwamu Okabe (u), Sean Whitton (u)
- arch
- any all
- std-ver
- 3.9.8
- VCS
- Git (browse)
todo
- Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
- The BTS contains patches fixing 1 bug, consider including or untagging it.
problems
- There were override disparities found in suite unstable:
- agda-mode: Override says misc - optional, .deb says oldlibs - extra
- The package has a debian/watch file, but the last attempt to use it for checking for newer upstream versions failed with an error:
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.
news RSS
- [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)
- [2013-05-29] Accepted 2.3.2-3 in unstable (low) (Joachim Breitner)
- [2013-05-27] Accepted 2.3.2-2 in unstable (low) (Iain Lane)
- [2013-04-10] Accepted 2.3.2-1 in experimental (low) (Iain Lane)
- [2012-06-14] agda 2.3.0.1-2 MIGRATED to testing (Britney)
- [2012-05-26] Accepted 2.3.0.1-2 in unstable (low) (Joachim Breitner)
- [2012-03-12] Accepted 2.3.0.1-1 in unstable (low) (Joachim Breitner)
- [2011-12-23] agda 2.3.0-1 MIGRATED to testing (Britney)
- [2011-11-23] Accepted 2.3.0-1 in unstable (low) (Iain Lane)
- [2011-09-14] agda 2.2.10-4 MIGRATED to testing (Britney)
