» 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]

Search in all architectures

Some results have not been displayed due to the search parameters.

You have searched for packages that names contain agda in all suites, all sections, and architecture(s) i386. 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