معرفی شرکت ها

libcoq-reduction-effects_0.1.4-3+b1_arm64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

reduction effects for Coq
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main arm64
نام بسته libcoq-reduction-effects
نام فایل بسته libcoq-reduction-effects_0.1.4-3+b1_arm64.deb
نسخه بسته 0.1.4
انتشار بسته 3+b1
معماری بسته arm64
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/coq-community/reduction-effects
مجوز -
حجم دانلود 14604
حجم نصب 193
This plugin adds reduction side effects to some of the Coq reduction strategies. . Coq is a proof assistant for higher-order logic.


جایگزین ها

بسته نسخه معماری مخزن
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 0.1.4 amd64 Debian main
libcoq-reduction-effects_0.1.4-3+b1_armhf.deb 0.1.4 armhf Debian main
libcoq-reduction-effects_0.1.4-3+b1_i386.deb 0.1.4 i386 Debian main
libcoq-reduction-effects_0.1.4-3+b1_ppc64el.deb 0.1.4 ppc64el Debian main
libcoq-reduction-effects_0.1.4-3+b1_s390x.deb 0.1.4 s390x Debian main


نیازمندی

مقدار نام
- libcoq-stdlib-ctiy2


نحوه نصب


نصب پکیج deb libcoq-reduction-effects:

    sudo apt-get install libcoq-reduction-effects_0.1.4-3+b1_arm64.deb


فایل ها

مسیرها
./usr/lib/ocaml/coq/user-contrib/ReductionEffect/PrintingEffect.glob
./usr/lib/ocaml/coq/user-contrib/ReductionEffect/PrintingEffect.v
./usr/lib/ocaml/coq/user-contrib/ReductionEffect/PrintingEffect.vo
./usr/lib/ocaml/coq/user-contrib/ReductionEffect/redeffect_plugin.cmxs
./usr/lib/ocaml/coq-reduction-effects/META
./usr/lib/ocaml/coq-reduction-effects/redeffect_plugin.cmi
./usr/lib/ocaml/coq-reduction-effects/redeffect_plugin.cmx
./usr/lib/ocaml/coq-reduction-effects/redeffect_plugin.cmxa
./usr/lib/ocaml/coq-reduction-effects/redeffect_plugin.cmxs
./usr/share/doc/libcoq-reduction-effects/changelog.Debian.arm64.gz
./usr/share/doc/libcoq-reduction-effects/changelog.Debian.gz
./usr/share/doc/libcoq-reduction-effects/changelog.gz
./usr/share/doc/libcoq-reduction-effects/copyright
./var/lib/coq/md5sums/libcoq-reduction-effects.checksum