libssreflect-coq 1.5-3build1 / usr / share

This file is indexed.

/usr/share/ is in libssreflect-coq 1.5-3build1.

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

File Mime Type Owner Mode Size
..
/usr/share/doc-base/ root:root 0o755
/usr/share/doc-base/ssreflect-library text/plain root:root 0o644 312 bytes
/usr/share/doc/ root:root 0o755
/usr/share/doc/libssreflect-coq/ root:root 0o755
/usr/share/doc/libssreflect-coq/README.Debian text/plain root:root 0o644 432 bytes
/usr/share/doc/libssreflect-coq/examples/ root:root 0o755
/usr/share/doc/libssreflect-coq/examples/pg-ssr.el text/plain root:root 0o644 1.7 KB
/usr/share/doc/libssreflect-coq/README text/plain root:root 0o644 1.8 KB
/usr/share/doc/libssreflect-coq/ANNOUNCE text/plain root:root 0o644 2.8 KB
/usr/share/doc/libssreflect-coq/html/ root:root 0o755
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrfun.html text/html root:root 0o644 202.1 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.eqtype.html text/html root:root 0o644 291.5 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssreflect.html text/html root:root 0o644 59.6 KB
/usr/share/doc/libssreflect-coq/html/coqdoc.css text/plain root:root 0o644 5.1 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.seq.html text/html root:root 0o644 1.0 MB
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrbool.html text/html root:root 0o644 659.3 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrnat.html text/html root:root 0o644 700.8 KB
/usr/share/doc/libssreflect-coq/html/index.html text/html root:root 0o644 816.2 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.fintype.html text/html root:root 0o644 818.0 KB
/usr/share/doc/libssreflect-coq/html/toc.html text/html root:root 0o644 1.1 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.ssrmatching.html text/html root:root 0o644 4.5 KB
/usr/share/doc/libssreflect-coq/html/Ssreflect.choice.html text/html root:root 0o644 235.7 KB
/usr/share/doc/libssreflect-coq/copyright text/plain root:root 0o644 22.4 KB
/usr/share/doc/libssreflect-coq/changelog.Debian.gz root:root 0o777

APT Browse - Built by Thomas Orozco.