general
- source
- agda (source, haskell)
- version
- 2.4.0.2-2
- maint
- Debian Haskell Group (a), Iain Lane (u), Kiwamu Okabe (u)
- arch
- any all
- std-ver
- 3.9.4
- VCS
- Git (browse)
todo
- Lintian reports 7 warnings about this package. You should make the package lintian clean getting rid of them.
- The package should be updated to follow the last version of Debian Policy (Standards-Version 3.9.6 instead of 3.9.4).
- A new upstream version is available: 2.4.2.2, you should consider packaging it.
- 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 misc - extra
news RSS
- [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)
- [2011-09-03] Accepted 2.2.10-4 in unstable (low) (Iain Lane)
- [2011-08-10] agda 2.2.10-3 MIGRATED to testing (Britney)
- [2011-06-17] Accepted 2.2.10-3 in unstable (low) (Joachim Breitner)
- [2011-06-10] agda 2.2.10-2 MIGRATED to testing (Britney)
- [2011-06-08] Accepted 2.2.10-2 in unstable (low) (Joachim Breitner)
- [2011-05-20] Accepted 2.2.10-1 in sid (low) (Iain Lane)
- [2010-12-15] Accepted 2.2.8-1 in experimental (low) (Iain Lane)
- [2010-05-27] agda 2.2.6-7 MIGRATED to testing (Britney)
- [2010-05-06] Accepted 2.2.6-7 in unstable (low) (Marco Túlio Gontijo e Silva)
- [2010-04-27] agda 2.2.6-6 MIGRATED to testing (Britney)
- [2010-04-16] Accepted 2.2.6-6 in unstable (low) (Joachim Breitner)
- [2010-04-04] agda 2.2.6-5 MIGRATED to testing (Britney)
- [2010-03-16] Accepted 2.2.6-5 in unstable (low) (Marco Túlio Gontijo e Silva)
