libz3-ocaml-dev_4.4.1-0.3+b1_amd64.deb


Advertisement

Description

libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package name libz3-ocaml-dev
Package version 4.4.1
Package release 0.3+b1
Package architecture amd64
Package type deb
Installed size 5.99 KB
Download size 480.47 KB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
libz3-ocaml-dev_4.4.1-0.3+b1_i386.deb 4.4.1 i386 Debian Main
libz3-ocaml-dev - - -

Requires

Name Value
libc6 >= 2.4
libz3-4 -
libz3-dev = 4.4.1-0.3+b1
ocaml-nox-4.05.0 -

Download

Type URL
Binary Package libz3-ocaml-dev_4.4.1-0.3+b1_amd64.deb
Source Package z3

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libz3-ocaml-dev deb package:
    # sudo apt-get install libz3-ocaml-dev

Files

Path
/usr/lib/ocaml/z3/META
/usr/lib/ocaml/z3/dllz3ml.so
/usr/lib/ocaml/z3/libz3ml.a
/usr/lib/ocaml/z3/z3.cma
/usr/lib/ocaml/z3/z3.cmi
/usr/lib/ocaml/z3/z3.cmx
/usr/lib/ocaml/z3/z3.ml
/usr/lib/ocaml/z3/z3.mli
/usr/lib/ocaml/z3/z3.o
/usr/lib/ocaml/z3/z3enums.cma
/usr/lib/ocaml/z3/z3enums.cmi
/usr/lib/ocaml/z3/z3enums.cmx
/usr/lib/ocaml/z3/z3enums.ml
/usr/lib/ocaml/z3/z3enums.mli
/usr/lib/ocaml/z3/z3enums.o
/usr/lib/ocaml/z3/z3ml.a
/usr/lib/ocaml/z3/z3ml.cma
/usr/lib/ocaml/z3/z3ml.cmxa
/usr/lib/ocaml/z3/z3native.cma
/usr/lib/ocaml/z3/z3native.cmi
/usr/lib/ocaml/z3/z3native.cmx
/usr/lib/ocaml/z3/z3native.ml
/usr/lib/ocaml/z3/z3native.mli
/usr/lib/ocaml/z3/z3native.o
/usr/lib/ocaml/z3/z3native_stubs.o
/usr/share/doc/libz3-ocaml-dev
/var/lib/ocaml/lintian/libz3-ocaml-dev.info
/var/lib/ocaml/md5sums/libz3-ocaml-dev.md5sums

Changelog

See z3_4.4.1-0.3+b1_amd64.deb changelog.

See Also

Package Description
libz80ex-dev_1.1.21-1+b1_amd64.deb z80ex emulation library, development files
libz80ex1_1.1.21-1+b1_amd64.deb z80ex emulation library, shared files
libzadc-dev_4.0.18-3_amd64.deb accelerated libz implementation (development headers)
libzadc4_4.0.18-3_amd64.deb accelerated libz implementation (Accelerated Data Compression/ADC)
libzapojit-0.0-0_0.0.3-4_amd64.deb Library for accessing SkyDrive and Hotmail - shared libraries
libzapojit-dev_0.0.3-4_amd64.deb Library for accessing SkyDrive and Hotmail - development files
libzapojit-doc_0.0.3-4_all.deb Library for accessing SkyDrive and Hotmail - documentation
libzarith-ocaml-dev_1.7-1_amd64.deb arithmetic and logical operations over arbitrary-precision integers (dev)
libzarith-ocaml-doc_1.7-1_all.deb arithmetic and logical operations over arbitrary-precision integers (doc)
libzarith-ocaml_1.7-1_amd64.deb arithmetic and logical operations over arbitrary-precision integers (runtime)
libzbar-dev_0.10+doc-10.1+b3_amd64.deb bar code scanner and decoder (development)
libzbar0_0.10+doc-10.1+b3_amd64.deb bar code scanner and decoder (library)
libzbargtk-dev_0.10+doc-10.1+b3_amd64.deb bar code scanner and decoder (GTK+ bindings development)
libzbargtk0_0.10+doc-10.1+b3_amd64.deb bar code scanner and decoder (GTK+ bindings)
libzbarqt-dev_0.10+doc-10.1+b3_amd64.deb bar code scanner and decoder (Qt bindings development)
Advertisement
Advertisement