» Ubuntu » Packages » Package Search Results

Search in specific suite: [xenial] [xenial-updates] [xenial-backports] [bionic] [bionic-updates] [bionic-backports] [cosmic] [cosmic-updates] [cosmic-backports] [disco] [disco-updates] [disco-backports] [eoan]

Limit search to a specific architecture: [i386] [amd64] [powerpc] [arm64] [armhf] [ppc64el] [s390x]

You have searched for packages that names contain agda in all suites, all sections, and all architectures. Found 10 matching packages.

Exact hits

Package agda

Other hits

Package agda-bin

Package agda-mode

Package agda-stdlib

Package agda-stdlib-doc

Package elpa-agda2-mode

Package libdiet-dagda2.8

Package libdiet-dagda2.8-dev

Package libghc-agda-dev

Package libghc-agda-doc