معرفی شرکت ها

elan_1.4.2-5_mipsel.deb

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

tool for managing installations of the Lean theorem prover
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main mipsel
نام بسته elan
نام فایل بسته elan_1.4.2-5_mipsel.deb
نسخه بسته 1.4.2
انتشار بسته 5
معماری بسته mipsel
نگهدارنده Christopher Hoskin <mans0954@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/leanprover/elan
مجوز -
حجم دانلود 1077432
حجم نصب 4604
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_1.4.2-5_amd64.deb 1.4.2 amd64 Debian main
elan_1.4.2-5_arm64.deb 1.4.2 arm64 Debian main
elan_1.4.2-5_armhf.deb 1.4.2 armhf Debian main
elan_1.4.2-5_i386.deb 1.4.2 i386 Debian main
elan_1.4.2-5_mips64el.deb 1.4.2 mips64el Debian main
elan_1.4.2-5_ppc64el.deb 1.4.2 ppc64el Debian main
elan_1.4.2-5_s390x.deb 1.4.2 s390x Debian main


نیازمندی

مقدار نام
>= 2.34 libc6
>= 7.16.2 libcurl3-gnutls
>= 4.2 libgcc-s1
- sensible-utils


نحوه نصب


نصب پکیج deb elan:

    sudo apt-get install elan_1.4.2-5_mipsel.deb


فایل ها

مسیرها
./usr/bin/elan
./usr/share/bash-completion/completions/elan
./usr/share/doc/elan/changelog.Debian.gz
./usr/share/doc/elan/changelog.gz
./usr/share/doc/elan/copyright
./usr/bin/lake -> elan
./usr/bin/lean -> elan
./usr/bin/leanc -> elan
./usr/bin/leanchecker -> elan
./usr/bin/leanmake -> elan
./usr/bin/leanpkg -> elan