/usr/lib/coq/ is in libcoq-ocaml-dev 8.4pl3dfsg-1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/coq/config/
|
root:root | 0o755 | ||
/usr/lib/coq/config/coq_config.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/config/coq_config.cmo
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/config/coq_config.cmx
|
application/octet-stream | root:root | 0o644 | 233 bytes |
/usr/lib/coq/config/coq_config.o
|
application/x-object | root:root | 0o644 | 14.5 KB |
/usr/lib/coq/ide/
|
root:root | 0o755 | ||
/usr/lib/coq/ide/command_windows.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/ide/config_lexer.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/ide/coq.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/ide/coq_commands.cmi
|
application/octet-stream | root:root | 0o644 | 367 bytes |
/usr/lib/coq/ide/coq_lex.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/ide/coqide.cmi
|
application/octet-stream | root:root | 0o644 | 852 bytes |
/usr/lib/coq/ide/coqide_ui.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/lib/coq/ide/gtk_parsing.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/ide/ide.a
|
application/x-archive | root:root | 0o644 | 2.2 MB |
/usr/lib/coq/ide/ide.cma
|
application/octet-stream | root:root | 0o644 | 580.3 KB |
/usr/lib/coq/ide/ide.cmxa
|
application/octet-stream | root:root | 0o644 | 30.6 KB |
/usr/lib/coq/ide/ideproof.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/ide/ideutils.cmi
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/lib/coq/ide/minilib.cmi
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/coq/ide/preferences.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/ide/project_file.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/ide/tags.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/ide/typed_notebook.cmi
|
application/octet-stream | root:root | 0o644 | 15.0 KB |
/usr/lib/coq/ide/undo.cmi
|
application/octet-stream | root:root | 0o644 | 17.8 KB |
/usr/lib/coq/ide/utf8_convert.cmi
|
application/octet-stream | root:root | 0o644 | 648 bytes |
/usr/lib/coq/ide/utils/
|
root:root | 0o755 | ||
/usr/lib/coq/ide/utils/config_file.cmi
|
application/octet-stream | root:root | 0o644 | 55.3 KB |
/usr/lib/coq/ide/utils/configwin.cmi
|
application/octet-stream | root:root | 0o644 | 12.8 KB |
/usr/lib/coq/ide/utils/configwin_ihm.cmi
|
application/octet-stream | root:root | 0o644 | 76.1 KB |
/usr/lib/coq/ide/utils/configwin_keys.cmi
|
application/octet-stream | root:root | 0o644 | 54.0 KB |
/usr/lib/coq/ide/utils/configwin_messages.cmi
|
application/octet-stream | root:root | 0o644 | 834 bytes |
/usr/lib/coq/ide/utils/configwin_types.cmi
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/lib/coq/ide/utils/editable_cells.cmi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/coq/ide/utils/okey.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/interp/
|
root:root | 0o755 | ||
/usr/lib/coq/interp/constrextern.cmi
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/lib/coq/interp/constrintern.cmi
|
application/octet-stream | root:root | 0o644 | 10.9 KB |
/usr/lib/coq/interp/coqlib.cmi
|
application/octet-stream | root:root | 0o644 | 6.9 KB |
/usr/lib/coq/interp/dumpglob.cmi
|
application/octet-stream | root:root | 0o644 | 4.4 KB |
/usr/lib/coq/interp/genarg.cmi
|
application/octet-stream | root:root | 0o644 | 12.9 KB |
/usr/lib/coq/interp/implicit_quantifiers.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/interp/interp.a
|
application/x-archive | root:root | 0o644 | 1.3 MB |
/usr/lib/coq/interp/interp.cma
|
application/octet-stream | root:root | 0o644 | 337.1 KB |
/usr/lib/coq/interp/interp.cmxa
|
application/octet-stream | root:root | 0o644 | 36.2 KB |
/usr/lib/coq/interp/modintern.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/interp/notation.cmi
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/lib/coq/interp/ppextend.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/interp/reserve.cmi
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/coq/interp/smartlocate.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/interp/syntax_def.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/interp/topconstr.cmi
|
application/octet-stream | root:root | 0o644 | 15.4 KB |
/usr/lib/coq/kernel/
|
root:root | 0o755 | ||
/usr/lib/coq/kernel/cbytecodes.cmi
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/lib/coq/kernel/cbytegen.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/kernel/cemitcodes.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/kernel/closure.cmi
|
application/octet-stream | root:root | 0o644 | 8.9 KB |
/usr/lib/coq/kernel/conv_oracle.cmi
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/lib/coq/kernel/cooking.cmi
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/coq/kernel/copcodes.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/kernel/csymtable.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/lib/coq/kernel/declarations.cmi
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/lib/coq/kernel/entries.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/kernel/environ.cmi
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/lib/coq/kernel/esubst.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/kernel/indtypes.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/kernel/inductive.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/kernel/kernel.a
|
application/x-archive | root:root | 0o644 | 1.5 MB |
/usr/lib/coq/kernel/kernel.cma
|
application/octet-stream | root:root | 0o644 | 387.9 KB |
/usr/lib/coq/kernel/kernel.cmxa
|
application/octet-stream | root:root | 0o644 | 37.4 KB |
/usr/lib/coq/kernel/mod_subst.cmi
|
application/octet-stream | root:root | 0o644 | 5.5 KB |
/usr/lib/coq/kernel/mod_typing.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/kernel/modops.cmi
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/lib/coq/kernel/names.cmi
|
application/octet-stream | root:root | 0o644 | 67.5 KB |
/usr/lib/coq/kernel/pre_env.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/kernel/reduction.cmi
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/lib/coq/kernel/retroknowledge.cmi
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/lib/coq/kernel/safe_typing.cmi
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/lib/coq/kernel/sign.cmi
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/kernel/subtyping.cmi
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/lib/coq/kernel/term.cmi
|
application/octet-stream | root:root | 0o644 | 20.3 KB |
/usr/lib/coq/kernel/term_typing.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/kernel/type_errors.cmi
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/lib/coq/kernel/typeops.cmi
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/lib/coq/kernel/univ.cmi
|
application/octet-stream | root:root | 0o644 | 6.4 KB |
/usr/lib/coq/kernel/vconv.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/kernel/vm.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/lib/
|
root:root | 0o755 | ||
/usr/lib/coq/lib/bigint.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/lib/compat.cmi
|
application/octet-stream | root:root | 0o644 | 8.2 KB |
/usr/lib/coq/lib/dnet.cmi
|
application/octet-stream | root:root | 0o644 | 8.3 KB |
/usr/lib/coq/lib/dyn.cmi
|
application/octet-stream | root:root | 0o644 | 359 bytes |
/usr/lib/coq/lib/envars.cmi
|
application/octet-stream | root:root | 0o644 | 736 bytes |
/usr/lib/coq/lib/errors.cmi
|
application/octet-stream | root:root | 0o644 | 750 bytes |
/usr/lib/coq/lib/explore.cmi
|
application/octet-stream | root:root | 0o644 | 929 bytes |
/usr/lib/coq/lib/flags.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/coq/lib/fmap.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/lib/fset.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/lib/gmap.cmi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/coq/lib/gmapl.cmi
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/lib/coq/lib/hashcons.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/lib/hashtbl_alt.cmi
|
application/octet-stream | root:root | 0o644 | 1.0 KB |
/usr/lib/coq/lib/heap.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/lib/coq/lib/lib.a
|
application/x-archive | root:root | 0o644 | 1.1 MB |
/usr/lib/coq/lib/lib.cma
|
application/octet-stream | root:root | 0o644 | 260.6 KB |
/usr/lib/coq/lib/lib.cmxa
|
application/octet-stream | root:root | 0o644 | 13.7 KB |
/usr/lib/coq/lib/option.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/lib/pp.cmi
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/coq/lib/pp_control.cmi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/coq/lib/predicate.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/lib/profile.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/lib/rtree.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/lib/segmenttree.cmi
|
application/octet-stream | root:root | 0o644 | 426 bytes |
/usr/lib/coq/lib/store.cmi
|
application/octet-stream | root:root | 0o644 | 600 bytes |
/usr/lib/coq/lib/system.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/lib/tries.cmi
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/lib/coq/lib/unicodetable.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/lib/unionfind.cmi
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/coq/lib/util.cmi
|
application/octet-stream | root:root | 0o644 | 41.3 KB |
/usr/lib/coq/lib/xml_lexer.cmi
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/lib/coq/lib/xml_parser.cmi
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/coq/lib/xml_utils.cmi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/coq/libcoqrun.a
|
application/x-archive | root:root | 0o644 | 59.3 KB |
/usr/lib/coq/library/
|
root:root | 0o755 | ||
/usr/lib/coq/library/assumptions.cmi
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/lib/coq/library/decl_kinds.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/library/declare.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/library/declaremods.cmi
|
application/octet-stream | root:root | 0o644 | 5.6 KB |
/usr/lib/coq/library/decls.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/library/dischargedhypsmap.cmi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/coq/library/global.cmi
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/lib/coq/library/goptions.cmi
|
application/octet-stream | root:root | 0o644 | 7.8 KB |
/usr/lib/coq/library/goptionstyp.cmi
|
application/octet-stream | root:root | 0o644 | 583 bytes |
/usr/lib/coq/library/heads.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/lib/coq/library/impargs.cmi
|
application/octet-stream | root:root | 0o644 | 6.2 KB |
/usr/lib/coq/library/lib.cmi
|
application/octet-stream | root:root | 0o644 | 9.6 KB |
/usr/lib/coq/library/libnames.cmi
|
application/octet-stream | root:root | 0o644 | 21.4 KB |
/usr/lib/coq/library/libobject.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/library/library.a
|
application/x-archive | root:root | 0o644 | 628.4 KB |
/usr/lib/coq/library/library.cma
|
application/octet-stream | root:root | 0o644 | 145.8 KB |
/usr/lib/coq/library/library.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/coq/library/library.cmxa
|
application/octet-stream | root:root | 0o644 | 22.1 KB |
/usr/lib/coq/library/nameops.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/library/nametab.cmi
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/lib/coq/library/states.cmi
|
application/octet-stream | root:root | 0o644 | 695 bytes |
/usr/lib/coq/library/summary.cmi
|
application/octet-stream | root:root | 0o644 | 741 bytes |
/usr/lib/coq/parsing/
|
root:root | 0o755 | ||
/usr/lib/coq/parsing/egrammar.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/parsing/extend.cmi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/coq/parsing/extrawit.cmi
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/coq/parsing/g_constr.cmi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/parsing/g_ltac.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/parsing/g_prim.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/parsing/g_proofs.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/parsing/g_tactic.cmi
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/lib/coq/parsing/g_vernac.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/parsing/g_xml.cmi
|
application/octet-stream | root:root | 0o644 | 8.3 KB |
/usr/lib/coq/parsing/grammar.cma
|
application/octet-stream | root:root | 0o644 | 1.1 MB |
/usr/lib/coq/parsing/highparsing.a
|
application/x-archive | root:root | 0o644 | 1.0 MB |
/usr/lib/coq/parsing/highparsing.cma
|
application/octet-stream | root:root | 0o644 | 223.9 KB |
/usr/lib/coq/parsing/highparsing.cmxa
|
application/octet-stream | root:root | 0o644 | 14.8 KB |
/usr/lib/coq/parsing/lexer.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/parsing/parsing.a
|
application/x-archive | root:root | 0o644 | 1001.7 KB |
/usr/lib/coq/parsing/parsing.cma
|
application/octet-stream | root:root | 0o644 | 255.4 KB |
/usr/lib/coq/parsing/parsing.cmxa
|
application/octet-stream | root:root | 0o644 | 27.3 KB |
/usr/lib/coq/parsing/pcoq.cmi
|
application/octet-stream | root:root | 0o644 | 11.5 KB |
/usr/lib/coq/parsing/ppconstr.cmi
|
application/octet-stream | root:root | 0o644 | 6.4 KB |
/usr/lib/coq/parsing/pptactic.cmi
|
application/octet-stream | root:root | 0o644 | 7.4 KB |
/usr/lib/coq/parsing/ppvernac.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/parsing/prettyp.cmi
|
application/octet-stream | root:root | 0o644 | 6.1 KB |
/usr/lib/coq/parsing/printer.cmi
|
application/octet-stream | root:root | 0o644 | 10.1 KB |
/usr/lib/coq/parsing/printmod.cmi
|
application/octet-stream | root:root | 0o644 | 680 bytes |
/usr/lib/coq/parsing/q_util.cmi
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/lib/coq/parsing/tactic_printer.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/parsing/tok.cmi
|
application/octet-stream | root:root | 0o644 | 1.1 KB |
/usr/lib/coq/plugins/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/cc/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/cc/cc_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/cc/ccalgo.cmi
|
application/octet-stream | root:root | 0o644 | 16.1 KB |
/usr/lib/coq/plugins/cc/ccproof.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/plugins/cc/cctac.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/plugins/cc/g_congruence.cmi
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/plugins/decl_mode/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/decl_mode/decl_expr.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/plugins/decl_mode/decl_interp.cmi
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/plugins/decl_mode/decl_mode.cmi
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/lib/coq/plugins/decl_mode/decl_mode_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/decl_mode/decl_proof_instr.cmi
|
application/octet-stream | root:root | 0o644 | 8.6 KB |
/usr/lib/coq/plugins/decl_mode/g_decl_mode.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/plugins/decl_mode/ppdecl_proof.cmi
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/coq/plugins/extraction/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/extraction/common.cmi
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/coq/plugins/extraction/extract_env.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/plugins/extraction/extraction.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/plugins/extraction/extraction_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/extraction/g_extraction.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/plugins/extraction/haskell.cmi
|
application/octet-stream | root:root | 0o644 | 941 bytes |
/usr/lib/coq/plugins/extraction/miniml.cmi
|
application/octet-stream | root:root | 0o644 | 6.4 KB |
/usr/lib/coq/plugins/extraction/mlutil.cmi
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/lib/coq/plugins/extraction/modutil.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/plugins/extraction/ocaml.cmi
|
application/octet-stream | root:root | 0o644 | 935 bytes |
/usr/lib/coq/plugins/extraction/scheme.cmi
|
application/octet-stream | root:root | 0o644 | 938 bytes |
/usr/lib/coq/plugins/extraction/table.cmi
|
application/octet-stream | root:root | 0o644 | 15.6 KB |
/usr/lib/coq/plugins/field/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/field/field.cmi
|
application/octet-stream | root:root | 0o644 | 10.0 KB |
/usr/lib/coq/plugins/field/field_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/firstorder/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/firstorder/formula.cmi
|
application/octet-stream | root:root | 0o644 | 5.0 KB |
/usr/lib/coq/plugins/firstorder/g_ground.cmi
|
application/octet-stream | root:root | 0o644 | 5.6 KB |
/usr/lib/coq/plugins/firstorder/ground.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/firstorder/ground_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/firstorder/instances.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/plugins/firstorder/rules.cmi
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/lib/coq/plugins/firstorder/sequent.cmi
|
application/octet-stream | root:root | 0o644 | 10.9 KB |
/usr/lib/coq/plugins/firstorder/unify.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/plugins/fourier/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/fourier/fourier.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/plugins/fourier/fourierR.cmi
|
application/octet-stream | root:root | 0o644 | 11.3 KB |
/usr/lib/coq/plugins/fourier/fourier_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/fourier/g_fourier.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/funind/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/funind/functional_principles_proofs.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/funind/functional_principles_types.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/lib/coq/plugins/funind/g_indfun.cmi
|
application/octet-stream | root:root | 0o644 | 18.6 KB |
/usr/lib/coq/plugins/funind/glob_term_to_relation.cmi
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/coq/plugins/funind/glob_termops.cmi
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/lib/coq/plugins/funind/indfun.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/plugins/funind/indfun_common.cmi
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/coq/plugins/funind/invfun.cmi
|
application/octet-stream | root:root | 0o644 | 8.7 KB |
/usr/lib/coq/plugins/funind/merge.cmi
|
application/octet-stream | root:root | 0o644 | 21.3 KB |
/usr/lib/coq/plugins/funind/recdef.cmi
|
application/octet-stream | root:root | 0o644 | 20.7 KB |
/usr/lib/coq/plugins/funind/recdef_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/micromega/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/micromega/certificate.cmi
|
application/octet-stream | root:root | 0o644 | 68.9 KB |
/usr/lib/coq/plugins/micromega/coq_micromega.cmi
|
application/octet-stream | root:root | 0o644 | 94.0 KB |
/usr/lib/coq/plugins/micromega/g_micromega.cmi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/plugins/micromega/mfourier.cmi
|
application/octet-stream | root:root | 0o644 | 30.5 KB |
/usr/lib/coq/plugins/micromega/micromega.cmi
|
application/octet-stream | root:root | 0o644 | 53.7 KB |
/usr/lib/coq/plugins/micromega/micromega_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/micromega/mutils.cmi
|
application/octet-stream | root:root | 0o644 | 8.6 KB |
/usr/lib/coq/plugins/micromega/persistent_cache.cmi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/coq/plugins/micromega/polynomial.cmi
|
application/octet-stream | root:root | 0o644 | 24.4 KB |
/usr/lib/coq/plugins/micromega/sos.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/plugins/micromega/sos_types.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/plugins/nsatz/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/nsatz/ideal.cmi
|
application/octet-stream | root:root | 0o644 | 20.7 KB |
/usr/lib/coq/plugins/nsatz/nsatz.cmi
|
application/octet-stream | root:root | 0o644 | 33.3 KB |
/usr/lib/coq/plugins/nsatz/nsatz_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/nsatz/polynom.cmi
|
application/octet-stream | root:root | 0o644 | 14.6 KB |
/usr/lib/coq/plugins/nsatz/utile.cmi
|
application/octet-stream | root:root | 0o644 | 1.4 KB |
/usr/lib/coq/plugins/omega/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/omega/coq_omega.cmi
|
application/octet-stream | root:root | 0o644 | 38.4 KB |
/usr/lib/coq/plugins/omega/g_omega.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/omega/omega.cmi
|
application/octet-stream | root:root | 0o644 | 11.6 KB |
/usr/lib/coq/plugins/omega/omega_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/quote/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/quote/g_quote.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/plugins/quote/quote.cmi
|
application/octet-stream | root:root | 0o644 | 9.3 KB |
/usr/lib/coq/plugins/quote/quote_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/ring/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/ring/g_ring.cmi
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/lib/coq/plugins/ring/ring.cmi
|
application/octet-stream | root:root | 0o644 | 22.4 KB |
/usr/lib/coq/plugins/ring/ring_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/romega/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/romega/const_omega.cmi
|
application/octet-stream | root:root | 0o644 | 11.2 KB |
/usr/lib/coq/plugins/romega/g_romega.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/plugins/romega/refl_omega.cmi
|
application/octet-stream | root:root | 0o644 | 25.8 KB |
/usr/lib/coq/plugins/romega/romega_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/rtauto/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/rtauto/g_rtauto.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/plugins/rtauto/proof_search.cmi
|
application/octet-stream | root:root | 0o644 | 1.7 KB |
/usr/lib/coq/plugins/rtauto/refl_tauto.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/plugins/rtauto/rtauto_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/setoid_ring/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/setoid_ring/newring.cmi
|
application/octet-stream | root:root | 0o644 | 27.6 KB |
/usr/lib/coq/plugins/setoid_ring/newring_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/subtac/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/subtac/eterm.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/coq/plugins/subtac/g_subtac.cmi
|
application/octet-stream | root:root | 0o644 | 10.5 KB |
/usr/lib/coq/plugins/subtac/subtac.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/plugins/subtac/subtac_cases.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/plugins/subtac/subtac_classes.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/lib/coq/plugins/subtac/subtac_coercion.cmi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/coq/plugins/subtac/subtac_command.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/plugins/subtac/subtac_errors.cmi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |
/usr/lib/coq/plugins/subtac/subtac_obligations.cmi
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/coq/plugins/subtac/subtac_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/subtac/subtac_pretyping.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/plugins/subtac/subtac_pretyping_F.cmi
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/lib/coq/plugins/subtac/subtac_utils.cmi
|
application/octet-stream | root:root | 0o644 | 10.6 KB |
/usr/lib/coq/plugins/syntax/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/syntax/ascii_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/plugins/syntax/ascii_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/syntax/nat_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/plugins/syntax/nat_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/syntax/numbers_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 6.0 KB |
/usr/lib/coq/plugins/syntax/numbers_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/syntax/r_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 3.3 KB |
/usr/lib/coq/plugins/syntax/r_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/syntax/string_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/plugins/syntax/string_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/syntax/z_syntax.cmi
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/lib/coq/plugins/syntax/z_syntax_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/xml/
|
root:root | 0o755 | ||
/usr/lib/coq/plugins/xml/acic.cmi
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/lib/coq/plugins/xml/acic2Xml.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/coq/plugins/xml/cic2Xml.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/plugins/xml/cic2acic.cmi
|
application/octet-stream | root:root | 0o644 | 27.8 KB |
/usr/lib/coq/plugins/xml/doubleTypeInference.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/plugins/xml/dumptree.cmi
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/lib/coq/plugins/xml/proof2aproof.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/plugins/xml/proofTree2Xml.cmi
|
application/octet-stream | root:root | 0o644 | 3.6 KB |
/usr/lib/coq/plugins/xml/unshare.cmi
|
application/octet-stream | root:root | 0o644 | 313 bytes |
/usr/lib/coq/plugins/xml/xml.cmi
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/lib/coq/plugins/xml/xml_plugin_mod.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/plugins/xml/xmlcommand.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/plugins/xml/xmlentries.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/pretyping/
|
root:root | 0o755 | ||
/usr/lib/coq/pretyping/arguments_renaming.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/pretyping/cases.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/pretyping/cbv.cmi
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/lib/coq/pretyping/classops.cmi
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/lib/coq/pretyping/coercion.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/pretyping/detyping.cmi
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/lib/coq/pretyping/evarconv.cmi
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/lib/coq/pretyping/evarutil.cmi
|
application/octet-stream | root:root | 0o644 | 13.3 KB |
/usr/lib/coq/pretyping/evd.cmi
|
application/octet-stream | root:root | 0o644 | 24.4 KB |
/usr/lib/coq/pretyping/glob_term.cmi
|
application/octet-stream | root:root | 0o644 | 8.1 KB |
/usr/lib/coq/pretyping/indrec.cmi
|
application/octet-stream | root:root | 0o644 | 3.1 KB |
/usr/lib/coq/pretyping/inductiveops.cmi
|
application/octet-stream | root:root | 0o644 | 8.5 KB |
/usr/lib/coq/pretyping/matching.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/pretyping/namegen.cmi
|
application/octet-stream | root:root | 0o644 | 6.0 KB |
/usr/lib/coq/pretyping/pattern.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/pretyping/pretype_errors.cmi
|
application/octet-stream | root:root | 0o644 | 8.9 KB |
/usr/lib/coq/pretyping/pretyping.a
|
application/x-archive | root:root | 0o644 | 2.3 MB |
/usr/lib/coq/pretyping/pretyping.cma
|
application/octet-stream | root:root | 0o644 | 593.3 KB |
/usr/lib/coq/pretyping/pretyping.cmi
|
application/octet-stream | root:root | 0o644 | 5.9 KB |
/usr/lib/coq/pretyping/pretyping.cmxa
|
application/octet-stream | root:root | 0o644 | 58.4 KB |
/usr/lib/coq/pretyping/recordops.cmi
|
application/octet-stream | root:root | 0o644 | 3.9 KB |
/usr/lib/coq/pretyping/reductionops.cmi
|
application/octet-stream | root:root | 0o644 | 13.9 KB |
/usr/lib/coq/pretyping/retyping.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/pretyping/tacred.cmi
|
application/octet-stream | root:root | 0o644 | 4.8 KB |
/usr/lib/coq/pretyping/term_dnet.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/pretyping/termops.cmi
|
application/octet-stream | root:root | 0o644 | 18.1 KB |
/usr/lib/coq/pretyping/typeclasses.cmi
|
application/octet-stream | root:root | 0o644 | 6.6 KB |
/usr/lib/coq/pretyping/typeclasses_errors.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/pretyping/typing.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/pretyping/unification.cmi
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/lib/coq/pretyping/vnorm.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/lib/coq/proofs/
|
root:root | 0o755 | ||
/usr/lib/coq/proofs/clenv.cmi
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/lib/coq/proofs/clenvtac.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/proofs/evar_refiner.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/proofs/goal.cmi
|
application/octet-stream | root:root | 0o644 | 8.1 KB |
/usr/lib/coq/proofs/logic.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/proofs/pfedit.cmi
|
application/octet-stream | root:root | 0o644 | 5.7 KB |
/usr/lib/coq/proofs/proof.cmi
|
application/octet-stream | root:root | 0o644 | 5.4 KB |
/usr/lib/coq/proofs/proof_global.cmi
|
application/octet-stream | root:root | 0o644 | 5.2 KB |
/usr/lib/coq/proofs/proof_type.cmi
|
application/octet-stream | root:root | 0o644 | 4.9 KB |
/usr/lib/coq/proofs/proofs.a
|
application/x-archive | root:root | 0o644 | 622.1 KB |
/usr/lib/coq/proofs/proofs.cma
|
application/octet-stream | root:root | 0o644 | 155.3 KB |
/usr/lib/coq/proofs/proofs.cmxa
|
application/octet-stream | root:root | 0o644 | 35.1 KB |
/usr/lib/coq/proofs/proofview.cmi
|
application/octet-stream | root:root | 0o644 | 6.8 KB |
/usr/lib/coq/proofs/redexpr.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/proofs/refiner.cmi
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/lib/coq/proofs/tacexpr.cmi
|
application/octet-stream | root:root | 0o644 | 15.8 KB |
/usr/lib/coq/proofs/tacmach.cmi
|
application/octet-stream | root:root | 0o644 | 11.6 KB |
/usr/lib/coq/proofs/tactic_debug.cmi
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/lib/coq/tactics/
|
root:root | 0o755 | ||
/usr/lib/coq/tactics/auto.cmi
|
application/octet-stream | root:root | 0o644 | 13.2 KB |
/usr/lib/coq/tactics/autorewrite.cmi
|
application/octet-stream | root:root | 0o644 | 4.6 KB |
/usr/lib/coq/tactics/btermdn.cmi
|
application/octet-stream | root:root | 0o644 | 2.3 KB |
/usr/lib/coq/tactics/class_tactics.cmi
|
application/octet-stream | root:root | 0o644 | 21.4 KB |
/usr/lib/coq/tactics/contradiction.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/tactics/dn.cmi
|
application/octet-stream | root:root | 0o644 | 1.5 KB |
/usr/lib/coq/tactics/eauto.cmi
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/coq/tactics/elim.cmi
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/coq/tactics/elimschemes.cmi
|
application/octet-stream | root:root | 0o644 | 2.4 KB |
/usr/lib/coq/tactics/eqdecide.cmi
|
application/octet-stream | root:root | 0o644 | 5.1 KB |
/usr/lib/coq/tactics/eqschemes.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/tactics/equality.cmi
|
application/octet-stream | root:root | 0o644 | 10.7 KB |
/usr/lib/coq/tactics/evar_tactics.cmi
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/tactics/extraargs.cmi
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/lib/coq/tactics/extratactics.cmi
|
application/octet-stream | root:root | 0o644 | 2.1 KB |
/usr/lib/coq/tactics/hiddentac.cmi
|
application/octet-stream | root:root | 0o644 | 9.7 KB |
/usr/lib/coq/tactics/hightactics.a
|
application/x-archive | root:root | 0o644 | 2.1 MB |
/usr/lib/coq/tactics/hightactics.cma
|
application/octet-stream | root:root | 0o644 | 540.4 KB |
/usr/lib/coq/tactics/hightactics.cmxa
|
application/octet-stream | root:root | 0o644 | 32.7 KB |
/usr/lib/coq/tactics/hipattern.cmi
|
application/octet-stream | root:root | 0o644 | 6.5 KB |
/usr/lib/coq/tactics/inv.cmi
|
application/octet-stream | root:root | 0o644 | 3.5 KB |
/usr/lib/coq/tactics/leminv.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/coq/tactics/nbtermdn.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/tactics/refine.cmi
|
application/octet-stream | root:root | 0o644 | 1.9 KB |
/usr/lib/coq/tactics/rewrite.cmi
|
application/octet-stream | root:root | 0o644 | 39.7 KB |
/usr/lib/coq/tactics/tacinterp.cmi
|
application/octet-stream | root:root | 0o644 | 11.0 KB |
/usr/lib/coq/tactics/tactic_option.cmi
|
application/octet-stream | root:root | 0o644 | 2.5 KB |
/usr/lib/coq/tactics/tacticals.cmi
|
application/octet-stream | root:root | 0o644 | 14.1 KB |
/usr/lib/coq/tactics/tactics.a
|
application/x-archive | root:root | 0o644 | 2.1 MB |
/usr/lib/coq/tactics/tactics.cma
|
application/octet-stream | root:root | 0o644 | 505.7 KB |
/usr/lib/coq/tactics/tactics.cmi
|
application/octet-stream | root:root | 0o644 | 23.4 KB |
/usr/lib/coq/tactics/tactics.cmxa
|
application/octet-stream | root:root | 0o644 | 60.0 KB |
/usr/lib/coq/tactics/tauto.cmi
|
application/octet-stream | root:root | 0o644 | 7.5 KB |
/usr/lib/coq/tactics/termdn.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/toplevel/
|
root:root | 0o755 | ||
/usr/lib/coq/toplevel/auto_ind_decl.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/toplevel/autoinstance.cmi
|
application/octet-stream | root:root | 0o644 | 2.0 KB |
/usr/lib/coq/toplevel/backtrack.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/toplevel/cerrors.cmi
|
application/octet-stream | root:root | 0o644 | 918 bytes |
/usr/lib/coq/toplevel/class.cmi
|
application/octet-stream | root:root | 0o644 | 2.9 KB |
/usr/lib/coq/toplevel/classes.cmi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/toplevel/command.cmi
|
application/octet-stream | root:root | 0o644 | 8.8 KB |
/usr/lib/coq/toplevel/coqinit.cmi
|
application/octet-stream | root:root | 0o644 | 1.2 KB |
/usr/lib/coq/toplevel/coqtop.cmi
|
application/octet-stream | root:root | 0o644 | 314 bytes |
/usr/lib/coq/toplevel/discharge.cmi
|
application/octet-stream | root:root | 0o644 | 1.3 KB |
/usr/lib/coq/toplevel/himsg.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/toplevel/ide_intf.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/toplevel/ide_slave.cmi
|
application/octet-stream | root:root | 0o644 | 286 bytes |
/usr/lib/coq/toplevel/ind_tables.cmi
|
application/octet-stream | root:root | 0o644 | 2.8 KB |
/usr/lib/coq/toplevel/indschemes.cmi
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/coq/toplevel/interface.cmi
|
application/octet-stream | root:root | 0o644 | 5.5 KB |
/usr/lib/coq/toplevel/lemmas.cmi
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/lib/coq/toplevel/libtypes.cmi
|
application/octet-stream | root:root | 0o644 | 1.8 KB |
/usr/lib/coq/toplevel/metasyntax.cmi
|
application/octet-stream | root:root | 0o644 | 4.2 KB |
/usr/lib/coq/toplevel/mltop.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/toplevel/record.cmi
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/coq/toplevel/search.cmi
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/coq/toplevel/toplevel.a
|
application/x-archive | root:root | 0o644 | 2.1 MB |
/usr/lib/coq/toplevel/toplevel.cma
|
application/octet-stream | root:root | 0o644 | 585.3 KB |
/usr/lib/coq/toplevel/toplevel.cmi
|
application/octet-stream | root:root | 0o644 | 2.6 KB |
/usr/lib/coq/toplevel/toplevel.cmxa
|
application/octet-stream | root:root | 0o644 | 85.1 KB |
/usr/lib/coq/toplevel/usage.cmi
|
application/octet-stream | root:root | 0o644 | 496 bytes |
/usr/lib/coq/toplevel/vernac.cmi
|
application/octet-stream | root:root | 0o644 | 3.0 KB |
/usr/lib/coq/toplevel/vernacentries.cmi
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/coq/toplevel/vernacexpr.cmi
|
application/octet-stream | root:root | 0o644 | 21.1 KB |
/usr/lib/coq/toplevel/vernacinterp.cmi
|
application/octet-stream | root:root | 0o644 | 2.2 KB |
/usr/lib/coq/toplevel/whelp.cmi
|
application/octet-stream | root:root | 0o644 | 1.6 KB |