[ bianca ]

[ Zdroj: psmt2-frontend ]

Balík: libpsmt2-frontend-ocaml (0.4.0-4 a iné)

Odkazy pre libpsmt2-frontend-ocaml

Sledovanie záplat eLxr

Stiahnuť zdrojový balík psmt2-frontend:

Správcovia:

Externé zdroje:

Domovská stránka [github.com]

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom libpsmt2-frontend-ocaml

závisí

odporúča

navrhuje

vylepšuje

dep: libstdlib-ocaml-m4xw9

virtuálny balík poskytovaný balíkom libstdlib-ocaml
dep: ocaml-base-5.3.0

virtuálny balík poskytovaný balíkom ocaml-base

rec: ocaml-findlib

management tool for OCaml libraries

Stiahnuť libpsmt2-frontend-ocaml

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
amd64	0.4.0-4+b3	602.2 kB	1,503.0 kB	[zoznam súborov]
arm64	0.4.0-4+b3	612.1 kB	1,646.0 kB	[zoznam súborov]