libz3-4_4.4.1-0.3+b1_i386.deb


Advertisement

Description

libz3-4 - theorem prover from Microsoft Research - runtime libraries

Property Value
Distribution Debian Sid
Repository Debian Main i386
Package name libz3-4
Package version 4.4.1
Package release 0.3+b1
Package architecture i386
Package type deb
Installed size 17.48 KB
Download size 5.46 MB
Official Mirror ftp.br.debian.org
Description -

Alternatives

Package Version Architecture Repository
libz3-4_4.4.1-0.3+b1_amd64.deb 4.4.1 amd64 Debian Main
libz3-4 - - -

Requires

Name Value
libc6 >= 2.4
libgcc1 >= 1:7
libgomp1 >= 4.9
libstdc++6 >= 5.2

Replaces

Name Value
libz3-dev << 4.4.1

Download

Type URL
Binary Package libz3-4_4.4.1-0.3+b1_i386.deb
Source Package z3

Install Howto

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

Files

Path
/usr/lib/i386-linux-gnu/libz3.so.4
/usr/share/doc/libz3-4/changelog.Debian.gz
/usr/share/doc/libz3-4/changelog.Debian.i386.gz
/usr/share/doc/libz3-4/changelog.gz
/usr/share/doc/libz3-4/copyright

Changelog

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

See Also

Package Description
libz3-cil_4.4.1-0.3+b1_i386.deb theorem prover from Microsoft Research - CLI bindings
libz3-dev_4.4.1-0.3+b1_i386.deb theorem prover from Microsoft Research - development files
libz3-java_4.4.1-0.3+b1_i386.deb theorem prover from Microsoft Research - java bindings
libz3-jni_4.4.1-0.3+b1_i386.deb theorem prover from Microsoft Research - JNI library
libz3-ocaml-dev_4.4.1-0.3+b1_i386.deb theorem prover from Microsoft Research - OCaml bindings
libz80ex-dev_1.1.21-1+b1_i386.deb z80ex emulation library, development files
libz80ex1_1.1.21-1+b1_i386.deb z80ex emulation library, shared files
libzadc-dev_4.0.18-3_i386.deb accelerated libz implementation (development headers)
libzadc4_4.0.18-3_i386.deb accelerated libz implementation (Accelerated Data Compression/ADC)
libzapojit-0.0-0_0.0.3-4_i386.deb Library for accessing SkyDrive and Hotmail - shared libraries
libzapojit-dev_0.0.3-4_i386.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_i386.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_i386.deb arithmetic and logical operations over arbitrary-precision integers (runtime)
Advertisement
Advertisement