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

Връзки за libpsmt2-frontend-ocaml-dev

• Управление на кръпките в 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]

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

• psmt2-frontend
• z3
• libsymfpu-dev
• libghc-simple-smt-dev
• libghc-simple-smt-prof
• libghc-simple-smt-doc
• libnblib-gmx-dev
• libiptables-parse-perl
• libmodule-build-parse-yapp-perl
• libcvc4-dev
• erlang-mimerl

Други пакети, свързани с libpsmt2-frontend-ocaml-dev

• dep: libpsmt2-frontend-ocaml-v5ae1

  виртуален пакет, предлаган от libpsmt2-frontend-ocaml

• dep: libstdlib-ocaml-dev-m4xw9

  виртуален пакет, предлаган от libstdlib-ocaml-dev

• dep: ocaml-5.3.0

  виртуален пакет, предлаган от ocaml

• rec: ocaml-findlib

  management tool for OCaml libraries

Изтегляне на libpsmt2-frontend-ocaml-dev