Fedora Packages

coq-core-8.17.1-5.fc39 in Fedora 39

↵ Return to the main page of coq-core
View build
Search for updates

Package Info (Data from x86_64 build)
🠗 Changelog
🠗 Dependencies
🠗 Provides
🠗 Files

Changelog

Date Author Change
2023-07-27 Jerry James <loganjerry at gmail dot com> - 8.17.1-5 - Rebuild for ocaml-zarith 1.13
2023-07-19 Fedora Release Engineering <releng at fedoraproject dot org> - 8.17.1-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
2023-07-18 Jerry James <loganjerry at gmail dot com> - 8.17.1-3 - Validate appdata with appstream-util
2023-07-12 Richard W.M. Jones <rjones at redhat dot com> - 8.17.1-3 - OCaml 5.0 rebuild for Fedora 39 - Only build coq and friends on architectures with the native compiler.
2023-07-10 Jerry James <loganjerry at gmail dot com> - 8.17.1-1 - Version 8.17.1 - Build in release mode - Disable the native compiler, which is incompatible with OCaml 5.0
2023-04-01 Jerry James <loganjerry at gmail dot com> - 8.17.0-1 - Version 8.17.0 - Drop upstreamed patch for Sphinx 5 support
2023-01-24 Richard W.M. Jones <rjones at redhat dot com> - 8.16.1-3 - Rebuild OCaml packages for F38
2023-01-19 Fedora Release Engineering <releng at fedoraproject dot org> - 8.16.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
2022-11-26 Jerry James <loganjerry at gmail dot com> - 8.16.1-1 - Version 8.16.1
2022-10-06 Jerry James <loganjerry at gmail dot com> - 8.16.0-2 - Remove the manual, which has a non-free license (bz 2132567)

Dependencies

