» Ubuntu » Paketit » Pakettihaun tulokset

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 paketit that names contain agda in kaikki jakelut, kaikki osastot, and kaikki arkkitehtuurit. Found 10 matching packages.

Tarkat hakutulokset

Paketti agda

Muut hakutulokset

Paketti agda-bin

Paketti agda-mode

Paketti agda-stdlib

Paketti agda-stdlib-doc

Paketti elpa-agda2-mode

Paketti libdiet-dagda2.8

Paketti libdiet-dagda2.8-dev

Paketti libghc-agda-dev

Paketti libghc-agda-doc