套件：elan（1.4.2-5）

[ 原始碼： elan  ]

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 有關的套件

• dep: libbz2-1.0 [amd64, arm64]

  high-quality block-sorting file compressor library - runtime

• dep: libc6 (>= 2.34)

  GNU C 函式庫：共用函式庫
  同時作為一個虛擬套件由這些套件填實： libc6-udeb

• dep: libcurl3-gnutls (>= 7.16.2)

  easy-to-use client-side URL transfer library (GnuTLS flavour)

• dep: libgcc-s1 (>= 4.2) [除 armhf]

  GCC 支援函式庫

  dep: libgcc-s1 (>= 4.3) [armhf]

• dep: libzstd1 (>= 1.5.2) [amd64, arm64]

  fast lossless compression algorithm

• dep: sensible-utils

  Utilities for sensible alternative selection

下載 elan

下載可用於所有硬體架構的

硬體架構	套件大小	安裝後大小	檔案
amd64	1，149。6 kB	4，282。0 kB	[檔案列表]
arm64	992。6 kB	3，690。0 kB	[檔案列表]
armhf	910。2 kB	3，217。0 kB	[檔案列表]
i386	1，155。6 kB	4，301。0 kB	[檔案列表]
mips64el	1，058。7 kB	5，199。0 kB	[檔案列表]
mipsel	1，052。2 kB	4，604。0 kB	[檔案列表]
ppc64el	1，128。1 kB	4，778。0 kB	[檔案列表]
s390x	1，083。4 kB	4，562。0 kB	[檔案列表]