معرفی شرکت ها


libcoq-unicoq_1.6-8.16-2+b1_i386.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

enhanced unification algorithm for Coq
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main i386
نام بسته libcoq-unicoq
نام فایل بسته libcoq-unicoq_1.6-8.16-2+b1_i386.deb
نسخه بسته 1.6
انتشار بسته 8.16
معماری بسته i386
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/unicoq/unicoq/
مجوز -
حجم دانلود 72792
حجم نصب 489
This package provides a new unification algorithm, replacing the existing one through a plugin. . Coq is a proof assistant for higher-order logic.


جایگزین ها

بسته نسخه معماری مخزن
libcoq-unicoq_1.6-8.16-2+b1_amd64.deb 1.6 amd64 Debian main
libcoq-unicoq_1.6-8.16-2+b1_arm64.deb 1.6 arm64 Debian main
libcoq-unicoq_1.6-8.16-2+b1_armhf.deb 1.6 armhf Debian main
libcoq-unicoq_1.6-8.16-2+b1_ppc64el.deb 1.6 ppc64el Debian main
libcoq-unicoq_1.6-8.16-2+b1_s390x.deb 1.6 s390x Debian main


نیازمندی

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


نحوه نصب


نصب پکیج deb libcoq-unicoq:

    sudo apt-get install libcoq-unicoq_1.6-8.16-2+b1_i386.deb


فایل ها

مسیرها
./usr/lib/ocaml/coq/user-contrib/Unicoq/Unicoq.glob
./usr/lib/ocaml/coq/user-contrib/Unicoq/Unicoq.v
./usr/lib/ocaml/coq/user-contrib/Unicoq/Unicoq.vo
./usr/lib/ocaml/coq/user-contrib/Unicoq/unicoq.cmxs
./usr/lib/ocaml/coq-unicoq/META
./usr/lib/ocaml/coq-unicoq/unicoq.cmi
./usr/lib/ocaml/coq-unicoq/unicoq.cmx
./usr/lib/ocaml/coq-unicoq/unicoq.cmxa
./usr/lib/ocaml/coq-unicoq/unicoq.cmxs
./usr/share/doc/libcoq-unicoq/changelog.Debian.gz
./usr/share/doc/libcoq-unicoq/changelog.Debian.i386.gz
./usr/share/doc/libcoq-unicoq/changelog.gz
./usr/share/doc/libcoq-unicoq/copyright
./var/lib/coq/md5sums/libcoq-unicoq.checksum