Balík: psmt2-frontend (0.4.0-4 a iné)

Odkazy pre psmt2-frontend

• Sledovanie záplat eLxr

Stiahnuť zdrojový balík 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]

Správcovia:

• Debian OCaml Maintainers
• Julien Puydt

Externé zdroje:

• Domovská stránka [github.com]

Podobné balíky:

• 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

Ostatné balíky súvisiace s balíkom psmt2-frontend

• dep: libc6 (>= 2.38)

  GNU C Library: Shared libraries
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

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

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

Stiahnuť psmt2-frontend