| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 26.04/resolute | universe | ppc64el | agda-bin ppc64el | 2.8.0-2build1 | optional | 128.7 MB | commandline interface to Agda | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | agda-bin riscv64 | 2.8.0-2build1 | optional | 105.5 MB | commandline interface to Agda | match | Details |
ubuntu | 26.04/resolute | universe | s390x | agda-bin s390x | 2.8.0-2build1 | optional | 147.7 MB | commandline interface to Agda | match | Details |
ubuntu | 26.04/resolute | universe | amd64v3 | agda-bin amd64v3 | 2.8.0-2build1 | optional | 71.3 MB | commandline interface to Agda | match | Details |
ubuntu | 26.04/resolute | universe | s390x | agda-bin s390x | 2.8.0-2build1 | optional | 147.7 MB | commandline interface to Agda | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | agda-bin arm64 | 2.8.0-2build1 | optional | 77.2 MB | commandline interface to Agda | match | Details |
ubuntu | 26.04/resolute | universe | amd64 | agda-bin amd64 | 2.8.0-2build1 | optional | 71.3 MB | commandline interface to Agda | match | Details |
ubuntu | 26.04/resolute | universe | arm64 | agda-bin arm64 | 2.8.0-2build1 | optional | 77.2 MB | commandline interface to Agda | match | Details |
ubuntu | 26.04/resolute | universe | riscv64 | agda-bin riscv64 | 2.8.0-2build1 | optional | 105.5 MB | commandline interface to Agda | match | Details |
ubuntu | 26.04/resolute | universe | ppc64el | agda-bin ppc64el | 2.8.0-2build1 | optional | 128.7 MB | commandline interface to Agda | match | Details |