Search Packages
Showing 1–9
| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 25.04/plucky | universe | riscv64 | agda-bin riscv64 | 2.6.4.3-1 | optional | 84.3 MB | commandline interface to Agda | match | Details |
ubuntu | 25.04/plucky | universe | arm64 | agda-bin arm64 | 2.6.4.3-1 | optional | 75.4 MB | commandline interface to Agda | match | Details |
ubuntu | 25.04/plucky | universe | amd64 | agda-bin amd64 | 2.6.4.3-1 | optional | 68.1 MB | commandline interface to Agda | match | Details |
ubuntu | 25.04/plucky | universe | s390x | agda-bin s390x | 2.6.4.3-1 | optional | 147.4 MB | commandline interface to Agda | match | Details |
ubuntu | 25.04/plucky | universe | riscv64 | agda-bin riscv64 | 2.6.4.3-1 | optional | 84.3 MB | commandline interface to Agda | match | Details |
ubuntu | 25.04/plucky | universe | s390x | agda-bin s390x | 2.6.4.3-1 | optional | 147.4 MB | commandline interface to Agda | match | Details |
ubuntu | 25.04/plucky | universe | arm64 | agda-bin arm64 | 2.6.4.3-1 | optional | 75.4 MB | commandline interface to Agda | match | Details |
ubuntu | 25.04/plucky | universe | ppc64el | agda-bin ppc64el | 2.6.4.3-1 | optional | 105.7 MB | commandline interface to Agda | match | Details |
ubuntu | 25.04/plucky | universe | ppc64el | agda-bin ppc64el | 2.6.4.3-1 | optional | 105.7 MB | commandline interface to Agda | match | Details |