Paket: psmt2-frontend (0.4.0-4 und andere)

Links für psmt2-frontend

• eLxr Patch-Überblick

Quellcode-Paket psmt2-frontend herunterladen:

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

Betreuer:

• Debian OCaml Maintainers
• Julien Puydt

Externe Ressourcen:

• Homepage [github.com]

Ähnliche Pakete:

• 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

Andere Pakete mit Bezug zu psmt2-frontend

• dep: libc6 (>= 2.38)

  GNU C Library: Shared libraries
  auch ein virtuelles Paket, bereitgestellt durch libc6-udeb

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

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

psmt2-frontend herunterladen