[ 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 Кб	[список файлов]