| Distribution | Codename | Component | Architecture | Package | Version | Priority | Size | Description | Integrity | Actions |
|---|---|---|---|---|---|---|---|---|---|---|
ubuntu | 25.04/plucky | universe | riscv64 | libghc-agda-dev riscv64 | 2.6.4.3-1 | extra | 455.9 MB | dependently typed functional programming language | match | Details |
ubuntu | 25.04/plucky | universe | arm64 | libghc-agda-dev arm64 | 2.6.4.3-1 | extra | 257.5 MB | dependently typed functional programming language | match | Details |
ubuntu | 25.04/plucky | universe | amd64 | libghc-agda-dev amd64 | 2.6.4.3-1 | extra | 220 MB | dependently typed functional programming language | match | Details |
ubuntu | 25.04/plucky | universe | s390x | libghc-agda-dev s390x | 2.6.4.3-1 | extra | 463.5 MB | dependently typed functional programming language | match | Details |
ubuntu | 25.04/plucky | universe | riscv64 | libghc-agda-dev riscv64 | 2.6.4.3-1 | extra | 455.9 MB | dependently typed functional programming language | match | Details |
ubuntu | 25.04/plucky | universe | s390x | libghc-agda-dev s390x | 2.6.4.3-1 | extra | 463.5 MB | dependently typed functional programming language | match | Details |
ubuntu | 25.04/plucky | universe | arm64 | libghc-agda-dev arm64 | 2.6.4.3-1 | extra | 257.5 MB | dependently typed functional programming language | match | Details |
ubuntu | 25.04/plucky | universe | ppc64el | libghc-agda-dev ppc64el | 2.6.4.3-1 | extra | 359.2 MB | dependently typed functional programming language | match | Details |
ubuntu | 25.04/plucky | universe | ppc64el | libghc-agda-dev ppc64el | 2.6.4.3-1 | extra | 359.2 MB | dependently typed functional programming language | match | Details |