معرفی شرکت ها

libcoq-record-update_0.3.1-2+b1_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

automatic record fields updaters for Coq
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main amd64
نام بسته libcoq-record-update
نام فایل بسته libcoq-record-update_0.3.1-2+b1_amd64.deb
نسخه بسته 0.3.1
انتشار بسته 2+b1
معماری بسته amd64
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/tchajed/coq-record-update
مجوز -
حجم دانلود 14464
حجم نصب 61
This package provides an automatic and generic way to update record fields in Coq. . Coq is a proof assistant for higher-order logic.


جایگزین ها

بسته نسخه معماری مخزن
libcoq-record-update_0.3.1-2+b1_arm64.deb 0.3.1 arm64 Debian main
libcoq-record-update_0.3.1-2+b1_armhf.deb 0.3.1 armhf Debian main
libcoq-record-update_0.3.1-2+b1_i386.deb 0.3.1 i386 Debian main
libcoq-record-update_0.3.1-2+b1_ppc64el.deb 0.3.1 ppc64el Debian main
libcoq-record-update_0.3.1-2+b1_s390x.deb 0.3.1 s390x Debian main


نیازمندی

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


نحوه نصب


نصب پکیج deb libcoq-record-update:

    sudo apt-get install libcoq-record-update_0.3.1-2+b1_amd64.deb


فایل ها

مسیرها
./usr/lib/ocaml/coq/user-contrib/RecordUpdate/Lens.glob
./usr/lib/ocaml/coq/user-contrib/RecordUpdate/Lens.v
./usr/lib/ocaml/coq/user-contrib/RecordUpdate/Lens.vo
./usr/lib/ocaml/coq/user-contrib/RecordUpdate/RecordSet.glob
./usr/lib/ocaml/coq/user-contrib/RecordUpdate/RecordSet.v
./usr/lib/ocaml/coq/user-contrib/RecordUpdate/RecordSet.vo
./usr/lib/ocaml/coq/user-contrib/RecordUpdate/RecordUpdate.glob
./usr/lib/ocaml/coq/user-contrib/RecordUpdate/RecordUpdate.v
./usr/lib/ocaml/coq/user-contrib/RecordUpdate/RecordUpdate.vo
./usr/share/doc/libcoq-record-update/changelog.Debian.amd64.gz
./usr/share/doc/libcoq-record-update/changelog.Debian.gz
./usr/share/doc/libcoq-record-update/copyright
./var/lib/coq/md5sums/libcoq-record-update.checksum