[ bianca ]

[ Source: psmt2-frontend ]

Paketti: libpsmt2-frontend-ocaml (0.4.0-4 ja muut)

Links for libpsmt2-frontend-ocaml

eLxr Patch Tracker

Imuroi lähdekoodipaketti psmt2-frontend:

Ylläpitäjät:

External Resources:

Kotisivu [github.com]

Samankaltaisia paketteja:

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.

Muut pakettiin libpsmt2-frontend-ocaml liittyvät paketit

depends

recommends

suggests

enhances

dep: libstdlib-ocaml-m4xw9

näennäispaketti, jonka toteuttaa libstdlib-ocaml
dep: ocaml-base-5.3.0

näennäispaketti, jonka toteuttaa ocaml-base

rec: ocaml-findlib

management tool for OCaml libraries

Imuroi libpsmt2-frontend-ocaml

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
amd64	0.4.0-4+b3	602.2 kt	1,503.0 kt	[tiedostoluettelo]
arm64	0.4.0-4+b3	612.1 kt	1,646.0 kt	[tiedostoluettelo]