Sophie

Sophie

distrib > Mageia > cauldron > i586 > by-pkgid > d964f539a599dbcafcfbf502683da840 > files

menhir-20220210-1.mga9.i586.rpm

Files

-rwxr-xr-x3451424 root root /usr/bin/menhir
drwxr-xr-x 0 root root /usr/lib/.build-id
drwxr-xr-x 0 root root /usr/lib/.build-id/29
drwxr-xr-x 0 root root /usr/lib/.build-id/6c
drwxr-xr-x 0 root root /usr/lib/.build-id/b1
lrwxrwxrwx 26 root root /usr/lib/.build-id/29/1b016900ab51bf67999bb0fb44a6d962f60f8b
lrwxrwxrwx 50 root root /usr/lib/.build-id/6c/8714d633433cc7df5b083f3be5026f4fe6412c
lrwxrwxrwx 50 root root /usr/lib/.build-id/b1/49fc1c1cc0afb7ee6db0232979e219e1db0516
drwxr-xr-x 0 root root /usr/lib/ocaml/menhir
drwxr-xr-x 0 root root /usr/lib/ocaml/menhirLib
drwxr-xr-x 0 root root /usr/lib/ocaml/menhirSdk
-rw-r--r-- 0 root root /usr/lib/ocaml/menhir/META
-rw-r--r-- 308 root root /usr/lib/ocaml/menhir/dune-package
-rw-r--r-- 227 root root /usr/lib/ocaml/menhirLib/META
-rw-r--r-- 803 root root /usr/lib/ocaml/menhirLib/dune-package
-rw-r--r--124312 root root /usr/lib/ocaml/menhirLib/menhirLib.a
-rw-r--r--260384 root root /usr/lib/ocaml/menhirLib/menhirLib.cma
-rw-r--r-- 54666 root root /usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r--789849 root root /usr/lib/ocaml/menhirLib/menhirLib.cmt
-rw-r--r--279367 root root /usr/lib/ocaml/menhirLib/menhirLib.cmti
-rw-r--r-- 15445 root root /usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- 1119 root root /usr/lib/ocaml/menhirLib/menhirLib.cmxa
-rwxr-xr-x112936 root root /usr/lib/ocaml/menhirLib/menhirLib.cmxs
-rw-r--r--134529 root root /usr/lib/ocaml/menhirLib/menhirLib.ml
-rw-r--r-- 70471 root root /usr/lib/ocaml/menhirLib/menhirLib.mli
-rw-r--r-- 239 root root /usr/lib/ocaml/menhirSdk/META
-rw-r--r-- 4726 root root /usr/lib/ocaml/menhirSdk/cmly_api.ml
-rw-r--r-- 3095 root root /usr/lib/ocaml/menhirSdk/cmly_format.ml
-rw-r--r-- 1072 root root /usr/lib/ocaml/menhirSdk/cmly_read.mli
-rw-r--r-- 1934 root root /usr/lib/ocaml/menhirSdk/dune-package
-rw-r--r-- 2969 root root /usr/lib/ocaml/menhirSdk/keyword.mli
-rw-r--r-- 58190 root root /usr/lib/ocaml/menhirSdk/menhirSdk.a
-rw-r--r--101340 root root /usr/lib/ocaml/menhirSdk/menhirSdk.cma
-rw-r--r-- 584 root root /usr/lib/ocaml/menhirSdk/menhirSdk.cmi
-rw-r--r-- 4211 root root /usr/lib/ocaml/menhirSdk/menhirSdk.cmt
-rw-r--r-- 217 root root /usr/lib/ocaml/menhirSdk/menhirSdk.cmx
-rw-r--r-- 2645 root root /usr/lib/ocaml/menhirSdk/menhirSdk.cmxa
-rwxr-xr-x 46400 root root /usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
-rw-r--r-- 389 root root /usr/lib/ocaml/menhirSdk/menhirSdk.ml
-rw-r--r-- 11488 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmi
-rw-r--r-- 50930 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmt
-rw-r--r-- 489 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_api.cmx
-rw-r--r-- 5435 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmi
-rw-r--r-- 24600 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmt
-rw-r--r-- 388 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_format.cmx
-rw-r--r-- 798 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmi
-rw-r--r--125352 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmt
-rw-r--r-- 5224 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmti
-rw-r--r-- 10081 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Cmly_read.cmx
-rw-r--r-- 6936 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmi
-rw-r--r-- 35364 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmt
-rw-r--r-- 26243 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmti
-rw-r--r-- 3953 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Keyword.cmx
-rw-r--r-- 311 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmi
-rw-r--r-- 2590 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmt
-rw-r--r-- 250 root root /usr/lib/ocaml/menhirSdk/menhirSdk__Version.cmx
-rw-r--r-- 25 root root /usr/lib/ocaml/menhirSdk/version.ml
drwxr-xr-x 0 root root /usr/share/doc/menhir
-rw-r--r--397762 root root /usr/share/doc/menhir/manual.html
-rw-r--r--498786 root root /usr/share/doc/menhir/manual.pdf
-rw-r--r-- 4315 root root /usr/share/doc/menhir/manual001.png
-rw-r--r-- 4126 root root /usr/share/doc/menhir/manual002.png
-rw-r--r-- 5147 root root /usr/share/doc/menhir/manual003.png
drwxr-xr-x 0 root root /usr/share/licenses/menhir
-rw-r--r-- 45375 root root /usr/share/licenses/menhir/LICENSE
-rw-r--r-- 2296 root root /usr/share/man/man1/menhir.1.xz