agda source package in Hirsute
agda: No summary available for agda in ubuntu groovy.
agda-bin: No summary available for agda-bin in ubuntu groovy.
elpa-agda2-mode: No summary available for elpa-agda2-mode in ubuntu groovy.
libghc-agda-dev: No summary available for libghc-agda-dev in ubuntu hirsute.
libghc-agda-doc: No summary available for libghc-agda-doc in ubuntu groovy.
agda information
No published releases of this package have been uploaded in
Ubuntu Hirsute