[ bookworm ] [ trixie ] [ sid ]

[ Source: ]

Package: libpsmt2-frontend-ocaml (0.4.0-3 and others) [debports]

Links for libpsmt2-frontend-ocaml

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

Fortolk og lav typekontrol for SMT-LIB 2 - kørselstidsfiler

Et bibliotek til at fortolke og typekontrollere en konservativ udvidelse for SMT-LIB 2-standarden med prenex polymorphism.

Denne pakke tilbyder kørselstidsfilerne.

Other Packages Related to libpsmt2-frontend-ocaml

depends

recommends

suggests

enhances

dep: libstdlib-ocaml-rg5q2

virtual package provided by libstdlib-ocaml
dep: ocaml-base-4.14.1

virtual package provided by ocaml-base

rec: ocaml-findlib

Håndteringsværktøj for OCaml-biblioteker

Download libpsmt2-frontend-ocaml

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
hppa (unofficial port)	0.4.0-3+b1	748.8 kB	2,909.0 kB	[list of files]