Пакунок: elan (3.1.1-3) [debports]

[ Source:  ]

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

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

• dep: libc6 (>= 2.38)

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

• dep: libcurl3t64-gnutls (>= 7.16.2)

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

• dep: libgcc-s1 (>= 4.2)

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

• dep: libzstd1 (>= 1.5.5)

  fast lossless compression algorithm

• dep: sensible-utils

  Utilities for sensible alternative selection

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

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

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
x32 (unofficial port)	1,338.0 kB	4,561.0 kB	[список файлів]