No summary available for agda-bin in ubuntu groovy.

Source package

Published versions

• agda-bin 2.6.0.1-1build4 in amd64 (Release)
• agda-bin 2.6.0.1-1build4 in arm64 (Release)
• agda-bin 2.6.0.1-1build4 in ppc64el (Release)
• agda-bin 2.6.0.1-1build4 in riscv64 (Release)
• agda-bin 2.6.0.1-1build4 in s390x (Release)