Пакет: libpsmt2-frontend-ocaml (0.4.0-3 и други) [debports]

[ Източник:  ]

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

• dep: libstdlib-ocaml-gats1

  виртуален пакет, предлаган от libstdlib-ocaml

• dep: ocaml-base-4.14.1

  виртуален пакет, предлаган от ocaml-base

• rec: ocaml-findlib

  management tool for OCaml libraries

Изтегляне на libpsmt2-frontend-ocaml

Изтегляне за всички налични архитектури

Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
ppc64 (неофициална архитектура)	0.4.0-3+b1	864,6 кБ	3 685,0 кБ	[списък на файловете]