No summary available for libghc-agda-dev in ubuntu groovy.

Source package

Published versions

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