general
- source
- agda (source, haskell)
- version
- 2.5.4.1-3
- maint
- Debian Haskell Group (a)
- arch
- any all
- std-ver
- 4.1.4
- VCS
- Git (browse)
todo
- Lintian reports 1 error and 6 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.2.1 instead of 4.1.4).
- The BTS contains patches fixing 1 bug, consider including or untagging it.
problems
- Piuparts found an (un)installation error in the Sid version of this package. You should investigate the cause; have a look at the corresponding piuparts log.
- There were override disparities found in suite unstable:
- agda-mode: Override says misc - optional, .deb says oldlibs - optional
autoremoval from testing
- Version 2.5.3-5 of agda is marked for autoremoval from testing on 2018-11-27.
- It depends (transitively) on and haskell-monadplus, affected by RC bug(s) and 911024
- You should try to prevent the removal from testing by fixing these bugs.
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: BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below or the buildds)
- Too young, only 1 of 5 days old
- agda/armel unsatisfiable Depends: agda-bin
- agda/armel unsatisfiable Depends: libghc-agda-dev
- elpa-agda2-mode/armel unsatisfiable Depends: agda-bin (<< 2.5.4.1-3.1~)
- elpa-agda2-mode/armel unsatisfiable Depends: agda-bin (>= 2.5.4.1-3)
- elpa-agda2-mode/armel unsatisfiable Depends: libghc-agda-dev (<< 2.5.4.1-3.1~)
- elpa-agda2-mode/armel unsatisfiable Depends: libghc-agda-dev (>= 2.5.4.1-3)
- libghc-agda-dev/mips64el unsatisfiable Depends: libghc-edisoncore-dev-1.3.2.1-7d857
- libghc-agda-dev/mips64el unsatisfiable Depends: libghc-blaze-html-dev-0.9.1.1-5af96
- libghc-agda-dev/mips64el unsatisfiable Depends: libghc-hashtables-dev-1.2.3.1-96668
- libghc-agda-dev/mips64el unsatisfiable Depends: libghc-regex-tdfa-dev-1.2.3.1-bdbff
- missing build on mips64el: agda-bin, libghc-agda-dev (from 2.5.3-5)
- old binaries left on all: agda, agda-mode, elpa-agda2-mode, libghc-agda-doc (from 2.5.3-5) (but ignoring cruft, so nevermind)
- Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/a/agda.html
- Depends: agda ghc
- Depends: agda haskell-async
- Depends: agda haskell-blaze-html
- 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-murmur-hash
- Depends: agda haskell-regex-tdfa
- Depends: agda haskell-strict
- Depends: agda haskell-unordered-containers
- Depends: agda haskell-uri-encode
- Depends: agda haskell-zlib
- Build-Depends(-Arch): agda ghc
- Build-Depends(-Arch): agda haskell-async
news RSS
- [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)
- [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)
