معرفی شرکت ها

libcoq-mathcomp-finmap_1.5.2-1+b4_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

finite sets and maps extension for Mathematical Components
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته libcoq-mathcomp-finmap
نام فایل بسته libcoq-mathcomp-finmap_1.5.2-1+b4_s390x.deb
نسخه بسته 1.5.2
انتشار بسته 1+b4
معماری بسته s390x
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/math-comp/finmap
مجوز -
حجم دانلود 708228
حجم نصب 1822
This package provides an extension to manage finite sets, finite maps and finitely supported functions extending for the Mathematical Components library. . The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.


جایگزین ها

بسته نسخه معماری مخزن
libcoq-mathcomp-finmap_1.5.2-1+b4_amd64.deb 1.5.2 amd64 Debian main
libcoq-mathcomp-finmap_1.5.2-1+b4_arm64.deb 1.5.2 arm64 Debian main
libcoq-mathcomp-finmap_1.5.2-1+b4_armhf.deb 1.5.2 armhf Debian main
libcoq-mathcomp-finmap_1.5.2-1+b4_i386.deb 1.5.2 i386 Debian main
libcoq-mathcomp-finmap_1.5.2-1+b4_ppc64el.deb 1.5.2 ppc64el Debian main


نیازمندی

مقدار نام
- libcoq-mathcomp-ssreflect-4wd38


نحوه نصب


نصب پکیج deb libcoq-mathcomp-finmap:

    sudo apt-get install libcoq-mathcomp-finmap_1.5.2-1+b4_s390x.deb


فایل ها

مسیرها
./usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/finmap.v
./usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/finmap.vo
./usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/multiset.v
./usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/multiset.vo
./usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/set.v
./usr/lib/ocaml/coq/user-contrib/mathcomp/finmap/set.vo
./usr/lib/ocaml/coq-mathcomp-finmap/META
./usr/lib/ocaml/coq-mathcomp-finmap/dune-package
./usr/lib/ocaml/coq-mathcomp-finmap/opam
./usr/share/doc/libcoq-mathcomp-finmap/CHANGELOG_UNRELEASED.md
./usr/share/doc/libcoq-mathcomp-finmap/README.md
./usr/share/doc/libcoq-mathcomp-finmap/changelog.Debian.gz
./usr/share/doc/libcoq-mathcomp-finmap/changelog.Debian.s390x.gz
./usr/share/doc/libcoq-mathcomp-finmap/changelog.gz
./usr/share/doc/libcoq-mathcomp-finmap/copyright
./var/lib/coq/md5sums/libcoq-mathcomp-finmap.checksum