すべてのオプション
jessie  ] [  stretch  ] [  buster  ] [  sid  ]
[ ソース: agda  ]

パッケージ: agda-mode (2.5.4.1-3)

agda-mode に関するリンク

Screenshot

Debian の資源:

agda ソースパッケージをダウンロード:

メンテナ:

外部の資源:

類似のパッケージ:

transitional dummy package for elpa-agda2-mode

agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.

agda-mode を提供するパッケージ

elpa-agda2-mode
依存型付けされた関数プログラミング言語 — emacs モード

agda-mode のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ パッケージサイズ インストールサイズ ファイル
all 114.9 kB122.0 kB [ファイル一覧]