Content of RPM coq-debugsource-8.6.1-1.fc27.i686.rpm :
/usr/src/debug/coq-8.6.1-1.fc27.i386
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/check.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/check_stat.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/checker.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/closure.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/declarations.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/environ.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/esubst.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/indtypes.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/inductive.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/main.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/mod_checking.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/modops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/names.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/print.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/reduction.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/safe_typing.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/subtyping.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/term.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/type_errors.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/typeops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/univ.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/validate.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/checker/values.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/config
/usr/src/debug/coq-8.6.1-1.fc27.i386/config/coq_config.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/evarutil.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/evd.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/ftactic.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/geninterp.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/logic_monad.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/namegen.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/proofview.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/proofview_monad.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/sigma.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/termops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/engine/uState.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/config_lexer.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/config_lexer.mll
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/coq.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/coqOps.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/coq_lex.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/coq_lex.mll
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/coqide.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/coqide_main.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/coqide_ui.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/document.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/fileOps.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/gtk_parsing.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/ide_slave.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/ideutils.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/minilib.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/nanoPG.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/preferences.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/project_file.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/richprinter.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/sentence.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/serialize.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/session.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/tags.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/texmacspp.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/utf8_convert.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/utf8_convert.mll
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/utils
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/utils/config_file.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/utils/configwin.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/utils/configwin_ihm.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/utils/configwin_messages.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/utils/configwin_types.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/utils/okey.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/wg_Command.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/wg_Completion.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/wg_Detachable.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/wg_Find.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/wg_MessageView.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/wg_Notebook.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/wg_ProofView.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/wg_ScriptView.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/wg_Segment.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/xml_lexer.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/xml_lexer.mll
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/xml_parser.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/xml_printer.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ide/xmlprotocol.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/constrarg.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/constrexpr_ops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/constrextern.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/constrintern.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/coqlib.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/dumpglob.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/genintern.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/implicit_quantifiers.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/modintern.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/notation.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/notation_ops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/ppextend.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/reserve.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/smartlocate.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/stdarg.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/syntax_def.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/interp/topconstr.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun/coq_fix_code.c
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun/coq_fix_code.h
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun/coq_gc.h
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun/coq_instruct.h
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun/coq_interp.c
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun/coq_interp.h
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun/coq_memory.c
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun/coq_memory.h
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/byterun/coq_values.c
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/cClosure.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/cbytecodes.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/cbytegen.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/cemitcodes.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/constr.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/context.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/conv_oracle.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/cooking.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/csymtable.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/declareops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/environ.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/esubst.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/evar.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/fast_typeops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/indtypes.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/inductive.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/mod_subst.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/mod_typing.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/modops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/names.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/nativecode.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/nativeconv.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/nativelambda.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/nativelib.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/nativelibrary.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/nativevalues.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/opaqueproof.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/pre_env.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/primitives.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/reduction.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/retroknowledge.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/safe_typing.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/sorts.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/subtyping.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/term.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/term_typing.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/type_errors.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/typeops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/uGraph.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/uint31.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/univ.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/vars.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/vconv.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/kernel/vm.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/aux_file.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/backtrace.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/bigint.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cArray.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cEphemeron.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cErrors.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cList.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cMap.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cObj.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cSet.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cStack.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cString.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cThread.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cUnix.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/cWarnings.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/canary.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/control.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/deque.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/dyn.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/envars.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/exninfo.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/explore.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/feedback.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/flags.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/future.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/genarg.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/hMap.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/hashcons.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/hashset.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/heap.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/hook.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/iStream.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/int.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/loc.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/minisys.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/monad.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/option.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/pp.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/pp_control.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/ppstyle.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/predicate.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/profile.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/remoteCounter.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/richpp.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/rtree.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/segmenttree.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/spawn.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/stateid.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/store.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/system.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/terminal.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/trie.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/unicode.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/unionfind.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/lib/util.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/declare.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/declaremods.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/decls.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/dischargedhypsmap.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/global.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/globnames.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/goptions.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/heads.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/impargs.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/keys.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/kindops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/lib.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/libnames.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/libobject.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/library.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/loadpath.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/nameops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/nametab.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/states.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/summary.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/library/universes.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/coretactics.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/evar_tactics.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/extraargs.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/extratactics.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/g_auto.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/g_class.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/g_eqdecide.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/g_ltac.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/g_obligations.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/g_rewrite.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/profile_ltac.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/profile_ltac_tactics.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/rewrite.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/taccoerce.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/tacentries.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/tacenv.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/tacintern.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/tacinterp.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/tacsubst.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/tactic_debug.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/tactic_option.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/ltac/tauto.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/cLexer.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/compat.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/egramcoq.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/egramml.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/g_constr.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/g_prim.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/g_proofs.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/g_tactic.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/g_vernac.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/pcoq.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/parsing/tok.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/btauto
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/btauto/g_btauto.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/btauto/refl_btauto.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/cc
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/cc/ccalgo.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/cc/ccproof.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/cc/cctac.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/cc/g_congruence.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/decl_mode
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/decl_mode/decl_interp.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/decl_mode/decl_mode.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/decl_mode/decl_proof_instr.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/decl_mode/g_decl_mode.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/decl_mode/ppdecl_proof.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/derive
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/derive/derive.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/derive/g_derive.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/common.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/extract_env.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/extraction.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/g_extraction.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/haskell.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/json.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/mlutil.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/modutil.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/ocaml.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/scheme.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/extraction/table.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/firstorder
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/firstorder/formula.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/firstorder/g_ground.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/firstorder/ground.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/firstorder/instances.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/firstorder/rules.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/firstorder/sequent.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/firstorder/unify.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/fourier
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/fourier/fourier.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/fourier/fourierR.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/fourier/g_fourier.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/functional_principles_proofs.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/functional_principles_types.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/g_indfun.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/glob_term_to_relation.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/glob_termops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/indfun.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/indfun_common.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/invfun.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/merge.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/funind/recdef.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/certificate.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/coq_micromega.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/csdpcert.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/g_micromega.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/mfourier.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/micromega.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/mutils.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/persistent_cache.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/polynomial.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/sos.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/sos_lib.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/micromega/sos_types.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/nsatz
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/nsatz/g_nsatz.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/nsatz/ideal.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/nsatz/nsatz.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/nsatz/polynom.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/nsatz/utile.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/omega
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/omega/coq_omega.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/omega/g_omega.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/omega/omega.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/quote
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/quote/g_quote.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/quote/quote.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/romega
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/romega/const_omega.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/romega/g_romega.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/romega/refl_omega.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/rtauto
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/rtauto/g_rtauto.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/rtauto/proof_search.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/rtauto/refl_tauto.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/setoid_ring
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/setoid_ring/g_newring.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/setoid_ring/newring.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/ssrmatching
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/ssrmatching/ssrmatching.ml4
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/syntax
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/syntax/ascii_syntax.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/syntax/nat_syntax.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/syntax/numbers_syntax.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/syntax/r_syntax.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/syntax/string_syntax.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/plugins/syntax/z_syntax.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/arguments_renaming.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/cases.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/cbv.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/classops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/coercion.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/constr_matching.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/detyping.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/evarconv.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/evardefine.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/evarsolve.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/find_subterm.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/glob_ops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/indrec.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/inductiveops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/locusops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/miscops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/nativenorm.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/patternops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/pretype_errors.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/pretyping.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/program.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/recordops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/redops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/reductionops.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/retyping.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/tacred.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/typeclasses.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/typeclasses_errors.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/typing.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/unification.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/pretyping/vnorm.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/genprint.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/miscprint.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/ppannotation.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/ppconstr.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/pptactic.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/pputils.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/ppvernac.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/prettyp.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/printer.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/printing/printmod.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/clenv.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/clenvtac.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/evar_refiner.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/goal.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/logic.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/pfedit.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/proof.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/proof_global.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/proof_using.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/redexpr.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/refine.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/refiner.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/proofs/tacmach.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/asyncTaskQueue.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/coqworkmgrApi.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/dag.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/lemmas.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/proofBlockDelimiter.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/proofworkertop.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/queryworkertop.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/spawned.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/stm.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/tQueue.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/tacworkertop.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/vcs.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/vernac_classifier.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/vio_checking.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/stm/workerPool.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/auto.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/autorewrite.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/btermdn.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/class_tactics.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/contradiction.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/dn.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/dnet.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/eauto.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/elim.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/elimschemes.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/eqdecide.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/eqschemes.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/equality.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/hints.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/hipattern.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/inv.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/leminv.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/tactic_matching.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/tacticals.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/tactics.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tactics/term_dnet.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coq_makefile.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coq_tex.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqc.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdep.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdep_common.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdep_lexer.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdep_lexer.mll
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdoc
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdoc/alpha.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdoc/cdglobals.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdoc/cpretty.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdoc/cpretty.mll
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdoc/index.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdoc/main.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdoc/output.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqdoc/tokens.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqmktop.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqwc.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqwc.mll
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/coqworkmgr.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/gallina.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/gallina_lexer.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/tools/gallina_lexer.mll
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/assumptions.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/auto_ind_decl.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/class.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/classes.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/command.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/coqinit.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/coqloop.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/coqtop.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/discharge.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/explainErr.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/himsg.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/ind_tables.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/indschemes.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/locality.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/metasyntax.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/mltop.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/obligations.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/record.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/search.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/usage.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/vernac.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/vernacentries.ml
/usr/src/debug/coq-8.6.1-1.fc27.i386/toplevel/vernacinterp.ml