Пакунок: psmt2-frontend (0.4.0-4 and others)

Links for psmt2-frontend

• eLxr Patch Tracker

Download Source Package psmt2-frontend:

• [psmt2-frontend_0.4.0-4.debian.tar.xz]
• [psmt2-frontend_0.4.0-4.dsc]
• [psmt2-frontend_0.4.0.orig.tar.gz]

Maintainers:

• Debian OCaml Maintainers
• Julien Puydt

External Resources:

• Homepage [github.com]

Similar packages:

• libpsmt2-frontend-ocaml-dev
• z3
• libsymfpu-dev
• python3-parse-stages
• libghc-simple-smt-dev
• libghc-simple-smt-prof
• libghc-simple-smt-doc
• python3-pkgconfig
• libiptables-parse-perl
• exempi
• cvc4

Інші пакунки пов'язані з psmt2-frontend

• dep: libc6 (>= 2.38)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libpsmt2-frontend-ocaml (= 0.4.0-4+b3)

  Parse and type-check SMT-LIB 2 (runtime files)

Завантажити psmt2-frontend