libalt-ergo-ocaml-dev 0.95.2-3 in debian - jessie / main

About

This package is 699.8 KB. It is available at http://ftp.debian.org/debian/pool/main/a/alt-ergo/libalt-ergo-ocaml-dev_0.95.2-3_amd64.deb .

View its full control file here: debian/control.

Description

Theorem prover dedicated to program verification - libraries

Relations

This package depends on: libzarith-ocaml-dev-cs768, ocaml-nox-4.01.0.

This package does not recommend any other package.

This package suggests: why.

This package does not conflict with any other package.

Package Contents

This package is indexed.

libalt-ergo-ocaml-dev 0.95.2-3 is in debian - jessie / main. This package's architecture is: amd64.

File Mime Type Owner Mode Size
/usr/ root:root 0o755
/usr/lib/ root:root 0o755
/usr/lib/ocaml/ root:root 0o755
/usr/lib/ocaml/alt-ergo/ root:root 0o755
/usr/lib/ocaml/alt-ergo/altErgo.cmi application/octet-stream root:root 0o644 209.9 KB
/usr/lib/ocaml/alt-ergo/altErgo.cmo application/octet-stream root:root 0o644 660.6 KB
/usr/lib/ocaml/alt-ergo/altErgo.cmx application/octet-stream root:root 0o644 1.6 MB
/usr/lib/ocaml/alt-ergo/altErgo.o application/x-object root:root 0o644 3.9 MB
/usr/lib/ocaml/alt-ergo/META text/plain root:root 0o644 209 bytes
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/libalt-ergo-ocaml-dev/ root:root 0o755
/usr/share/doc/libalt-ergo-ocaml-dev/changelog.Debian.gz application/gzip root:root 0o644 2.3 KB
/usr/share/doc/libalt-ergo-ocaml-dev/changelog.gz application/gzip root:root 0o644 2.2 KB
/usr/share/doc/libalt-ergo-ocaml-dev/copyright text/plain root:root 0o644 23.5 KB
/var/ root:root 0o755
/var/lib/ root:root 0o755
/var/lib/ocaml/ root:root 0o755
/var/lib/ocaml/lintian/ root:root 0o755
/var/lib/ocaml/lintian/libalt-ergo-ocaml-dev.info text/plain root:root 0o644 49 bytes
/var/lib/ocaml/md5sums/ root:root 0o755
/var/lib/ocaml/md5sums/libalt-ergo-ocaml-dev.md5sums text/plain root:root 0o644 160 bytes

APT Browse - Built by Thomas Orozco.