معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

build hierarchies of algebraic structures in Coq (tool)

ویژگی	مقدار
سیستم عامل	Linux
توزیع	Debian Bookworm-12
مخزن	Debian main i386
نام بسته	coq-hierarchy-builder
نام فایل بسته	coq-hierarchy-builder_1.4.0-2+b6_i386.deb
نسخه بسته	1.4.0
انتشار بسته	2+b6
معماری بسته	i386
نگهدارنده	Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت	-
هاست سازنده	-
نوع بسته	.deb
آدرس صفحه اصلی	https://github.com/math-comp/hierarchy-builder
مجوز	-
حجم دانلود	619660
حجم نصب	2104

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system. . This package provides the command-line tool.

جایگزین ها

بسته	نسخه	معماری	مخزن
coq-hierarchy-builder_1.4.0-2+b6_amd64.deb	1.4.0	amd64	Debian main
coq-hierarchy-builder_1.4.0-2+b6_arm64.deb	1.4.0	arm64	Debian main
coq-hierarchy-builder_1.4.0-2+b6_ppc64el.deb	1.4.0	ppc64el	Debian main

نیازمندی

مقدار	نام
= 1.4.0-2+b6	libcoq-hierarchy-builder
-	ocaml-nox

نحوه نصب

نصب پکیج deb coq-hierarchy-builder:

sudo apt-get install coq-hierarchy-builder_1.4.0-2+b6_i386.deb

فایل ها

مسیرها
./bin/coq.hb
./usr/share/doc/coq-hierarchy-builder/changelog.Debian.gz
./usr/share/doc/coq-hierarchy-builder/changelog.Debian.i386.gz
./usr/share/doc/coq-hierarchy-builder/changelog.gz
./usr/share/doc/coq-hierarchy-builder/copyright
./usr/share/man/man1/coq.hb.1.gz