drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/82
|
lrwxrwxrwx | 62 | root |
root |
/usr/lib/.build-id/52/ff3ca6193e5fcc5b6fd752e41d3ed898bec52b
|
lrwxrwxrwx | 54 | root |
root |
/usr/lib/.build-id/82/f6d6ac016ee5168726a650a94b91efa6fe5a96
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/ocaml/coqide-server
|
-rw-r--r-- | 487 | root |
root |
/usr/lib/ocaml/coqide-server/META
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/ocaml/coqide-server/core
|
-rw-r--r-- | 2892 | root |
root |
/usr/lib/ocaml/coqide-server/dune-package
|
-rw-r--r-- | 1262 | root |
root |
/usr/lib/ocaml/coqide-server/opam
|
drwxr-xr-x | 0 | root |
root |
/usr/lib/ocaml/coqide-server/protocol
|
-rw-r--r-- | 37556 | root |
root |
/usr/lib/ocaml/coqide-server/core/core.a
|
-rw-r--r-- | 51124 | root |
root |
/usr/lib/ocaml/coqide-server/core/core.cma
|
-rw-r--r-- | 939 | root |
root |
/usr/lib/ocaml/coqide-server/core/core.cmxa
|
-rwxr-xr-x | 37512 | root |
root |
/usr/lib/ocaml/coqide-server/core/core.cmxs
|
-rw-r--r-- | 4536 | root |
root |
/usr/lib/ocaml/coqide-server/core/document.cmi
|
-rw-r--r-- | 93920 | root |
root |
/usr/lib/ocaml/coqide-server/core/document.cmt
|
-rw-r--r-- | 28457 | root |
root |
/usr/lib/ocaml/coqide-server/core/document.cmti
|
-rw-r--r-- | 2361 | root |
root |
/usr/lib/ocaml/coqide-server/core/document.cmx
|
-rw-r--r-- | 6225 | root |
root |
/usr/lib/ocaml/coqide-server/core/document.ml
|
-rw-r--r-- | 4713 | root |
root |
/usr/lib/ocaml/coqide-server/core/document.mli
|
-rw-r--r-- | 15243 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/interface.cmi
|
-rw-r--r-- | 77970 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/interface.cmt
|
-rw-r--r-- | 977 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/interface.cmx
|
-rw-r--r-- | 10643 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/interface.ml
|
-rw-r--r-- | 304378 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/protocol.a
|
-rw-r--r-- | 500240 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/protocol.cma
|
-rw-r--r-- | 5986 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/protocol.cmxa
|
-rwxr-xr-x | 236544 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/protocol.cmxs
|
-rw-r--r-- | 1770 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/richpp.cmi
|
-rw-r--r-- | 50530 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/richpp.cmt
|
-rw-r--r-- | 11293 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/richpp.cmti
|
-rw-r--r-- | 1282 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/richpp.cmx
|
-rw-r--r-- | 5347 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/richpp.ml
|
-rw-r--r-- | 2167 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/richpp.mli
|
-rw-r--r-- | 4428 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/serialize.cmi
|
-rw-r--r-- | 70546 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/serialize.cmt
|
-rw-r--r-- | 19989 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/serialize.cmti
|
-rw-r--r-- | 2549 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/serialize.cmx
|
-rw-r--r-- | 4797 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/serialize.ml
|
-rw-r--r-- | 1795 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/serialize.mli
|
-rw-r--r-- | 1819 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.cmi
|
-rw-r--r-- | 91376 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.cmt
|
-rw-r--r-- | 8979 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.cmti
|
-rw-r--r-- | 8050 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.cmx
|
-rw-r--r-- | 34554 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.ml
|
-rw-r--r-- | 1468 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_lexer.mli
|
-rw-r--r-- | 2663 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_parser.cmi
|
-rw-r--r-- | 67127 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_parser.cmt
|
-rw-r--r-- | 16632 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_parser.cmti
|
-rw-r--r-- | 2532 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_parser.cmx
|
-rw-r--r-- | 6399 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_parser.ml
|
-rw-r--r-- | 3555 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_parser.mli
|
-rw-r--r-- | 1235 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_printer.cmi
|
-rw-r--r-- | 43255 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_printer.cmt
|
-rw-r--r-- | 7955 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_printer.cmti
|
-rw-r--r-- | 851 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_printer.cmx
|
-rw-r--r-- | 3738 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_printer.ml
|
-rw-r--r-- | 1328 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xml_printer.mli
|
-rw-r--r-- | 7659 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.cmi
|
-rw-r--r-- | 691192 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.cmt
|
-rw-r--r-- | 32348 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.cmti
|
-rw-r--r-- | 15377 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.cmx
|
-rw-r--r-- | 50737 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.ml
|
-rw-r--r-- | 3756 | root |
root |
/usr/lib/ocaml/coqide-server/protocol/xmlprotocol.mli
|
-rw-r--r-- | 24381 | root |
root |
/usr/share/doc/coq/coqide-server/LICENSE
|
-rw-r--r-- | 5674 | root |
root |
/usr/share/doc/coq/coqide-server/README.md
|