» Ubuntu » パッケージ » パッケージ検索結果

特定のスイートに絞って検索: [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]

agda を名前に含むパッケージを、すべてのスイート、すべてのセクション、すべてのアーキテクチャで検索しました。 10 個の一致するパッケージが見つかりました。

完全なヒット

agda パッケージ

その他のヒット

agda-bin パッケージ

agda-mode パッケージ

agda-stdlib パッケージ

agda-stdlib-doc パッケージ

elpa-agda2-mode パッケージ

libdiet-dagda2.8 パッケージ

libdiet-dagda2.8-dev パッケージ

libghc-agda-dev パッケージ

libghc-agda-doc パッケージ