Log in / Register
Ubuntu
Overview
Code
Bugs
Blueprints
Translations
Answers
Binary package “agda” in ubuntu groovy
Groovy (20.10)
agda
No summary available for agda in ubuntu groovy.
No description available for agda in ubuntu groovy.
Source package
agda 2.6.0.1-1build4 source package in Ubuntu
Published versions
agda 2.6.0.1-1build4 in amd64 (Release)
agda 2.6.0.1-1build4 in arm64 (Release)
agda 2.6.0.1-1build4 in armhf (Release)
agda 2.6.0.1-1build4 in i386 (Release)
agda 2.6.0.1-1build4 in ppc64el (Release)
agda 2.6.0.1-1build4 in riscv64 (Release)
agda 2.6.0.1-1build4 in s390x (Release)