Files
-rwxr-xr-x | 1770256 | root | root | /usr/bin/menhir |
drwxr-xr-x | 4096 | root | root | /usr/lib64/ocaml/menhirLib |
-rw-r--r-- | 162 | root | root | /usr/lib64/ocaml/menhirLib/META |
-rw-r--r-- | 7972 | root | root | /usr/lib64/ocaml/menhirLib/menhirLib.cmi |
-rw-r--r-- | 78402 | root | root | /usr/lib64/ocaml/menhirLib/menhirLib.cmo |
-rw-r--r-- | 5397 | root | root | /usr/lib64/ocaml/menhirLib/menhirLib.cmx |
-rw-r--r-- | 65937 | root | root | /usr/lib64/ocaml/menhirLib/menhirLib.o |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/menhir |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/menhir/demos |
-rw-r--r-- | 348762 | root | root | /usr/share/doc/menhir/manual.pdf |
-rw-r--r-- | 208 | root | root | /usr/share/doc/menhir/demos/Makefile |
-rw-r--r-- | 361 | root | root | /usr/share/doc/menhir/demos/Makefile.auto |
-rw-r--r-- | 8875 | root | root | /usr/share/doc/menhir/demos/Makefile.shared |
-rw-r--r-- | 5976 | root | root | /usr/share/doc/menhir/demos/OMakefile.shared |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/menhir/demos/calc |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/menhir/demos/calc-param |
drwxr-xr-x | 4096 | root | root | /usr/share/doc/menhir/demos/calc-two |
-rwxr-xr-x | 3043 | root | root | /usr/share/doc/menhir/demos/ocamldep.wrapper |
-rw-r--r-- | 437 | root | root | /usr/share/doc/menhir/demos/calc-param/Makefile |
-rw-r--r-- | 220 | root | root | /usr/share/doc/menhir/demos/calc-param/OMakefile |
-rw-r--r-- | 237 | root | root | /usr/share/doc/menhir/demos/calc-param/OMakeroot |
-rw-r--r-- | 357 | root | root | /usr/share/doc/menhir/demos/calc-param/README |
-rw-r--r-- | 1883 | root | root | /usr/share/doc/menhir/demos/calc-param/calc.ml |
-rw-r--r-- | 1502 | root | root | /usr/share/doc/menhir/demos/calc-param/lexer.mll |
-rw-r--r-- | 1940 | root | root | /usr/share/doc/menhir/demos/calc-param/parser.mly |
-rw-r--r-- | 1390 | root | root | /usr/share/doc/menhir/demos/calc-param/tokens.mly |
-rw-r--r-- | 596 | root | root | /usr/share/doc/menhir/demos/calc-two/Makefile |
-rw-r--r-- | 443 | root | root | /usr/share/doc/menhir/demos/calc-two/OMakefile |
-rw-r--r-- | 237 | root | root | /usr/share/doc/menhir/demos/calc-two/OMakeroot |
-rw-r--r-- | 631 | root | root | /usr/share/doc/menhir/demos/calc-two/README |
-rw-r--r-- | 1539 | root | root | /usr/share/doc/menhir/demos/calc-two/algebraic.mly |
-rw-r--r-- | 1858 | root | root | /usr/share/doc/menhir/demos/calc-two/calc.ml |
-rw-r--r-- | 1193 | root | root | /usr/share/doc/menhir/demos/calc-two/common.mly |
-rw-r--r-- | 1502 | root | root | /usr/share/doc/menhir/demos/calc-two/lexer.mll |
-rw-r--r-- | 1470 | root | root | /usr/share/doc/menhir/demos/calc-two/reverse.mly |
-rw-r--r-- | 1153 | root | root | /usr/share/doc/menhir/demos/calc-two/tokens.mly |
-rw-r--r-- | 297 | root | root | /usr/share/doc/menhir/demos/calc/Makefile |
-rw-r--r-- | 220 | root | root | /usr/share/doc/menhir/demos/calc/OMakefile |
-rw-r--r-- | 237 | root | root | /usr/share/doc/menhir/demos/calc/OMakeroot |
-rw-r--r-- | 264 | root | root | /usr/share/doc/menhir/demos/calc/README |
-rw-r--r-- | 1473 | root | root | /usr/share/doc/menhir/demos/calc/calc.ml |
-rw-r--r-- | 1502 | root | root | /usr/share/doc/menhir/demos/calc/lexer.mll |
-rw-r--r-- | 1558 | root | root | /usr/share/doc/menhir/demos/calc/parser.mly |
-rw-r--r-- | 1452 | root | root | /usr/share/man/man1/menhir.1.xz |
-rw-r--r-- | 5029 | root | root | /usr/share/menhir/standard.mly |