すべてのオプション
bookworm  ] [  trixie  ] [  sid  ]

ソースパッケージ: elan (4.1.2-3.1)

elan に関するリンク

Debian の資源:

メンテナ:

外部の資源:

以下のバイナリパッケージがこのソースパッケージからビルドされています。
elan
tool for managing installations of the Lean theorem prover

その他の elan 関連パッケージ

  • 構築依存
  • 構築依存 (アーキテクチャ非依存)

Download elan

ファイルサイズ (単位: kB)MD5 チェックサム
elan_4.1.2-3.1.dsc 2.6 kB 696bdab2f0d7156e4e57c5804d85b8f2
elan_4.1.2.orig.tar.gz 97.4 kB bab9d06bd4f03a2722da1d58e43ceb64
elan_4.1.2-3.1.debian.tar.xz 9.5 kB baf057f3a5f68d2a46b8ab1d2bac8ee5
Debian パッケージソースリポジトリ (VCS: Git)
https://salsa.debian.org/debian/elan.git
Debian パッケージソースリポジトリ (ブラウザで表示可能)
https://salsa.debian.org/debian/elan