Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

coq-debugsource-8.16.1-1.mga9 RPM for aarch64

From Mageia Cauldron for aarch64 / media / debug / core / release

Name: coq-debugsource Distribution: Mageia
Version: 8.16.1 Vendor: Mageia.Org
Release: 1.mga9 Build date: Sat Jan 7 18:14:25 2023
Group: Development/Debug Build host: localhost
Size: 10604972 Source RPM: coq-8.16.1-1.mga9.src.rpm
Packager: papoteur <papoteur>
Url: https://coq.inria.fr
Summary: Debug sources for package coq
 
This package provides debug sources for package coq.
Debug sources are useful when developing applications that use this
package or when debugging this package.

Provides

Requires

License

LGPL-2.1-only AND MIT AND BSD-3-Clause

Changelog

* Sat Jan 07 2023 papoteur <papoteur> 8.16.1-1.mga9
  + Revision: 1931087
  - Add ide-server
  - fix file list
  - new 8.16.1
  - new 8.16.0
  + neoclust <neoclust>
  - Rebuild against new ocaml
  + tv <tv>
  - Updates BRs
  - Fix install
  + pterjan <pterjan>
  - Rebuild for new ocaml-lablgtk3
* Fri May 20 2022 pterjan <pterjan> 8.13.2-3.mga9
  + Revision: 1859409
  - Rebuild for OCaml 4.14
* Fri Oct 15 2021 tv <tv> 8.13.2-2.mga9
  + Revision: 1751562
  - Rebuild for ocaml 4.13.1
* Sun Sep 05 2021 wally <wally> 8.13.2-1.mga9
  + Revision: 1744351
  - new version 8.13.2
  - drop ancient tutorial docs
* Fri Mar 26 2021 tv <tv> 8.13.1-3.mga9
  + Revision: 1710447
  - Disable doc (broken)
  - rebuild for ocaml-4.2-12
  + neoclust <neoclust>
  - Rebuild against new ocaml stack
* Mon Jan 11 2021 pterjan <pterjan> 8.11.0-4.mga8
  + Revision: 1671200
  - Exclude more private modules
  - Also exclude ocamlx requires when we exclude ocaml ones
* Sun Jan 10 2021 pterjan <pterjan> 8.11.0-2.mga8
  + Revision: 1670853
  - Rebuild to generate ocamlx provides
  + tv <tv>
  - remove one BR workaround which is now fixed

Files

