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

Links for libpsmt2-frontend-ocaml

• 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:

• psmt2-frontend
• z3
• libsymfpu-dev
• libghc-simple-smt-dev
• libghc-simple-smt-prof
• libcvc4-7
• libghc-simple-smt-doc
• libcvc4parser7
• libdbus-cpp5
• libboost-type-erasure1.74-dev
• libboost-type-erasure1.74.0

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

• dep: libstdlib-ocaml-m4xw9

  virtual package provided by libstdlib-ocaml

• dep: ocaml-base-5.3.0

  virtual package provided by ocaml-base

• rec: ocaml-findlib

  management tool for OCaml libraries

Завантажити libpsmt2-frontend-ocaml