packages Skip to content

» Ubuntu » Packages » Package Search Results

You have searched for packages that names contain psmt2-frontend in all suites, all sections, and all architectures. Found 3 matching packages.

Exact hits

Package psmt2-frontend

• noble (24.04LTS) (ocaml): Parse and type-check SMT-LIB 2 (tool) [universe]
  0.4.0-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): Parse and type-check SMT-LIB 2 (tool) [universe]
  0.4.0-4build3: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): Parse and type-check SMT-LIB 2 (tool) [universe]
  0.4.0-4build5: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (ocaml): Parse and type-check SMT-LIB 2 (tool) [universe]
  0.4.0-4build5: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package libpsmt2-frontend-ocaml

• noble (24.04LTS) (ocaml): Parse and type-check SMT-LIB 2 (runtime files) [universe]
  0.4.0-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): Parse and type-check SMT-LIB 2 (runtime files) [universe]
  0.4.0-4build3: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): Parse and type-check SMT-LIB 2 (runtime files) [universe]
  0.4.0-4build5: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (ocaml): Parse and type-check SMT-LIB 2 (runtime files) [universe]
  0.4.0-4build5: amd64 arm64 armhf ppc64el riscv64 s390x

Package libpsmt2-frontend-ocaml-dev

• noble (24.04LTS) (ocaml): Parse and type-check SMT-LIB 2 (dev files) [universe]
  0.4.0-3build1: amd64 arm64 armhf ppc64el riscv64 s390x
• questing (25.10) (ocaml): Parse and type-check SMT-LIB 2 (dev files) [universe]
  0.4.0-4build3: amd64 arm64 armhf ppc64el riscv64 s390x
• resolute (26.04LTS) (ocaml): Parse and type-check SMT-LIB 2 (dev files) [universe]
  0.4.0-4build5: amd64 arm64 armhf ppc64el riscv64 s390x
• stonking (ocaml): Parse and type-check SMT-LIB 2 (dev files) [universe]
  0.4.0-4build5: amd64 arm64 armhf ppc64el riscv64 s390x