About

This package is 1.5 MB. It is available at http://ftp.debian.org/debian/pool/main/a/alt-ergo/alt-ergo_0.95.2-3_amd64.deb .

View its full control file here: debian/control.

Description

Automatic theorem prover dedicated to program verification

Relations

This package depends on: libatk1.0-0 (>= 1.12.4), libc6 (>= 2.14), libcairo2 (>= 1.2.4), libfontconfig1 (>= 2.11), libfreetype6 (>= 2.2.1), libgdk-pixbuf2.0-0 (>= 2.22.0), libglib2.0-0 (>= 2.35.9), libgmp10, libgtk2.0-0 (>= 2.24.0), libgtksourceview2.0-0 (>= 2.10.0), libpango-1.0-0 (>= 1.14.0), libpangocairo-1.0-0 (>= 1.14.0), libpangoft2-1.0-0 (>= 1.14.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.

alt-ergo 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/bin/ root:root 0o755
/usr/bin/alt-ergo application/x-executable root:root 0o755 3.4 MB
/usr/bin/altgr-ergo application/x-executable root:root 0o755 5.7 MB
/usr/share/ root:root 0o755
/usr/share/doc/ root:root 0o755
/usr/share/doc/alt-ergo/ root:root 0o755
/usr/share/doc/alt-ergo/changelog.Debian.gz application/gzip root:root 0o644 2.3 KB
/usr/share/doc/alt-ergo/changelog.gz application/gzip root:root 0o644 2.2 KB
/usr/share/doc/alt-ergo/copyright text/plain root:root 0o644 23.5 KB
/usr/share/doc/alt-ergo/examples/ root:root 0o755
/usr/share/doc/alt-ergo/examples/invalid/ root:root 0o755
/usr/share/doc/alt-ergo/examples/invalid/arith1.why text/plain root:root 0o644 57 bytes
/usr/share/doc/alt-ergo/examples/invalid/arith2.why text/plain root:root 0o644 61 bytes
/usr/share/doc/alt-ergo/examples/invalid/arrays.why text/plain root:root 0o644 147 bytes
/usr/share/doc/alt-ergo/examples/invalid/bitv.why text/plain root:root 0o644 141 bytes
/usr/share/doc/alt-ergo/examples/valid/ root:root 0o755
/usr/share/doc/alt-ergo/examples/valid/ac_arith.why text/plain root:root 0o644 106 bytes
/usr/share/doc/alt-ergo/examples/valid/arith1.why text/plain root:root 0o644 120 bytes
/usr/share/doc/alt-ergo/examples/valid/arith2.why text/plain root:root 0o644 125 bytes
/usr/share/doc/alt-ergo/examples/valid/arith3.why text/plain root:root 0o644 106 bytes
/usr/share/doc/alt-ergo/examples/valid/arith4.why text/plain root:root 0o644 87 bytes
/usr/share/doc/alt-ergo/examples/valid/arrays.why text/plain root:root 0o644 151 bytes
/usr/share/doc/alt-ergo/examples/valid/bitv.why text/plain root:root 0o644 139 bytes
/usr/share/doc/alt-ergo/examples/valid/congruence.why text/plain root:root 0o644 189 bytes
/usr/share/doc/alt-ergo/examples/valid/enum_arrays.why text/plain root:root 0o644 183 bytes
/usr/share/doc/alt-ergo/examples/valid/quantifiers.why text/plain root:root 0o644 195 bytes
/usr/share/gtksourceview-2.0/ root:root 0o755
/usr/share/gtksourceview-2.0/language-specs/ root:root 0o755
/usr/share/gtksourceview-2.0/language-specs/alt-ergo.lang text/xml root:root 0o644 4.2 KB
/usr/share/man/ root:root 0o755
/usr/share/man/man1/ root:root 0o755
/usr/share/man/man1/alt-ergo.1.gz application/gzip root:root 0o644 1.1 KB