alt-ergo 0.95.2-1build1 / usr / share / doc

This file is indexed.

/usr/share/doc/ is in alt-ergo 0.95.2-1build1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/alt-ergo/ root:root 0o755
/usr/share/doc/alt-ergo/changelog.Debian.gz application/gzip root:root 0o644 1.9 KB
/usr/share/doc/alt-ergo/examples/ root:root 0o755
/usr/share/doc/alt-ergo/examples/valid/ root:root 0o755
/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/arith3.why text/plain root:root 0o644 106 bytes
/usr/share/doc/alt-ergo/examples/valid/arrays.why text/plain root:root 0o644 151 bytes
/usr/share/doc/alt-ergo/examples/valid/arith1.why text/plain root:root 0o644 120 bytes
/usr/share/doc/alt-ergo/examples/valid/quantifiers.why text/plain root:root 0o644 195 bytes
/usr/share/doc/alt-ergo/examples/valid/arith2.why text/plain root:root 0o644 125 bytes
/usr/share/doc/alt-ergo/examples/valid/ac_arith.why text/plain root:root 0o644 106 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/arith4.why text/plain root:root 0o644 87 bytes
/usr/share/doc/alt-ergo/examples/invalid/ root:root 0o755
/usr/share/doc/alt-ergo/examples/invalid/bitv.why text/plain root:root 0o644 141 bytes
/usr/share/doc/alt-ergo/examples/invalid/arrays.why text/plain root:root 0o644 147 bytes
/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/copyright text/plain root:root 0o644 23.5 KB

APT Browse - Built by Thomas Orozco.