Пакет: psmt2-frontend (0.4.0-4 и другие)

Ссылки для psmt2-frontend

• Отслеживание заплат eLxr

Исходный код 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]

Сопровождающие:

• Debian OCaml Maintainers
• Julien Puydt

Внешние ресурсы:

• Сайт [github.com]

Подобные пакеты:

• 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
  также виртуальный пакет, предоставляемый libc6-udeb

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

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

Загрузка psmt2-frontend