Пакет: libpsmt2-frontend-ocaml (0.4.0-4 и другие)

Ссылки для libpsmt2-frontend-ocaml

Ресурсы Debian:

Исходный код psmt2-frontend:

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

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

Сайт [github.com]

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

Parse and type-check SMT-LIB 2 (runtime files)

A library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.

This package provides the runtime files.

Другие пакеты, относящиеся к libpsmt2-frontend-ocaml

зависимости

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

предложения

enhances

dep: libstdlib-ocaml-2d5j3 [s390x]

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

виртуальный пакет, предоставляемый libstdlib-ocaml
dep: libstdlib-ocaml-m4xw9 [amd64, arm64, ppc64el, riscv64]

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

виртуальный пакет, предоставляемый libstdlib-ocaml
dep: libstdlib-ocaml-ye7o9 [не alpha, amd64, arm64, ia64, ppc64el, riscv64, s390x]

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

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

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

rec: ocaml-findlib

management tool for OCaml libraries

Загрузка libpsmt2-frontend-ocaml

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	0.4.0-4+b3	483,7 Кб	777,0 Кб	[список файлов]
amd64	0.4.0-4+b3	602,2 Кб	1 503,0 Кб	[список файлов]
arm64	0.4.0-4+b3	612,1 Кб	1 646,0 Кб	[список файлов]
armel	0.4.0-4+b3	483,1 Кб	776,0 Кб	[список файлов]
armhf	0.4.0-4+b3	483,1 Кб	776,0 Кб	[список файлов]
hppa (неофициальный перенос)	0.4.0-4+b4	483,0 Кб	776,0 Кб	[список файлов]
i386	0.4.0-4+b3	483,0 Кб	776,0 Кб	[список файлов]
ia64 (неофициальный перенос)	0.4.0-3+b1	750,7 Кб	2 909,0 Кб	[список файлов]
loong64 (неофициальный перенос)	0.4.0-4+b4	483,0 Кб	776,0 Кб	[список файлов]
m68k (неофициальный перенос)	0.4.0-4+b3	483,0 Кб	776,0 Кб	[список файлов]
mips64el	0.4.0-4+b3	483,0 Кб	776,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	0.4.0-4+b3	483,0 Кб	776,0 Кб	[список файлов]
ppc64el	0.4.0-4+b3	601,6 Кб	1 582,0 Кб	[список файлов]
riscv64	0.4.0-4+b3	606,7 Кб	1 538,0 Кб	[список файлов]
s390x	0.4.0-4+b3	604,2 Кб	1 574,0 Кб	[список файлов]
sh4 (неофициальный перенос)	0.4.0-4+b3	483,0 Кб	776,0 Кб	[список файлов]
sparc64 (неофициальный перенос)	0.4.0-4+b3	483,0 Кб	776,0 Кб	[список файлов]
x32 (неофициальный перенос)	0.4.0-4+b3	482,9 Кб	776,0 Кб	[список файлов]