hol-light 20170706-0ubuntu4 / usr / share / hol-light / miz3

This file is indexed.

/usr/share/hol-light/miz3/ is in hol-light 20170706-0ubuntu4.

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

File Mime Type Owner Mode Size
..
/usr/share/hol-light/miz3/ERRORS text/plain root:root 0o644 223 bytes
/usr/share/hol-light/miz3/README text/plain root:root 0o644 720 bytes
/usr/share/hol-light/miz3/Samples/ root:root 0o755
/usr/share/hol-light/miz3/Samples/NEEDS text/plain root:root 0o644 83 bytes
/usr/share/hol-light/miz3/Samples/bug0.ml text/plain root:root 0o644 2.4 KB
/usr/share/hol-light/miz3/Samples/bug1.ml text/plain root:root 0o644 2.1 KB
/usr/share/hol-light/miz3/Samples/bug2.ml text/plain root:root 0o644 103 bytes
/usr/share/hol-light/miz3/Samples/bug3.ml text/plain root:root 0o644 37 bytes
/usr/share/hol-light/miz3/Samples/drinker.ml text/plain root:root 0o644 980 bytes
/usr/share/hol-light/miz3/Samples/forster.ml text/plain root:root 0o644 11.3 KB
/usr/share/hol-light/miz3/Samples/icms.ml text/plain root:root 0o644 6.6 KB
/usr/share/hol-light/miz3/Samples/irrat2.ml text/plain root:root 0o644 4.7 KB
/usr/share/hol-light/miz3/Samples/lagrange.ml text/plain root:root 0o644 11.4 KB
/usr/share/hol-light/miz3/Samples/lagrange1.ml text/plain root:root 0o644 15.9 KB
/usr/share/hol-light/miz3/Samples/luxury.ml text/plain root:root 0o644 7.2 KB
/usr/share/hol-light/miz3/Samples/other_mizs.ml text/plain root:root 0o644 13.8 KB
/usr/share/hol-light/miz3/Samples/robbins.ml text/plain root:root 0o644 5.5 KB
/usr/share/hol-light/miz3/Samples/sample.ml text/plain root:root 0o644 451 bytes
/usr/share/hol-light/miz3/Samples/samples.ml text/plain root:root 0o644 1.4 KB
/usr/share/hol-light/miz3/Samples/talk.ml text/plain root:root 0o644 2.8 KB
/usr/share/hol-light/miz3/Samples/tobias.ml text/plain root:root 0o644 1.9 KB
/usr/share/hol-light/miz3/Samples/wishes.ml text/plain root:root 0o644 600 bytes
/usr/share/hol-light/miz3/bin/ root:root 0o755
/usr/share/hol-light/miz3/bin/miz3 text/x-shellscript root:root 0o755 888 bytes
/usr/share/hol-light/miz3/bin/miz3e text/x-perl root:root 0o755 712 bytes
/usr/share/hol-light/miz3/bin/miz3f text/x-perl root:root 0o755 1.2 KB
/usr/share/hol-light/miz3/exrc application/octet-stream root:root 0o644 274 bytes
/usr/share/hol-light/miz3/grammar/ root:root 0o755
/usr/share/hol-light/miz3/grammar/miz3.y text/x-c root:root 0o644 2.1 KB
/usr/share/hol-light/miz3/make.ml text/plain root:root 0o644 42 bytes
/usr/share/hol-light/miz3/miz3.ml text/plain root:root 0o644 67.8 KB
/usr/share/hol-light/miz3/miz3_of_hol.ml text/plain root:root 0o644 8.9 KB
/usr/share/hol-light/miz3/test.ml text/plain root:root 0o644 438 bytes

APT Browse - Built by Thomas Orozco.