No summary available for agda-bin in ubuntu yakkety.

Source package

Published versions

• agda-bin 2.4.2.5-1build1 in amd64 (Release)
• agda-bin 2.4.2.5-1build1 in arm64 (Release)
• agda-bin 2.4.2.5-1build1 in i386 (Release)
• agda-bin 2.4.2.5-1build1 in powerpc (Release)
• agda-bin 2.4.2.5-1build1 in ppc64el (Release)
• agda-bin 2.4.2.5-1build1 in s390x (Release)