パッケージ: elan (4.1.2-2 など)

elan に関するリンク

Debian の資源:

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

メンテナ:

Christopher Hoskin (QA ページ)

外部の資源:

ホームページ [github.com]

類似のパッケージ:

tool for managing installations of the Lean theorem prover

elan is a small tool for managing your installations of the Lean theorem prover. It places lean and leanpkg binaries in your PATH that automatically select and, if necessary, download the Lean version described in the lean_version field of your project's leanpkg.toml. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.

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

依存

推奨

提案

enhances

dep: libbz2-1.0 [amd64, arm64, x32]

高品質なブロックソートファイル圧縮器 - ランタイム
dep: libc6 (>= 2.38) [x32]

GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb

dep: libc6 (>= 2.39) [loong64, x32 以外]

dep: libc6 (>= 2.41) [loong64]
dep: libcurl3t64-gnutls (>= 7.16.2) [x32]

使いやすいクライアントサイドの URL 転送ライブラリ (GnuTLS フレーバ)
dep: libcurl4t64 (>= 7.16.2) [x32 以外]

使いやすいクライアントサイドの URL 転送ライブラリ (OpenSSL フレーバ)
dep: libgcc-s1 (>= 4.2) [armel, armhf 以外]

GCC 共有ライブラリ

dep: libgcc-s1 (>= 4.3) [armel, armhf]
dep: liblzma5 (>= 5.1.1alpha+20120614) [amd64, arm64]

XZ 形式の圧縮ライブラリ
dep: libzstd1 (>= 1.5.5) [amd64, arm64, x32]

高速なロスレス圧縮アルゴリズム
dep: sensible-utils

賢い代替選択用ユーティリィティ

elan のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	4.1.2-2	1,483.5 kB	5,426.0 kB	[ファイル一覧]
arm64	4.1.2-2	1,271.9 kB	4,846.0 kB	[ファイル一覧]
armel	4.1.2-2	1,039.6 kB	3,629.0 kB	[ファイル一覧]
armhf	4.1.2-2	1,033.1 kB	3,565.0 kB	[ファイル一覧]
i386	4.1.2-2	1,343.6 kB	4,544.0 kB	[ファイル一覧]
loong64 (非公式の移植版)	4.1.2-2	1,064.4 kB	4,462.0 kB	[ファイル一覧]
mips64el	4.1.2-2	1,163.0 kB	5,648.0 kB	[ファイル一覧]
ppc64 (非公式の移植版)	4.1.2-2	1,124.3 kB	5,230.0 kB	[ファイル一覧]
ppc64el	4.1.2-2	1,177.4 kB	4,910.0 kB	[ファイル一覧]
riscv64	4.1.2-2	1,135.5 kB	3,851.0 kB	[ファイル一覧]
s390x	4.1.2-2	1,265.4 kB	5,326.0 kB	[ファイル一覧]
sparc64 (非公式の移植版)	4.1.2-2	1,051.1 kB	5,171.0 kB	[ファイル一覧]
x32 (非公式の移植版)	3.1.1-3	1,338.0 kB	4,561.0 kB	[ファイル一覧]