Binary package “libpsmt2-frontend-ocaml” in ubuntu noble
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.
Source package
Published versions
- libpsmt2-frontend-ocaml 0.4.0-3 in amd64 (Release)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in amd64 (Proposed)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in amd64 (Release)
- libpsmt2-frontend-ocaml 0.4.0-3 in arm64 (Release)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in arm64 (Proposed)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in arm64 (Release)
- libpsmt2-frontend-ocaml 0.4.0-3 in armhf (Release)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in armhf (Proposed)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in armhf (Release)
- libpsmt2-frontend-ocaml 0.4.0-3 in ppc64el (Release)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in ppc64el (Proposed)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in ppc64el (Release)
- libpsmt2-frontend-ocaml 0.4.0-3 in riscv64 (Release)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in riscv64 (Proposed)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in riscv64 (Release)
- libpsmt2-frontend-ocaml 0.4.0-3 in s390x (Release)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in s390x (Proposed)
- libpsmt2-frontend-ocaml 0.4.0-3build1 in s390x (Release)