Пакунок: elan (3.1.1-2)

[ Source: 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]

  Стискання файлів за алгоритмом Барроуза-Уїлера — виконавчий модуль

• dep: libc6 (>= 2.34) [i386, riscv64]

  Бібліотека GNU C: спільні бібліотеки
  also a virtual package provided by libc6-udeb

  dep: libc6 (>= 2.38) [not i386, riscv64]

• dep: libcurl3t64-gnutls (>= 7.16.2)

  Легка у використанні клієнтська бібліотека передачі URL (різновид GnuTLS)

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

  Допоміжна бібліотека GCC

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

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

  fast lossless compression algorithm

• dep: sensible-utils

  Utilities for sensible alternative selection

Завантажити elan

Завантаження для всіх доступних архітектур

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
amd64	1,321.9 kB	4,934.0 kB	[список файлів]
arm64	1,153.7 kB	4,394.0 kB	[список файлів]
armhf	1,045.3 kB	3,725.0 kB	[список файлів]
i386	1,325.0 kB	4,885.0 kB	[список файлів]
mips64el	1,220.0 kB	6,098.0 kB	[список файлів]
ppc64el	1,277.6 kB	5,418.0 kB	[список файлів]
riscv64	1,167.4 kB	3,919.0 kB	[список файлів]
s390x	1,241.9 kB	5,242.0 kB	[список файлів]