软件包: libz3-ocaml-dev (4.4.1-0.3build4)

libz3-ocaml-dev 的相关链接

Trisquel 的资源:

• Install using apturl
• Entry at directory.fsf.org
• 报告问题
• Changelog
• 版权文件

下载源码包 z3:

• [z3_4.4.1-0.3build4.dsc]
• [z3_4.4.1.orig.tar.gz]
• [z3_4.4.1-0.3build4.debian.tar.xz]

维护者:

• Ubuntu Developers (Mail Archive)

Original Maintainer:

• Michael Tautschnig

外部的资源:

• 主页 [github.com]

相似软件包:

• libz3-cil
• python-z3
• python3-z3
• libz3-jni
• libz3-dev
• z3
• libz3-4
• libcvc3-5-java
• libcvc3-5-jni
• cvc3
• libcvc3-5v5

其他与 libz3-ocaml-dev 有关的软件包

• dep: libc6 (>= 2.4)

  GNU C Library: Shared libraries
  同时作为一个虚包由这些包填实: libc6-udeb

• dep: libz3-4

  theorem prover from Microsoft Research - runtime libraries

• dep: libz3-dev (= 4.4.1-0.3build4)

  theorem prover from Microsoft Research - development files

• dep: ocaml-nox-4.05.0

  本虚包由这些包填实: ocaml-nox

• rec: ocaml-findlib

  management tool for OCaml libraries

下载 libz3-ocaml-dev