Пакет: libcoq-elpi (2.5.0-1.1 и другие)

Ссылки для libcoq-elpi

Ресурсы Debian:

Исходный код coq-elpi:

Сопровождающие:

Внешние ресурсы:

Сайт [github.com]

Подобные пакеты:

Coq plugin embedding Elpi

This package makes it possible to define new commands and tactics for Coq in Elpi.

Elpi implements a lambda-Prolog interpreter enriched with constraint handling rules.

Coq is a proof assistant for higher-order logic.

Другие пакеты, относящиеся к libcoq-elpi

зависимости

рекомендации

предложения

enhances

dep: libcoq-core-ocaml-29kh7 [amd64]

виртуальный пакет, предоставляемый libcoq-core-ocaml
dep: libcoq-core-ocaml-cm0q5 [s390x]

виртуальный пакет, предоставляемый libcoq-core-ocaml
dep: libcoq-core-ocaml-d2hd1 [loong64]

виртуальный пакет, предоставляемый libcoq-core-ocaml
dep: libcoq-core-ocaml-dev (>= 8.17)

development libraries and tools for Coq
dep: libcoq-core-ocaml-n64h2 [ppc64el]

виртуальный пакет, предоставляемый libcoq-core-ocaml
dep: libcoq-core-ocaml-rho03 [riscv64]

виртуальный пакет, предоставляемый libcoq-core-ocaml
dep: libcoq-core-ocaml-ub9d2 [arm64]

виртуальный пакет, предоставляемый libcoq-core-ocaml
dep: libcoq-core-ocaml-yi844 [ppc64]

виртуальный пакет, предоставляемый libcoq-core-ocaml
dep: libcoq-stdlib-1ns11 [arm64]

виртуальный пакет, предоставляемый libcoq-stdlib
dep: libcoq-stdlib-68yx1 [amd64]

виртуальный пакет, предоставляемый libcoq-stdlib
dep: libcoq-stdlib-8jeh0 [s390x]

виртуальный пакет, предоставляемый libcoq-stdlib
dep: libcoq-stdlib-mz9g4 [loong64]

виртуальный пакет, предоставляемый libcoq-stdlib
dep: libcoq-stdlib-q0rh7 [ppc64el]

виртуальный пакет, предоставляемый libcoq-stdlib
dep: libcoq-stdlib-twvz5 [ppc64]

виртуальный пакет, предоставляемый libcoq-stdlib
dep: libcoq-stdlib-wthf1 [riscv64]

виртуальный пакет, предоставляемый libcoq-stdlib
dep: libelpi-ocaml-2q922 [loong64]

виртуальный пакет, предоставляемый libelpi-ocaml
dep: libelpi-ocaml-70he6 [riscv64]

виртуальный пакет, предоставляемый libelpi-ocaml
dep: libelpi-ocaml-dev

embeddable lambda-Prolog interpreter (dev files)
dep: libelpi-ocaml-gez20 [arm64]

виртуальный пакет, предоставляемый libelpi-ocaml
dep: libelpi-ocaml-iw406 [ppc64el]

виртуальный пакет, предоставляемый libelpi-ocaml
dep: libelpi-ocaml-jxom1 [amd64]

виртуальный пакет, предоставляемый libelpi-ocaml
dep: libelpi-ocaml-qs6l8 [ppc64]

виртуальный пакет, предоставляемый libelpi-ocaml
dep: libelpi-ocaml-vyoh0 [s390x]

виртуальный пакет, предоставляемый libelpi-ocaml
dep: libppx-deriving-ocaml-124n2 [riscv64]

виртуальный пакет, предоставляемый libppx-deriving-ocaml
dep: libppx-deriving-ocaml-7j4i9 [arm64]

виртуальный пакет, предоставляемый libppx-deriving-ocaml
dep: libppx-deriving-ocaml-li3j7 [s390x]

виртуальный пакет, предоставляемый libppx-deriving-ocaml
dep: libppx-deriving-ocaml-r2xh4 [ppc64el]

виртуальный пакет, предоставляемый libppx-deriving-ocaml
dep: libppx-deriving-ocaml-t2bg6 [amd64]

виртуальный пакет, предоставляемый libppx-deriving-ocaml
dep: libstdlib-ocaml-2d5j3 [s390x]

виртуальный пакет, предоставляемый libstdlib-ocaml
dep: libstdlib-ocaml-gats1 [ppc64]

Пакет недоступен
dep: libstdlib-ocaml-m4xw9 [не loong64, ppc64, s390x]

виртуальный пакет, предоставляемый libstdlib-ocaml
dep: libstdlib-ocaml-vyp69 [loong64]

Пакет недоступен
dep: libzarith-ocaml-2ofb9 [s390x]

виртуальный пакет, предоставляемый libzarith-ocaml
dep: libzarith-ocaml-avzf2 [ppc64]

Пакет недоступен
dep: libzarith-ocaml-h79v1 [не loong64, ppc64, s390x]

виртуальный пакет, предоставляемый libzarith-ocaml
dep: libzarith-ocaml-zlfv4 [loong64]

Пакет недоступен

Загрузка libcoq-elpi

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	2.5.0-1.1+b3	12 036,8 Кб	61 081,0 Кб	[список файлов]
arm64	2.5.0-1.1+b3	12 516,1 Кб	64 923,0 Кб	[список файлов]
loong64 (неофициальный перенос)	2.1.0-1+b3	3 480,5 Кб	25 222,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	2.1.0-1+b1	3 421,7 Кб	25 622,0 Кб	[список файлов]
ppc64el	2.5.0-1.1+b3	12 150,8 Кб	63 690,0 Кб	[список файлов]
riscv64	2.5.0-1.1+b3	12 659,5 Кб	68 166,0 Кб	[список файлов]
s390x	2.5.0-1.1+b3	12 089,1 Кб	63 251,0 Кб	[список файлов]