/usr/src/debug/coq-8.16.1-1.mga9.aarch64
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/boot
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/boot/env.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/boot/path.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/boot/usage.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/boot/util.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/analyze.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/check.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/checkFlags.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/checkInductive.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/check_stat.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/checker.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/coqchk.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/mod_checking.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/safe_checking.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/validate.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/values.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/checker/votour.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/cArray.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/cEphemeron.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/cList.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/cMap.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/cObj.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/cSet.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/cString.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/cThread.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/cUnix.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/diff2.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/dyn.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/exninfo.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/hMap.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/hashcons.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/hashset.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/heap.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/iStream.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/int.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/monad.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/neList.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/option.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/orderedType.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/predicate.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/range.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/segmenttree.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/store.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/terminal.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/trie.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/unicode.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/clib/unionfind.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/config
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/config/coq_config.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/coqpp
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/coqpp/coqpp_lex.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/coqpp/coqpp_lex.mll
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/coqpp/coqpp_main.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/coqpp/coqpp_parse.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/coqpp/coqpp_parse.mly
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/coqpp/coqpp_parser.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/dev
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/dev/top_printers.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto0
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto0/src
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto0/src/g_tuto0.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto0/src/g_tuto0.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto1
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto1/src
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto1/src/g_tuto1.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto1/src/g_tuto1.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto1/src/inspector.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto1/src/simple_check.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto1/src/simple_declare.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto1/src/simple_print.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto2
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto2/src
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto2/src/counter.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto2/src/g_tuto2.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto2/src/g_tuto2.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto2/src/persistent_counter.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto3
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto3/src
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto3/src/construction_game.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto3/src/g_tuto3.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto3/src/g_tuto3.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/doc/plugin_tutorial/tuto3/src/tuto_tactic.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/eConstr.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/evarutil.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/evd.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/ftactic.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/logic_monad.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/namegen.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/nameops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/proofview.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/proofview_monad.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/termops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/uState.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/univGen.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/univMinim.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/univNames.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/univProblem.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/engine/univSubst.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/gramlib
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/gramlib/gramext.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/gramlib/grammar.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/config_lexer.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/config_lexer.mll
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/configwin.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/configwin_ihm.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/configwin_messages.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/coq.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/coqOps.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/coq_lex.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/coq_lex.mll
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/coqide.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/coqide_X11.ml.in
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/coqide_main.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/coqide_ui.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/document.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/fileOps.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/gtk_parsing.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/idetop.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/ideutils.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/microPG.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/minilib.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/preferences.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/protocol
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/protocol/richpp.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/protocol/serialize.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/protocol/xml_lexer.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/protocol/xml_lexer.mll
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/protocol/xml_parser.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/protocol/xml_printer.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/protocol/xmlprotocol.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/sentence.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/session.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/shared.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/shared_X11.ml.in
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/tags.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/unicode_bindings.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/utf8_convert.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/utf8_convert.mll
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_Command.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_Completion.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_Debugger.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_Detachable.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_Find.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_MessageView.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_Notebook.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_ProofView.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_RoutedMessageViews.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_ScriptView.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/ide/coqide/wg_Segment.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/abbreviation.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/constrexpr_ops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/constrextern.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/constrintern.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/decls.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/deprecation.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/dumpglob.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/genintern.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/impargs.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/implicit_quantifiers.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/modintern.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/notation.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/notation_ops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/numTok.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/reserve.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/smartlocate.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/interp/stdarg.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_arity.h
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_fix_code.c
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_fix_code.h
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_float64.c
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_instruct.h
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_interp.c
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_interp.h
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_memory.c
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_memory.h
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_uint63_native.h
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/byterun/coq_values.c
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/cClosure.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/cPrimitives.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/constr.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/context.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/conv_oracle.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/cooking.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/declareops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/discharge.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/environ.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/esubst.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/evar.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/float64_63.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/float64_common.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/indTyping.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/indtypes.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/inductive.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/inferCumulativity.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/mod_subst.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/mod_typing.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/modops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/names.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/nativecode.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/nativeconv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/nativelambda.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/nativelib.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/nativelibrary.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/nativevalues.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/opaqueproof.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/parray.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/primred.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/reduction.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/relevanceops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/safe_typing.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/section.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/sorts.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/subtyping.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/term.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/term_typing.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/transparentState.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/type_errors.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/typeops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/uGraph.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/uint63_63.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/univ.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/vars.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/vconv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/vm.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/vmbytecodes.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/vmbytegen.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/vmemitcodes.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/vmlambda.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/vmsymtable.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/kernel/vmvalues.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/acyclicGraph.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/aux_file.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/cAst.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/cDebug.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/cErrors.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/cProfile.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/cWarnings.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/control.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/coqProject_file.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/dAst.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/envars.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/feedback.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/flags.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/genarg.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/hook.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/lStream.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/loc.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/objFile.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/pp.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/pp_diff.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/rtree.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/spawn.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/stateid.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/system.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/lib/util.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library/coqlib.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library/global.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library/globnames.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library/goptions.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library/lib.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library/libnames.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library/libobject.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library/nametab.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/library/summary.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/parsing
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/parsing/cLexer.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/parsing/extend.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/parsing/g_constr.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/parsing/g_prim.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/parsing/notgram_ops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/parsing/pcoq.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/parsing/tok.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/btauto
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/btauto/g_btauto.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/btauto/refl_btauto.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/cc
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/cc/ccalgo.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/cc/ccproof.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/cc/cctac.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/cc/g_congruence.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/derive
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/derive/derive.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/derive/g_derive.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/common.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/extract_env.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/extraction.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/g_extraction.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/haskell.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/json.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/mlutil.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/modutil.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/ocaml.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/scheme.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/extraction/table.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/firstorder
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/firstorder/formula.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/firstorder/ground.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/firstorder/instances.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/firstorder/rules.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/firstorder/sequent.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/firstorder/unify.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/functional_principles_proofs.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/functional_principles_types.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/g_indfun.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/gen_principle.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/glob_term_to_relation.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/glob_termops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/indfun.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/indfun_common.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/invfun.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/funind/recdef.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/comRewrite.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/coretactics.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/evar_tactics.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/extraargs.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/extratactics.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/g_class.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/g_eqdecide.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/g_ltac.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/g_ltac.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/g_obligations.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/g_rewrite.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/g_tactic.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/internals.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/leminv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/pltac.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/pptactic.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/profile_ltac.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/profile_ltac_tactics.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tacarg.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/taccoerce.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tacentries.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tacenv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tacintern.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tacinterp.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tacsubst.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tactic_debug.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tactic_matching.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tactic_option.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac/tauto.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/g_ltac2.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/g_ltac2.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2core.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2dyn.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2entries.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2env.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2extffi.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2ffi.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2intern.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2interp.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2match.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2print.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2quote.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2stdlib.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ltac2/tac2tactics.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/certificate.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/coq_micromega.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/csdpcert.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/g_micromega.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/g_zify.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/itv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/linsolve.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/micromega.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/mutils.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/numCompat.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/persistent_cache.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/polynomial.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/simplex.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/sos.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/sos_lib.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/sos_types.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/vect.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/micromega/zify.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/nsatz
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/nsatz/g_nsatz.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/nsatz/ideal.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/nsatz/nsatz.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/nsatz/polynom.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/nsatz/utile.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ring
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ring/ring.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/rtauto
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/rtauto/g_rtauto.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/rtauto/proof_search.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/rtauto/refl_tauto.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrbwd.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrcommon.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrelim.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrequality.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrfwd.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssripats.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrparser.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrprinters.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrtacticals.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrvernac.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssr/ssrview.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssrmatching
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssrmatching/g_ssrmatching.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/ssrmatching/ssrmatching.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/syntax
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/syntax/number.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/plugins/syntax/string_notation.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/arguments_renaming.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/cases.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/cbv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/coercion.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/coercionops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/constr_matching.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/detyping.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/evarconv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/evardefine.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/evarsolve.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/find_subterm.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/geninterp.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/globEnv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/glob_ops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/heads.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/indrec.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/inductiveops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/keys.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/locusops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/nativenorm.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/patternops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/pretype_errors.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/pretyping.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/program.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/reductionops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/retyping.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/structures.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/tacred.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/typeclasses.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/typeclasses_errors.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/typing.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/unification.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/pretyping/vnorm.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/printing
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/printing/genprint.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/printing/ppconstr.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/printing/ppextend.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/printing/pputils.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/printing/printer.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/printing/proof_diffs.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs/clenv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs/evar_refiner.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs/goal_select.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs/logic.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs/miscprint.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs/proof.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs/proof_bullet.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs/refine.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/proofs/tacmach.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/asyncTaskQueue.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/coqworkmgrApi.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/dag.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/partac.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/proofBlockDelimiter.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/spawned.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/stm.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/stmargs.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/tQueue.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/vcs.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/vio_checking.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/stm/workerPool.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/sysinit
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/sysinit/coqargs.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/sysinit/coqinit.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/sysinit/coqloadpath.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/abstract.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/auto.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/autorewrite.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/btermdn.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/cbn.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/class_tactics.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/contradiction.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/declareScheme.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/dn.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/dnet.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/eauto.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/elim.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/elimschemes.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/eqdecide.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/eqschemes.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/equality.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/genredexpr.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/hints.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/hipattern.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/ind_tables.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/inv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/ppred.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/redexpr.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/redops.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/rewrite.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/tacticals.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/tactics.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tactics/term_dnet.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coq_makefile.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coq_tex.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdep
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdep/common.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdep/coqdep.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdep/lexer.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdep/lexer.mll
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdep/loadpath.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdep/options.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/alpha.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/cdglobals.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/cpretty.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/cpretty.mll
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/fileUtil.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/glob_file.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/index.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/latexCompiler.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/main.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/output.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqdoc/tokens.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqwc.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqwc.mll
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/coqworkmgr.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/ocamllibdep.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/tools/ocamllibdep.mll
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/topbin
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/topbin/coqc_bin.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/topbin/coqnative_bin.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/topbin/coqproofworker_bin.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/topbin/coqqueryworker_bin.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/topbin/coqtacticworker_bin.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/topbin/coqtop_bin.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel/ccompile.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel/coqc.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel/coqcargs.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel/coqloop.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel/coqrc.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel/coqtop.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel/g_toplevel.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel/vernac.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/toplevel/workerLoop.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/assumptions.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/attributes.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/auto_ind_decl.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/canonical.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/classes.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comArguments.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comAssumption.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comCoercion.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comDefinition.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comExtraDeps.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comFixpoint.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comHints.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comInductive.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comPrimitive.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comProgramFixpoint.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comSearch.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/comTactic.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/debugHook.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/declare.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/declareInd.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/declareUctx.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/declareUniv.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/declaremods.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/egramcoq.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/egramml.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/future.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/g_proofs.mlg
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/himsg.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/indschemes.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/library.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/loadpath.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/locality.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/metasyntax.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/mltop.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/opaques.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/ppvernac.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/prettyp.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/printmod.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/proof_using.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/pvernac.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/recLemmas.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/record.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/retrieveObl.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/search.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/topfmt.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/vernac_classifier.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/vernacentries.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/vernacextend.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/vernacinterp.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/vernacprop.ml
/usr/src/debug/coq-8.16.1-1.mga9.aarch64/_build/default/vernac/vernacstate.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Apr 19 04:22:20 2024