Provides

  • coq-core
  • coq-core(x86-64)
  • ocaml(Abbreviation)
  • ocaml(Abstract)
  • ocaml(AcyclicGraph)
  • ocaml(Arguments_renaming)
  • ocaml(Assumptions)
  • ocaml(AsyncTaskQueue)
  • ocaml(Attributes)
  • ocaml(Auto)
  • ocaml(Auto_ind_decl)
  • ocaml(Autorewrite)
  • ocaml(Aux_file)
  • ocaml(Boot)
  • ocaml(Boot__Env)
  • ocaml(Boot__Path)
  • ocaml(Boot__Usage)
  • ocaml(Boot__Util)
  • ocaml(Btauto_plugin)
  • ocaml(Btauto_plugin__G_btauto)
  • ocaml(Btauto_plugin__Refl_btauto)
  • ocaml(Btermdn)
  • ocaml(CArray)
  • ocaml(CAst)
  • ocaml(CClosure)
  • ocaml(CDebug)
  • ocaml(CEphemeron)
  • ocaml(CErrors)
  • ocaml(CLexer)
  • ocaml(CList)
  • ocaml(CMap)
  • ocaml(CObj)
  • ocaml(CPrimitives)
  • ocaml(CProfile)
  • ocaml(CSet)
  • ocaml(CSig)
  • ocaml(CString)
  • ocaml(CThread)
  • ocaml(CUnix)
  • ocaml(CWarnings)
  • ocaml(Canonical)
  • ocaml(Cases)
  • ocaml(Cbn)
  • ocaml(Cbv)
  • ocaml(Cc_plugin)
  • ocaml(Cc_plugin__Ccalgo)
  • ocaml(Cc_plugin__Ccproof)
  • ocaml(Cc_plugin__Cctac)
  • ocaml(Cc_plugin__G_congruence)
  • ocaml(Ccompile)
  • ocaml(Class_tactics)
  • ocaml(Classes)
  • ocaml(Clenv)
  • ocaml(Coercion)
  • ocaml(Coercionops)
  • ocaml(Colors)
  • ocaml(ComArguments)
  • ocaml(ComAssumption)
  • ocaml(ComCoercion)
  • ocaml(ComDefinition)
  • ocaml(ComExtraDeps)
  • ocaml(ComFixpoint)
  • ocaml(ComHints)
  • ocaml(ComInductive)
  • ocaml(ComPrimitive)
  • ocaml(ComProgramFixpoint)
  • ocaml(ComSearch)
  • ocaml(ComTactic)
  • ocaml(Common_compile)
  • ocaml(Constr)
  • ocaml(Constr_matching)
  • ocaml(Constrexpr)
  • ocaml(Constrexpr_ops)
  • ocaml(Constrextern)
  • ocaml(Constrintern)
  • ocaml(Context)
  • ocaml(Contradiction)
  • ocaml(Control)
  • ocaml(Conv_oracle)
  • ocaml(Cooking)
  • ocaml(CoqProject_file)
  • ocaml(Coq_config)
  • ocaml(Coqargs)
  • ocaml(Coqc)
  • ocaml(Coqcargs)
  • ocaml(Coqinit)
  • ocaml(Coqlib)
  • ocaml(Coqloadpath)
  • ocaml(Coqloop)
  • ocaml(Coqrc)
  • ocaml(Coqrun)
  • ocaml(Coqtop)
  • ocaml(CoqworkmgrApi)
  • ocaml(Core_plugins_findlib_compat)
  • ocaml(DAst)
  • ocaml(Dag)
  • ocaml(DebugHook)
  • ocaml(Declarations)
  • ocaml(Declare)
  • ocaml(DeclareInd)
  • ocaml(DeclareScheme)
  • ocaml(DeclareUctx)
  • ocaml(DeclareUniv)
  • ocaml(Declaremods)
  • ocaml(Declareops)
  • ocaml(Decls)
  • ocaml(Deprecation)
  • ocaml(Derive_plugin)
  • ocaml(Derive_plugin__Derive)
  • ocaml(Derive_plugin__G_derive)
  • ocaml(Detyping)
  • ocaml(Diff2)
  • ocaml(Discharge)
  • ocaml(Dn)
  • ocaml(Dumpglob)
  • ocaml(Dyn)
  • ocaml(EConstr)
  • ocaml(Eauto)
  • ocaml(Egramcoq)
  • ocaml(Egramml)
  • ocaml(Elim)
  • ocaml(Elimschemes)
  • ocaml(Entries)
  • ocaml(Envars)
  • ocaml(Environ)
  • ocaml(Eqdecide)
  • ocaml(Eqschemes)
  • ocaml(Equality)
  • ocaml(Esubst)
  • ocaml(Evar)
  • ocaml(Evar_kinds)
  • ocaml(Evar_tactics)
  • ocaml(Evarconv)
  • ocaml(Evardefine)
  • ocaml(Evarsolve)
  • ocaml(Evarutil)
  • ocaml(Evd)
  • ocaml(Exninfo)
  • ocaml(Extend)
  • ocaml(Extraction_plugin)
  • ocaml(Extraction_plugin__Common)
  • ocaml(Extraction_plugin__Extract_env)
  • ocaml(Extraction_plugin__Extraction)
  • ocaml(Extraction_plugin__G_extraction)
  • ocaml(Extraction_plugin__Haskell)
  • ocaml(Extraction_plugin__Json)
  • ocaml(Extraction_plugin__Miniml)
  • ocaml(Extraction_plugin__Mlutil)
  • ocaml(Extraction_plugin__Modutil)
  • ocaml(Extraction_plugin__Ocaml)
  • ocaml(Extraction_plugin__Scheme)
  • ocaml(Extraction_plugin__Table)
  • ocaml(Feedback)
  • ocaml(Find_subterm)
  • ocaml(Firstorder_plugin)
  • ocaml(Firstorder_plugin__Formula)
  • ocaml(Firstorder_plugin__G_ground)
  • ocaml(Firstorder_plugin__Ground)
  • ocaml(Firstorder_plugin__Instances)
  • ocaml(Firstorder_plugin__Rules)
  • ocaml(Firstorder_plugin__Sequent)
  • ocaml(Firstorder_plugin__Unify)
  • ocaml(Flags)
  • ocaml(Float64)
  • ocaml(Float64_common)
  • ocaml(Ftactic)
  • ocaml(Funind_plugin)
  • ocaml(Funind_plugin__Functional_principles_proofs)
  • ocaml(Funind_plugin__Functional_principles_types)
  • ocaml(Funind_plugin__G_indfun)
  • ocaml(Funind_plugin__Gen_principle)
  • ocaml(Funind_plugin__Glob_term_to_relation)
  • ocaml(Funind_plugin__Glob_termops)
  • ocaml(Funind_plugin__Indfun)
  • ocaml(Funind_plugin__Indfun_common)
  • ocaml(Funind_plugin__Invfun)
  • ocaml(Funind_plugin__Recdef)
  • ocaml(Future)
  • ocaml(G_constr)
  • ocaml(G_prim)
  • ocaml(G_proofs)
  • ocaml(G_toplevel)
  • ocaml(G_vernac)
  • ocaml(Genarg)
  • ocaml(Genintern)
  • ocaml(Geninterp)
  • ocaml(Genlambda)
  • ocaml(Genprint)
  • ocaml(Genredexpr)
  • ocaml(GlobEnv)
  • ocaml(Glob_ops)
  • ocaml(Glob_term)
  • ocaml(Global)
  • ocaml(Globnames)
  • ocaml(Goal_select)
  • ocaml(Goptions)
  • ocaml(Gramlib)
  • ocaml(Gramlib__Gramext)
  • ocaml(Gramlib__Grammar)
  • ocaml(Gramlib__LStream)
  • ocaml(Gramlib__Plexing)
  • ocaml(Gramlib__Stream)
  • ocaml(HMap)
  • ocaml(Hashcons)
  • ocaml(Hashset)
  • ocaml(Heads)
  • ocaml(Heap)
  • ocaml(Himsg)
  • ocaml(Hints)
  • ocaml(Hipattern)
  • ocaml(Hook)
  • ocaml(IStream)
  • ocaml(Impargs)
  • ocaml(Implicit_quantifiers)
  • ocaml(IndTyping)
  • ocaml(Ind_tables)
  • ocaml(Indrec)
  • ocaml(Indschemes)
  • ocaml(Indtypes)
  • ocaml(Inductive)
  • ocaml(Inductiveops)
  • ocaml(InferCumulativity)
  • ocaml(Int)
  • ocaml(Inv)
  • ocaml(Keys)
  • ocaml(Lib)
  • ocaml(Libnames)
  • ocaml(Libobject)
  • ocaml(Library)
  • ocaml(Load)
  • ocaml(Loadpath)
  • ocaml(Loc)
  • ocaml(Locality)
  • ocaml(Locus)
  • ocaml(Locusops)
  • ocaml(Logic)
  • ocaml(Logic_monad)
  • ocaml(Ltac2_plugin)
  • ocaml(Ltac2_plugin__G_ltac2)
  • ocaml(Ltac2_plugin__Tac2core)
  • ocaml(Ltac2_plugin__Tac2dyn)
  • ocaml(Ltac2_plugin__Tac2entries)
  • ocaml(Ltac2_plugin__Tac2env)
  • ocaml(Ltac2_plugin__Tac2expr)
  • ocaml(Ltac2_plugin__Tac2extffi)
  • ocaml(Ltac2_plugin__Tac2ffi)
  • ocaml(Ltac2_plugin__Tac2intern)
  • ocaml(Ltac2_plugin__Tac2interp)
  • ocaml(Ltac2_plugin__Tac2match)
  • ocaml(Ltac2_plugin__Tac2print)
  • ocaml(Ltac2_plugin__Tac2qexpr)
  • ocaml(Ltac2_plugin__Tac2quote)
  • ocaml(Ltac2_plugin__Tac2stdlib)
  • ocaml(Ltac2_plugin__Tac2tactics)
  • ocaml(Ltac2_plugin__Tac2types)
  • ocaml(Ltac2_plugin__Tac2typing_env)
  • ocaml(Ltac_plugin)
  • ocaml(Ltac_plugin__ComRewrite)
  • ocaml(Ltac_plugin__Coretactics)
  • ocaml(Ltac_plugin__Extraargs)
  • ocaml(Ltac_plugin__Extratactics)
  • ocaml(Ltac_plugin__G_auto)
  • ocaml(Ltac_plugin__G_class)
  • ocaml(Ltac_plugin__G_eqdecide)
  • ocaml(Ltac_plugin__G_ltac)
  • ocaml(Ltac_plugin__G_obligations)
  • ocaml(Ltac_plugin__G_rewrite)
  • ocaml(Ltac_plugin__G_tactic)
  • ocaml(Ltac_plugin__Internals)
  • ocaml(Ltac_plugin__Leminv)
  • ocaml(Ltac_plugin__Pltac)
  • ocaml(Ltac_plugin__Pptactic)
  • ocaml(Ltac_plugin__Profile_ltac)
  • ocaml(Ltac_plugin__Profile_ltac_tactics)
  • ocaml(Ltac_plugin__Tacarg)
  • ocaml(Ltac_plugin__Taccoerce)
  • ocaml(Ltac_plugin__Tacentries)
  • ocaml(Ltac_plugin__Tacenv)
  • ocaml(Ltac_plugin__Tacexpr)
  • ocaml(Ltac_plugin__Tacintern)
  • ocaml(Ltac_plugin__Tacinterp)
  • ocaml(Ltac_plugin__Tacsubst)
  • ocaml(Ltac_plugin__Tactic_debug)
  • ocaml(Ltac_plugin__Tactic_matching)
  • ocaml(Ltac_plugin__Tactic_option)
  • ocaml(Ltac_pretype)
  • ocaml(Metasyntax)
  • ocaml(Micromega_plugin)
  • ocaml(Micromega_plugin__Certificate)
  • ocaml(Micromega_plugin__Coq_micromega)
  • ocaml(Micromega_plugin__G_micromega)
  • ocaml(Micromega_plugin__Itv)
  • ocaml(Micromega_plugin__Linsolve)
  • ocaml(Micromega_plugin__Micromega)
  • ocaml(Micromega_plugin__Mutils)
  • ocaml(Micromega_plugin__NumCompat)
  • ocaml(Micromega_plugin__Persistent_cache)
  • ocaml(Micromega_plugin__Polynomial)
  • ocaml(Micromega_plugin__Simplex)
  • ocaml(Micromega_plugin__Sos)
  • ocaml(Micromega_plugin__Sos_lib)
  • ocaml(Micromega_plugin__Sos_types)
  • ocaml(Micromega_plugin__Vect)
  • ocaml(Miscprint)
  • ocaml(Mltop)
  • ocaml(Mod_subst)
  • ocaml(Mod_typing)
  • ocaml(Modintern)
  • ocaml(Modops)
  • ocaml(Monad)
  • ocaml(Namegen)
  • ocaml(Nameops)
  • ocaml(Names)
  • ocaml(Nametab)
  • ocaml(Nativecode)
  • ocaml(Nativeconv)
  • ocaml(Nativelambda)
  • ocaml(Nativelib)
  • ocaml(Nativelibrary)
  • ocaml(Nativenorm)
  • ocaml(Nativevalues)
  • ocaml(NeList)
  • ocaml(Notation)
  • ocaml(Notation_gram)
  • ocaml(Notation_ops)
  • ocaml(Notation_term)
  • ocaml(Notationextern)
  • ocaml(Notgram_ops)
  • ocaml(Nsatz_plugin)
  • ocaml(Nsatz_plugin__G_nsatz)
  • ocaml(Nsatz_plugin__Ideal)
  • ocaml(Nsatz_plugin__Nsatz)
  • ocaml(Nsatz_plugin__Polynom)
  • ocaml(Nsatz_plugin__Utile)
  • ocaml(NumTok)
  • ocaml(Number_string_notation_plugin)
  • ocaml(Number_string_notation_plugin__G_number_string)
  • ocaml(Number_string_notation_plugin__Number)
  • ocaml(Number_string_notation_plugin__String_notation)
  • ocaml(ObjFile)
  • ocaml(Opaqueproof)
  • ocaml(Opaques)
  • ocaml(Option)
  • ocaml(OrderedType)
  • ocaml(Parray)
  • ocaml(Partac)
  • ocaml(Pattern)
  • ocaml(Patternops)
  • ocaml(Pcoq)
  • ocaml(Pp)
  • ocaml(Pp_diff)
  • ocaml(Ppconstr)
  • ocaml(Ppextend)
  • ocaml(Ppred)
  • ocaml(Pputils)
  • ocaml(Ppvernac)
  • ocaml(Predicate)
  • ocaml(Prettyp)
  • ocaml(Pretype_errors)
  • ocaml(Pretyping)
  • ocaml(Primred)
  • ocaml(Printer)
  • ocaml(Printmod)
  • ocaml(Program)
  • ocaml(Proof)
  • ocaml(ProofBlockDelimiter)
  • ocaml(Proof_bullet)
  • ocaml(Proof_diffs)
  • ocaml(Proof_using)
  • ocaml(Proofview)
  • ocaml(Proofview_monad)
  • ocaml(Pvernac)
  • ocaml(Range)
  • ocaml(RecLemmas)
  • ocaml(Record)
  • ocaml(Redexpr)
  • ocaml(Redops)
  • ocaml(Reduction)
  • ocaml(Reductionops)
  • ocaml(Refine)
  • ocaml(Relevanceops)
  • ocaml(Reserve)
  • ocaml(RetrieveObl)
  • ocaml(Retroknowledge)
  • ocaml(Retyping)
  • ocaml(Rewrite)
  • ocaml(Ring_plugin)
  • ocaml(Ring_plugin__G_ring)
  • ocaml(Ring_plugin__Ring)
  • ocaml(Ring_plugin__Ring_ast)
  • ocaml(Rtauto_plugin)
  • ocaml(Rtauto_plugin__G_rtauto)
  • ocaml(Rtauto_plugin__Proof_search)
  • ocaml(Rtauto_plugin__Refl_tauto)
  • ocaml(Rtree)
  • ocaml(SList)
  • ocaml(Safe_typing)
  • ocaml(Search)
  • ocaml(Section)
  • ocaml(Segmenttree)
  • ocaml(Smartlocate)
  • ocaml(Sorts)
  • ocaml(Spawn)
  • ocaml(Spawned)
  • ocaml(Ssreflect_plugin)
  • ocaml(Ssreflect_plugin__Ssrast)
  • ocaml(Ssreflect_plugin__Ssrbwd)
  • ocaml(Ssreflect_plugin__Ssrcommon)
  • ocaml(Ssreflect_plugin__Ssrelim)
  • ocaml(Ssreflect_plugin__Ssrequality)
  • ocaml(Ssreflect_plugin__Ssrfwd)
  • ocaml(Ssreflect_plugin__Ssripats)
  • ocaml(Ssreflect_plugin__Ssrparser)
  • ocaml(Ssreflect_plugin__Ssrprinters)
  • ocaml(Ssreflect_plugin__Ssrtacticals)
  • ocaml(Ssreflect_plugin__Ssrvernac)
  • ocaml(Ssreflect_plugin__Ssrview)
  • ocaml(Ssrmatching_plugin)
  • ocaml(Ssrmatching_plugin__G_ssrmatching)
  • ocaml(Ssrmatching_plugin__Ssrmatching)
  • ocaml(Stateid)
  • ocaml(Stdarg)
  • ocaml(Stm)
  • ocaml(Stmargs)
  • ocaml(Store)
  • ocaml(Structures)
  • ocaml(Subtyping)
  • ocaml(Summary)
  • ocaml(System)
  • ocaml(TQueue)
  • ocaml(Tacmach)
  • ocaml(Tacred)
  • ocaml(Tacticals)
  • ocaml(Tactics)
  • ocaml(Tactypes)
  • ocaml(Tauto_plugin)
  • ocaml(Tauto_plugin__Tauto)
  • ocaml(Term)
  • ocaml(Term_typing)
  • ocaml(Terminal)
  • ocaml(Termops)
  • ocaml(Tok)
  • ocaml(Top_printers)
  • ocaml(Topfmt)
  • ocaml(TransparentState)
  • ocaml(Trie)
  • ocaml(Tuto0_plugin)
  • ocaml(Tuto0_plugin__G_tuto0)
  • ocaml(Tuto0_plugin__Tuto0_main)
  • ocaml(Tuto1_plugin)
  • ocaml(Tuto1_plugin__G_tuto1)
  • ocaml(Tuto1_plugin__Inspector)
  • ocaml(Tuto1_plugin__Simple_check)
  • ocaml(Tuto1_plugin__Simple_declare)
  • ocaml(Tuto1_plugin__Simple_print)
  • ocaml(Tuto2_plugin)
  • ocaml(Tuto2_plugin__Counter)
  • ocaml(Tuto2_plugin__Custom)
  • ocaml(Tuto2_plugin__G_tuto2)
  • ocaml(Tuto2_plugin__Persistent_counter)
  • ocaml(Tuto3_plugin)
  • ocaml(Tuto3_plugin__Construction_game)
  • ocaml(Tuto3_plugin__G_tuto3)
  • ocaml(Tuto3_plugin__Tuto_tactic)
  • ocaml(Type_errors)
  • ocaml(Typeclasses)
  • ocaml(Typeclasses_errors)
  • ocaml(Typeops)
  • ocaml(Typing)
  • ocaml(UGraph)
  • ocaml(UState)
  • ocaml(Uint63)
  • ocaml(Unicode)
  • ocaml(Unicodetable)
  • ocaml(Unification)
  • ocaml(Unionfind)
  • ocaml(Univ)
  • ocaml(UnivGen)
  • ocaml(UnivMinim)
  • ocaml(UnivNames)
  • ocaml(UnivProblem)
  • ocaml(UnivSubst)
  • ocaml(Util)
  • ocaml(Values)
  • ocaml(Vars)
  • ocaml(Vconv)
  • ocaml(Vcs)
  • ocaml(Vernac)
  • ocaml(Vernac_classifier)
  • ocaml(Vernacentries)
  • ocaml(Vernacexpr)
  • ocaml(Vernacextend)
  • ocaml(Vernacinterp)
  • ocaml(Vernacprop)
  • ocaml(Vernacstate)
  • ocaml(Vio_checking)
  • ocaml(Vio_compile)
  • ocaml(Vm)
  • ocaml(Vmbytecodes)
  • ocaml(Vmbytegen)
  • ocaml(Vmemitcodes)
  • ocaml(Vmlambda)
  • ocaml(Vmopcodes)
  • ocaml(Vmsymtable)
  • ocaml(Vmvalues)
  • ocaml(Vnorm)
  • ocaml(WorkerLoop)
  • ocaml(WorkerPool)
  • ocaml(Xml_datatype)
  • ocaml(Zify_plugin)
  • ocaml(Zify_plugin__G_zify)
  • ocaml(Zify_plugin__Zify)
  • ocamlx(Abbreviation)
  • ocamlx(Abstract)
  • ocamlx(AcyclicGraph)
  • ocamlx(Arguments_renaming)
  • ocamlx(Assumptions)
  • ocamlx(AsyncTaskQueue)
  • ocamlx(Attributes)
  • ocamlx(Auto)
  • ocamlx(Auto_ind_decl)
  • ocamlx(Autorewrite)
  • ocamlx(Aux_file)
  • ocamlx(Boot)
  • ocamlx(Boot__Env)
  • ocamlx(Boot__Path)
  • ocamlx(Boot__Usage)
  • ocamlx(Boot__Util)
  • ocamlx(Btauto_plugin)
  • ocamlx(Btauto_plugin__G_btauto)
  • ocamlx(Btauto_plugin__Refl_btauto)
  • ocamlx(Btermdn)
  • ocamlx(CArray)
  • ocamlx(CAst)
  • ocamlx(CClosure)
  • ocamlx(CDebug)
  • ocamlx(CEphemeron)
  • ocamlx(CErrors)
  • ocamlx(CLexer)
  • ocamlx(CList)
  • ocamlx(CMap)
  • ocamlx(CObj)
  • ocamlx(CPrimitives)
  • ocamlx(CProfile)
  • ocamlx(CSet)
  • ocamlx(CString)
  • ocamlx(CThread)
  • ocamlx(CUnix)
  • ocamlx(CWarnings)
  • ocamlx(Canonical)
  • ocamlx(Cases)
  • ocamlx(Cbn)
  • ocamlx(Cbv)
  • ocamlx(Cc_plugin)
  • ocamlx(Cc_plugin__Ccalgo)
  • ocamlx(Cc_plugin__Ccproof)
  • ocamlx(Cc_plugin__Cctac)
  • ocamlx(Cc_plugin__G_congruence)
  • ocamlx(Ccompile)
  • ocamlx(Class_tactics)
  • ocamlx(Classes)
  • ocamlx(Clenv)
  • ocamlx(Coercion)
  • ocamlx(Coercionops)
  • ocamlx(Colors)
  • ocamlx(ComArguments)
  • ocamlx(ComAssumption)
  • ocamlx(ComCoercion)
  • ocamlx(ComDefinition)
  • ocamlx(ComExtraDeps)
  • ocamlx(ComFixpoint)
  • ocamlx(ComHints)
  • ocamlx(ComInductive)
  • ocamlx(ComPrimitive)
  • ocamlx(ComProgramFixpoint)
  • ocamlx(ComSearch)
  • ocamlx(ComTactic)
  • ocamlx(Common_compile)
  • ocamlx(Constr)
  • ocamlx(Constr_matching)
  • ocamlx(Constrexpr)
  • ocamlx(Constrexpr_ops)
  • ocamlx(Constrextern)
  • ocamlx(Constrintern)
  • ocamlx(Context)
  • ocamlx(Contradiction)
  • ocamlx(Control)
  • ocamlx(Conv_oracle)
  • ocamlx(Cooking)
  • ocamlx(CoqProject_file)
  • ocamlx(Coq_config)
  • ocamlx(Coqargs)
  • ocamlx(Coqc)
  • ocamlx(Coqcargs)
  • ocamlx(Coqinit)
  • ocamlx(Coqlib)
  • ocamlx(Coqloadpath)
  • ocamlx(Coqloop)
  • ocamlx(Coqrc)
  • ocamlx(Coqrun)
  • ocamlx(Coqtop)
  • ocamlx(CoqworkmgrApi)
  • ocamlx(Core_plugins_findlib_compat)
  • ocamlx(DAst)
  • ocamlx(Dag)
  • ocamlx(DebugHook)
  • ocamlx(Declarations)
  • ocamlx(Declare)
  • ocamlx(DeclareInd)
  • ocamlx(DeclareScheme)
  • ocamlx(DeclareUctx)
  • ocamlx(DeclareUniv)
  • ocamlx(Declaremods)
  • ocamlx(Declareops)
  • ocamlx(Decls)
  • ocamlx(Deprecation)
  • ocamlx(Derive_plugin)
  • ocamlx(Derive_plugin__Derive)
  • ocamlx(Derive_plugin__G_derive)
  • ocamlx(Detyping)
  • ocamlx(Diff2)
  • ocamlx(Discharge)
  • ocamlx(Dn)
  • ocamlx(Dumpglob)
  • ocamlx(Dyn)
  • ocamlx(EConstr)
  • ocamlx(Eauto)
  • ocamlx(Egramcoq)
  • ocamlx(Egramml)
  • ocamlx(Elim)
  • ocamlx(Elimschemes)
  • ocamlx(Entries)
  • ocamlx(Envars)
  • ocamlx(Environ)
  • ocamlx(Eqdecide)
  • ocamlx(Eqschemes)
  • ocamlx(Equality)
  • ocamlx(Esubst)
  • ocamlx(Evar)
  • ocamlx(Evar_kinds)
  • ocamlx(Evar_tactics)
  • ocamlx(Evarconv)
  • ocamlx(Evardefine)
  • ocamlx(Evarsolve)
  • ocamlx(Evarutil)
  • ocamlx(Evd)
  • ocamlx(Exninfo)
  • ocamlx(Extend)
  • ocamlx(Extraction_plugin)
  • ocamlx(Extraction_plugin__Common)
  • ocamlx(Extraction_plugin__Extract_env)
  • ocamlx(Extraction_plugin__Extraction)
  • ocamlx(Extraction_plugin__G_extraction)
  • ocamlx(Extraction_plugin__Haskell)
  • ocamlx(Extraction_plugin__Json)
  • ocamlx(Extraction_plugin__Miniml)
  • ocamlx(Extraction_plugin__Mlutil)
  • ocamlx(Extraction_plugin__Modutil)
  • ocamlx(Extraction_plugin__Ocaml)
  • ocamlx(Extraction_plugin__Scheme)
  • ocamlx(Extraction_plugin__Table)
  • ocamlx(Feedback)
  • ocamlx(Find_subterm)
  • ocamlx(Firstorder_plugin)
  • ocamlx(Firstorder_plugin__Formula)
  • ocamlx(Firstorder_plugin__G_ground)
  • ocamlx(Firstorder_plugin__Ground)
  • ocamlx(Firstorder_plugin__Instances)
  • ocamlx(Firstorder_plugin__Rules)
  • ocamlx(Firstorder_plugin__Sequent)
  • ocamlx(Firstorder_plugin__Unify)
  • ocamlx(Flags)
  • ocamlx(Float64)
  • ocamlx(Float64_common)
  • ocamlx(Ftactic)
  • ocamlx(Funind_plugin)
  • ocamlx(Funind_plugin__Functional_principles_proofs)
  • ocamlx(Funind_plugin__Functional_principles_types)
  • ocamlx(Funind_plugin__G_indfun)
  • ocamlx(Funind_plugin__Gen_principle)
  • ocamlx(Funind_plugin__Glob_term_to_relation)
  • ocamlx(Funind_plugin__Glob_termops)
  • ocamlx(Funind_plugin__Indfun)
  • ocamlx(Funind_plugin__Indfun_common)
  • ocamlx(Funind_plugin__Invfun)
  • ocamlx(Funind_plugin__Recdef)
  • ocamlx(Future)
  • ocamlx(G_constr)
  • ocamlx(G_prim)
  • ocamlx(G_proofs)
  • ocamlx(G_toplevel)
  • ocamlx(G_vernac)
  • ocamlx(Genarg)
  • ocamlx(Genintern)
  • ocamlx(Geninterp)
  • ocamlx(Genlambda)
  • ocamlx(Genprint)
  • ocamlx(Genredexpr)
  • ocamlx(GlobEnv)
  • ocamlx(Glob_ops)
  • ocamlx(Glob_term)
  • ocamlx(Global)
  • ocamlx(Globnames)
  • ocamlx(Goal_select)
  • ocamlx(Goptions)
  • ocamlx(Gramlib)
  • ocamlx(Gramlib__Gramext)
  • ocamlx(Gramlib__Grammar)
  • ocamlx(Gramlib__LStream)
  • ocamlx(Gramlib__Plexing)
  • ocamlx(Gramlib__Stream)
  • ocamlx(HMap)
  • ocamlx(Hashcons)
  • ocamlx(Hashset)
  • ocamlx(Heads)
  • ocamlx(Heap)
  • ocamlx(Himsg)
  • ocamlx(Hints)
  • ocamlx(Hipattern)
  • ocamlx(Hook)
  • ocamlx(IStream)
  • ocamlx(Impargs)
  • ocamlx(Implicit_quantifiers)
  • ocamlx(IndTyping)
  • ocamlx(Ind_tables)
  • ocamlx(Indrec)
  • ocamlx(Indschemes)
  • ocamlx(Indtypes)
  • ocamlx(Inductive)
  • ocamlx(Inductiveops)
  • ocamlx(InferCumulativity)
  • ocamlx(Int)
  • ocamlx(Inv)
  • ocamlx(Keys)
  • ocamlx(Lib)
  • ocamlx(Libnames)
  • ocamlx(Libobject)
  • ocamlx(Library)
  • ocamlx(Load)
  • ocamlx(Loadpath)
  • ocamlx(Loc)
  • ocamlx(Locality)
  • ocamlx(Locus)
  • ocamlx(Locusops)
  • ocamlx(Logic)
  • ocamlx(Logic_monad)
  • ocamlx(Ltac2_plugin)
  • ocamlx(Ltac2_plugin__G_ltac2)
  • ocamlx(Ltac2_plugin__Tac2core)
  • ocamlx(Ltac2_plugin__Tac2dyn)
  • ocamlx(Ltac2_plugin__Tac2entries)
  • ocamlx(Ltac2_plugin__Tac2env)
  • ocamlx(Ltac2_plugin__Tac2extffi)
  • ocamlx(Ltac2_plugin__Tac2ffi)
  • ocamlx(Ltac2_plugin__Tac2intern)
  • ocamlx(Ltac2_plugin__Tac2interp)
  • ocamlx(Ltac2_plugin__Tac2match)
  • ocamlx(Ltac2_plugin__Tac2print)
  • ocamlx(Ltac2_plugin__Tac2quote)
  • ocamlx(Ltac2_plugin__Tac2stdlib)
  • ocamlx(Ltac2_plugin__Tac2tactics)
  • ocamlx(Ltac2_plugin__Tac2typing_env)
  • ocamlx(Ltac_plugin)
  • ocamlx(Ltac_plugin__ComRewrite)
  • ocamlx(Ltac_plugin__Coretactics)
  • ocamlx(Ltac_plugin__Extraargs)
  • ocamlx(Ltac_plugin__Extratactics)
  • ocamlx(Ltac_plugin__G_auto)
  • ocamlx(Ltac_plugin__G_class)
  • ocamlx(Ltac_plugin__G_eqdecide)
  • ocamlx(Ltac_plugin__G_ltac)
  • ocamlx(Ltac_plugin__G_obligations)
  • ocamlx(Ltac_plugin__G_rewrite)
  • ocamlx(Ltac_plugin__G_tactic)
  • ocamlx(Ltac_plugin__Internals)
  • ocamlx(Ltac_plugin__Leminv)
  • ocamlx(Ltac_plugin__Pltac)
  • ocamlx(Ltac_plugin__Pptactic)
  • ocamlx(Ltac_plugin__Profile_ltac)
  • ocamlx(Ltac_plugin__Profile_ltac_tactics)
  • ocamlx(Ltac_plugin__Tacarg)
  • ocamlx(Ltac_plugin__Taccoerce)
  • ocamlx(Ltac_plugin__Tacentries)
  • ocamlx(Ltac_plugin__Tacenv)
  • ocamlx(Ltac_plugin__Tacexpr)
  • ocamlx(Ltac_plugin__Tacintern)
  • ocamlx(Ltac_plugin__Tacinterp)
  • ocamlx(Ltac_plugin__Tacsubst)
  • ocamlx(Ltac_plugin__Tactic_debug)
  • ocamlx(Ltac_plugin__Tactic_matching)
  • ocamlx(Ltac_plugin__Tactic_option)
  • ocamlx(Ltac_pretype)
  • ocamlx(Metasyntax)
  • ocamlx(Micromega_plugin)
  • ocamlx(Micromega_plugin__Certificate)
  • ocamlx(Micromega_plugin__Coq_micromega)
  • ocamlx(Micromega_plugin__G_micromega)
  • ocamlx(Micromega_plugin__Itv)
  • ocamlx(Micromega_plugin__Linsolve)
  • ocamlx(Micromega_plugin__Micromega)
  • ocamlx(Micromega_plugin__Mutils)
  • ocamlx(Micromega_plugin__NumCompat)
  • ocamlx(Micromega_plugin__Persistent_cache)
  • ocamlx(Micromega_plugin__Polynomial)
  • ocamlx(Micromega_plugin__Simplex)
  • ocamlx(Micromega_plugin__Sos)
  • ocamlx(Micromega_plugin__Sos_lib)
  • ocamlx(Micromega_plugin__Sos_types)
  • ocamlx(Micromega_plugin__Vect)
  • ocamlx(Miscprint)
  • ocamlx(Mltop)
  • ocamlx(Mod_subst)
  • ocamlx(Mod_typing)
  • ocamlx(Modintern)
  • ocamlx(Modops)
  • ocamlx(Monad)
  • ocamlx(Namegen)
  • ocamlx(Nameops)
  • ocamlx(Names)
  • ocamlx(Nametab)
  • ocamlx(Nativecode)
  • ocamlx(Nativeconv)
  • ocamlx(Nativelambda)
  • ocamlx(Nativelib)
  • ocamlx(Nativelibrary)
  • ocamlx(Nativenorm)
  • ocamlx(Nativevalues)
  • ocamlx(NeList)
  • ocamlx(Notation)
  • ocamlx(Notation_gram)
  • ocamlx(Notation_ops)
  • ocamlx(Notation_term)
  • ocamlx(Notationextern)
  • ocamlx(Notgram_ops)
  • ocamlx(Nsatz_plugin)
  • ocamlx(Nsatz_plugin__G_nsatz)
  • ocamlx(Nsatz_plugin__Ideal)
  • ocamlx(Nsatz_plugin__Nsatz)
  • ocamlx(Nsatz_plugin__Polynom)
  • ocamlx(Nsatz_plugin__Utile)
  • ocamlx(NumTok)
  • ocamlx(Number_string_notation_plugin)
  • ocamlx(Number_string_notation_plugin__G_number_string)
  • ocamlx(Number_string_notation_plugin__Number)
  • ocamlx(Number_string_notation_plugin__String_notation)
  • ocamlx(ObjFile)
  • ocamlx(Opaqueproof)
  • ocamlx(Opaques)
  • ocamlx(Option)
  • ocamlx(OrderedType)
  • ocamlx(Parray)
  • ocamlx(Partac)
  • ocamlx(Pattern)
  • ocamlx(Patternops)
  • ocamlx(Pcoq)
  • ocamlx(Pp)
  • ocamlx(Pp_diff)
  • ocamlx(Ppconstr)
  • ocamlx(Ppextend)
  • ocamlx(Ppred)
  • ocamlx(Pputils)
  • ocamlx(Ppvernac)
  • ocamlx(Predicate)
  • ocamlx(Prettyp)
  • ocamlx(Pretype_errors)
  • ocamlx(Pretyping)
  • ocamlx(Primred)
  • ocamlx(Printer)
  • ocamlx(Printmod)
  • ocamlx(Program)
  • ocamlx(Proof)
  • ocamlx(ProofBlockDelimiter)
  • ocamlx(Proof_bullet)
  • ocamlx(Proof_diffs)
  • ocamlx(Proof_using)
  • ocamlx(Proofview)
  • ocamlx(Proofview_monad)
  • ocamlx(Pvernac)
  • ocamlx(Range)
  • ocamlx(RecLemmas)
  • ocamlx(Record)
  • ocamlx(Redexpr)
  • ocamlx(Redops)
  • ocamlx(Reduction)
  • ocamlx(Reductionops)
  • ocamlx(Refine)
  • ocamlx(Relevanceops)
  • ocamlx(Reserve)
  • ocamlx(RetrieveObl)
  • ocamlx(Retroknowledge)
  • ocamlx(Retyping)
  • ocamlx(Rewrite)
  • ocamlx(Ring_plugin)
  • ocamlx(Ring_plugin__G_ring)
  • ocamlx(Ring_plugin__Ring)
  • ocamlx(Ring_plugin__Ring_ast)
  • ocamlx(Rtauto_plugin)
  • ocamlx(Rtauto_plugin__G_rtauto)
  • ocamlx(Rtauto_plugin__Proof_search)
  • ocamlx(Rtauto_plugin__Refl_tauto)
  • ocamlx(Rtree)
  • ocamlx(SList)
  • ocamlx(Safe_typing)
  • ocamlx(Search)
  • ocamlx(Section)
  • ocamlx(Segmenttree)
  • ocamlx(Smartlocate)
  • ocamlx(Sorts)
  • ocamlx(Spawn)
  • ocamlx(Spawned)
  • ocamlx(Ssreflect_plugin)
  • ocamlx(Ssreflect_plugin__Ssrbwd)
  • ocamlx(Ssreflect_plugin__Ssrcommon)
  • ocamlx(Ssreflect_plugin__Ssrelim)
  • ocamlx(Ssreflect_plugin__Ssrequality)
  • ocamlx(Ssreflect_plugin__Ssrfwd)
  • ocamlx(Ssreflect_plugin__Ssripats)
  • ocamlx(Ssreflect_plugin__Ssrparser)
  • ocamlx(Ssreflect_plugin__Ssrprinters)
  • ocamlx(Ssreflect_plugin__Ssrtacticals)
  • ocamlx(Ssreflect_plugin__Ssrvernac)
  • ocamlx(Ssreflect_plugin__Ssrview)
  • ocamlx(Ssrmatching_plugin)
  • ocamlx(Ssrmatching_plugin__G_ssrmatching)
  • ocamlx(Ssrmatching_plugin__Ssrmatching)
  • ocamlx(Stateid)
  • ocamlx(Stdarg)
  • ocamlx(Stm)
  • ocamlx(Stmargs)
  • ocamlx(Store)
  • ocamlx(Structures)
  • ocamlx(Subtyping)
  • ocamlx(Summary)
  • ocamlx(System)
  • ocamlx(TQueue)
  • ocamlx(Tacmach)
  • ocamlx(Tacred)
  • ocamlx(Tacticals)
  • ocamlx(Tactics)
  • ocamlx(Tactypes)
  • ocamlx(Tauto_plugin)
  • ocamlx(Tauto_plugin__Tauto)
  • ocamlx(Term)
  • ocamlx(Term_typing)
  • ocamlx(Terminal)
  • ocamlx(Termops)
  • ocamlx(Tok)
  • ocamlx(Top_printers)
  • ocamlx(Topfmt)
  • ocamlx(TransparentState)
  • ocamlx(Trie)
  • ocamlx(Tuto0_plugin)
  • ocamlx(Tuto0_plugin__G_tuto0)
  • ocamlx(Tuto0_plugin__Tuto0_main)
  • ocamlx(Tuto1_plugin)
  • ocamlx(Tuto1_plugin__G_tuto1)
  • ocamlx(Tuto1_plugin__Inspector)
  • ocamlx(Tuto1_plugin__Simple_check)
  • ocamlx(Tuto1_plugin__Simple_declare)
  • ocamlx(Tuto1_plugin__Simple_print)
  • ocamlx(Tuto2_plugin)
  • ocamlx(Tuto2_plugin__Counter)
  • ocamlx(Tuto2_plugin__Custom)
  • ocamlx(Tuto2_plugin__G_tuto2)
  • ocamlx(Tuto2_plugin__Persistent_counter)
  • ocamlx(Tuto3_plugin)
  • ocamlx(Tuto3_plugin__Construction_game)
  • ocamlx(Tuto3_plugin__G_tuto3)
  • ocamlx(Tuto3_plugin__Tuto_tactic)
  • ocamlx(Type_errors)
  • ocamlx(Typeclasses)
  • ocamlx(Typeclasses_errors)
  • ocamlx(Typeops)
  • ocamlx(Typing)
  • ocamlx(UGraph)
  • ocamlx(UState)
  • ocamlx(Uint63)
  • ocamlx(Unicode)
  • ocamlx(Unicodetable)
  • ocamlx(Unification)
  • ocamlx(Unionfind)
  • ocamlx(Univ)
  • ocamlx(UnivGen)
  • ocamlx(UnivMinim)
  • ocamlx(UnivNames)
  • ocamlx(UnivProblem)
  • ocamlx(UnivSubst)
  • ocamlx(Util)
  • ocamlx(Vars)
  • ocamlx(Vconv)
  • ocamlx(Vcs)
  • ocamlx(Vernac)
  • ocamlx(Vernac_classifier)
  • ocamlx(Vernacentries)
  • ocamlx(Vernacexpr)
  • ocamlx(Vernacextend)
  • ocamlx(Vernacinterp)
  • ocamlx(Vernacprop)
  • ocamlx(Vernacstate)
  • ocamlx(Vio_checking)
  • ocamlx(Vio_compile)
  • ocamlx(Vm)
  • ocamlx(Vmbytecodes)
  • ocamlx(Vmbytegen)
  • ocamlx(Vmemitcodes)
  • ocamlx(Vmlambda)
  • ocamlx(Vmopcodes)
  • ocamlx(Vmsymtable)
  • ocamlx(Vmvalues)
  • ocamlx(Vnorm)
  • ocamlx(WorkerLoop)
  • ocamlx(WorkerPool)
  • ocamlx(Zify_plugin)
  • ocamlx(Zify_plugin__G_zify)
  • ocamlx(Zify_plugin__Zify)

Files


Sources on Pagure