| agda in bullseye2next |
| Source: | agda | piuparts summary: |  | Version: | 2.6.1-1 |
| Maintainer: | Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org> |
| Binary: | agda:all | piuparts-result: | successfully-tested 2.6.1-1 | Version: | 2.6.1-1 |
| Binary: | agda-bin | piuparts-result: | successfully-tested 2.6.1-1+b2 | Version: | 2.6.1-1+b2 |
| Binary: | elpa-agda2-mode:all | piuparts-result: | successfully-tested 2.6.1-1 | Version: | 2.6.1-1 |
| Binary: | libghc-agda-dev | piuparts-result: | successfully-tested 2.6.1-1+b2 | Version: | 2.6.1-1+b2 |
| Binary: | libghc-agda-doc:all | piuparts-result: | successfully-tested 2.6.1-1 | Version: | 2.6.1-1 |
Quality Assurance
