[ bianca ]

[ Източник: psmt2-frontend ]

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

Връзки за libpsmt2-frontend-ocaml

Управление на кръпките в eLxr

Изтегляне на пакет-източник 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-m4xw9

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

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

rec: ocaml-findlib

management tool for OCaml libraries

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
amd64	0.4.0-4+b3	602,2 кБ	1 503,0 кБ	[списък на файловете]
arm64	0.4.0-4+b3	612,1 кБ	1 646,0 кБ	[списък на файловете]