coq-debugsource-8.11.0-4.mga8 RPM for i586

From Mageia 8 for i586 / media / debug / core / release

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

• coq-debugsource
• coq-debugsource(x86-32)

Requires

• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

LGPLv2

Changelog

* 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
* Sun Mar 01 2020 tv <tv> 8.11.0-1.mga8
  + Revision: 1552552
  - BR ocaml-cairo-devel (probably a missing dep of other BRs)
  - BR ocaml-lablgtk3-sourceview3
  + pterjan <pterjan>
  - Update to 8.11.0
  + umeabot <umeabot>
  - Rebuild for ocaml 4.10.0 final
* Thu Feb 20 2020 umeabot <umeabot> 8.9.1-3.mga8
  + Revision: 1545296
  - Mageia 8 Mass Rebuild
* Tue Jan 28 2020 tv <tv> 8.9.1-2.mga8
  + Revision: 1484376
  - filter out a bogus requires on private ocaml interface
  - consolidate exclude list
* Sun Jan 26 2020 tv <tv> 8.9.1-1.mga8
  + Revision: 1483034
  - revert back to 8.9.1 & fix build
  - new release + rebuild for ocaml-4.10
  - new release + rebuild for ocaml-4.10
  + pterjan <pterjan>
  - Rebuild for ocaml 4.07.1

Files

/usr/src/debug/coq-8.11.0-4.mga8.i386
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/bigint.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/cArray.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/cList.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/cSet.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/cStack.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/cString.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/dyn.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/hashset.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/heap.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/int.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/int.mli
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/option.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/clib/store.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine/eConstr.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine/evarutil.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine/evd.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine/namegen.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine/nameops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine/proofview.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine/proofview_monad.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine/termops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/engine/uState.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/interp
/usr/src/debug/coq-8.11.0-4.mga8.i386/interp/constrexpr_ops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/interp/constrextern.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/interp/constrintern.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/interp/dumpglob.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/interp/impargs.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/interp/notation.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/interp/numTok.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/cClosure.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/constr.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/context.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/conv_oracle.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/declareops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/environ.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/esubst.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/evar.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/float64.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/inductive.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/mod_subst.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/modops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/names.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/reduction.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/safe_typing.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/sorts.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/term.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/typeops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/uint63.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/univ.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/kernel/vars.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib/cAst.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib/cErrors.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib/dAst.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib/feedback.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib/flags.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib/genarg.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib/loc.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib/pp.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/lib/util.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/library
/usr/src/debug/coq-8.11.0-4.mga8.i386/library/coqlib.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/library/global.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/library/goptions.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/library/lib.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/library/libnames.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/library/libobject.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/library/nametab.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/library/summary.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/parsing
/usr/src/debug/coq-8.11.0-4.mga8.i386/parsing/cLexer.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/btauto
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/btauto/g_btauto.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/btauto/refl_btauto.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/cc
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/cc/ccalgo.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/cc/ccproof.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/cc/cctac.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/cc/g_congruence.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/derive
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/derive/derive.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/derive/g_derive.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/common.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/extract_env.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/extraction.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/g_extraction.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/haskell.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/json.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/mlutil.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/modutil.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/ocaml.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/scheme.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/extraction/table.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/firstorder
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/firstorder/formula.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/firstorder/g_ground.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/firstorder/ground.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/firstorder/instances.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/firstorder/rules.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/firstorder/sequent.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/firstorder/unify.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/functional_principles_proofs.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/functional_principles_types.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/g_indfun.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/gen_principle.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/glob_term_to_relation.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/glob_termops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/indfun.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/indfun_common.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/invfun.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/funind/recdef.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/coretactics.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/evar_tactics.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/extraargs.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/extratactics.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/g_auto.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/g_class.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/g_eqdecide.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/g_ltac.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/g_obligations.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/g_rewrite.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/g_tactic.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/pltac.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/pptactic.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/profile_ltac.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/profile_ltac_tactics.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/rewrite.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tacarg.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/taccoerce.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tacentries.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tacenv.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tacintern.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tacinterp.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tacsubst.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tactic_debug.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tactic_matching.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tactic_option.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ltac/tauto.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/certificate.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/coq_micromega.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/csdpcert.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/g_micromega.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/g_zify.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/itv.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/mfourier.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/micromega.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/mutils.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/persistent_cache.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/polynomial.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/simplex.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/sos.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/sos_lib.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/sos_types.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/vect.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/micromega/zify.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/nsatz
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/nsatz/g_nsatz.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/nsatz/ideal.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/nsatz/nsatz.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/nsatz/polynom.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/nsatz/utile.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/omega
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/omega/coq_omega.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/omega/g_omega.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/omega/omega.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/rtauto
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/rtauto/g_rtauto.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/rtauto/proof_search.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/rtauto/refl_tauto.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/setoid_ring
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/setoid_ring/g_newring.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/setoid_ring/newring.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrbwd.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrcommon.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrelim.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrequality.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrfwd.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssripats.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrparser.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrprinters.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrtacticals.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrvernac.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssr/ssrview.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssrmatching
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssrmatching/g_ssrmatching.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/ssrmatching/ssrmatching.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/syntax
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/syntax/float_syntax.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/syntax/g_numeral.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/syntax/g_string.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/syntax/int63_syntax.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/syntax/numeral.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/syntax/r_syntax.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/plugins/syntax/string_notation.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/classops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/constr_matching.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/evarconv.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/geninterp.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/glob_ops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/inductiveops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/pretyping.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/recordops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/reductionops.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/retyping.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/tacred.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/typeclasses.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/typing.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/pretyping/unification.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/printing
/usr/src/debug/coq-8.11.0-4.mga8.i386/printing/genprint.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/printing/ppconstr.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/printing/printer.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/printing/proof_diffs.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/proofs
/usr/src/debug/coq-8.11.0-4.mga8.i386/proofs/goal.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/proofs/goal_select.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/proofs/proof.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/proofs/refiner.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/proofs/tacmach.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/auto.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/autorewrite.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/class_tactics.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/contradiction.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/declare.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/elim.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/equality.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/hints.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/hipattern.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/leminv.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/pfedit.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/proof_global.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/redexpr.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/tacticals.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/tactics/tactics.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/g_ltac2.mlg
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2core.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2dyn.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2entries.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2env.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2extffi.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2ffi.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2intern.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2interp.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2match.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2print.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2quote.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2stdlib.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/user-contrib/Ltac2/tac2tactics.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac/attributes.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac/declareDef.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac/lemmas.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac/locality.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac/mltop.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac/prettyp.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac/pvernac.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac/search.ml
/usr/src/debug/coq-8.11.0-4.mga8.i386/vernac/topfmt.ml

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 16:22:09 2024