» Ubuntu » Pakete » Ergebnisse der Paketsuche

Suchen in bestimmter 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]

Ihre Suche nach Paketen, deren Name agda enthält, in allen Suites, allen Bereichen, und auf allen Architekturen: 10 Treffer.

Genaue Treffer

Paket agda

Andere Treffer

Paket agda-bin

Paket agda-mode

Paket agda-stdlib

Paket agda-stdlib-doc

Paket elpa-agda2-mode

Paket libdiet-dagda2.8

Paket libdiet-dagda2.8-dev

Paket libghc-agda-dev

Paket libghc-agda-doc