| agda in stretch2buster-rcmd |
| Source: | agda | piuparts summary: |  | Version: | 2.5.4.1-3 |
| Maintainer: | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| Uploaders: | Iain Lane <laney@debian.org>, Kiwamu Okabe <kiwamu@debian.or.jp>, Sean Whitton <spwhitton@spwhitton.name>, |
| Binary: | agda:all | piuparts-result: | successfully-tested 2.5.4.1-3 | Version: | 2.5.4.1-3 [cruft] |
| Binary: | agda-bin | piuparts-result: | successfully-tested 2.5.4.1-3+b1 | Version: | 2.5.4.1-3+b1 [cruft] |
| Binary: | agda-mode:all | piuparts-result: | successfully-tested 2.5.4.1-3 | Version: | 2.5.4.1-3 [cruft] |
| Binary: | elpa-agda2-mode:all | piuparts-result: | successfully-tested 2.5.4.1-3 | Version: | 2.5.4.1-3 [cruft] |
| Binary: | libghc-agda-dev | piuparts-result: | successfully-tested 2.5.4.1-3+b1 | Version: | 2.5.4.1-3+b1 [cruft] |
| Binary: | libghc-agda-doc:all | piuparts-result: | successfully-tested 2.5.4.1-3 | Version: | 2.5.4.1-3 [cruft] |
Quality Assurance
