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