rocq-core-9.2.0-1.fc44 in Fedora 44

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

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

Changelog

Date	Author	Change
2026-04-16	Jerry James <loganjerry at gmail dot com> - 9.2.0-1	- Version 9.2.0 - Drop upstreamed documentation patch - Enable the native compiler for x86_64
2026-03-20	Jerry James <loganjerry at gmail dot com> - 9.1.1-1	- Initial RPM

Dependencies

glibc
rocq-runtime = a0928ab85aa9d3f76c78f32d885ccf4b
rocq-runtime-devel = a0928ab85aa9d3f76c78f32d885ccf4b

Provides

coq
ocaml(NCorelib_Array_ArrayAxioms)
ocaml(NCorelib_Array_PrimArray)
ocaml(NCorelib_BinNums_IntDef)
ocaml(NCorelib_BinNums_NatDef)
ocaml(NCorelib_BinNums_PosDef)
ocaml(NCorelib_Classes_CMorphisms)
ocaml(NCorelib_Classes_CRelationClasses)
ocaml(NCorelib_Classes_Equivalence)
ocaml(NCorelib_Classes_Init)
ocaml(NCorelib_Classes_Morphisms)
ocaml(NCorelib_Classes_Morphisms_Prop)
ocaml(NCorelib_Classes_RelationClasses)
ocaml(NCorelib_Classes_SetoidTactics)
ocaml(NCorelib_Compat_Coq818)
ocaml(NCorelib_Compat_Coq819)
ocaml(NCorelib_Compat_Coq820)
ocaml(NCorelib_Compat_Rocq90)
ocaml(NCorelib_Compat_Rocq91)
ocaml(NCorelib_Floats_FloatAxioms)
ocaml(NCorelib_Floats_FloatClass)
ocaml(NCorelib_Floats_FloatOps)
ocaml(NCorelib_Floats_PrimFloat)
ocaml(NCorelib_Floats_SpecFloat)
ocaml(NCorelib_Init_Byte)
ocaml(NCorelib_Init_Datatypes)
ocaml(NCorelib_Init_Decimal)
ocaml(NCorelib_Init_Equality)
ocaml(NCorelib_Init_Hexadecimal)
ocaml(NCorelib_Init_Logic)
ocaml(NCorelib_Init_Ltac)
ocaml(NCorelib_Init_Nat)
ocaml(NCorelib_Init_Notations)
ocaml(NCorelib_Init_Number)
ocaml(NCorelib_Init_Peano)
ocaml(NCorelib_Init_Prelude)
ocaml(NCorelib_Init_Specif)
ocaml(NCorelib_Init_Sumbool)
ocaml(NCorelib_Init_Tactics)
ocaml(NCorelib_Init_Tauto)
ocaml(NCorelib_Init_Wf)
ocaml(NCorelib_Lists_ListDef)
ocaml(NCorelib_Numbers_BinNums)
ocaml(NCorelib_Numbers_Cyclic_Int63_CarryType)
ocaml(NCorelib_Numbers_Cyclic_Int63_PrimInt63)
ocaml(NCorelib_Numbers_Cyclic_Int63_Sint63Axioms)
ocaml(NCorelib_Numbers_Cyclic_Int63_Uint63Axioms)
ocaml(NCorelib_Program_Basics)
ocaml(NCorelib_Program_Tactics)
ocaml(NCorelib_Program_Utils)
ocaml(NCorelib_Program_Wf)
ocaml(NCorelib_Relations_Relation_Definitions)
ocaml(NCorelib_Setoids_Setoid)
ocaml(NCorelib_Strings_PrimString)
ocaml(NCorelib_Strings_PrimStringAxioms)
ocaml(NCorelib_derive_Derive)
ocaml(NCorelib_extraction_ExtrHaskellBasic)
ocaml(NCorelib_extraction_ExtrOcamlBasic)
ocaml(NCorelib_extraction_Extraction)
ocaml(NCorelib_ssr_ssrbool)
ocaml(NCorelib_ssr_ssrclasses)
ocaml(NCorelib_ssr_ssreflect)
ocaml(NCorelib_ssr_ssrfun)
ocaml(NCorelib_ssr_ssrsetoid)
ocaml(NCorelib_ssr_ssrunder)
ocaml(NCorelib_ssrmatching_ssrmatching)
ocaml(NLtac2_Array)
ocaml(NLtac2_Bool)
ocaml(NLtac2_Char)
ocaml(NLtac2_Compat_Coq818)
ocaml(NLtac2_Compat_Coq819)
ocaml(NLtac2_Constant)
ocaml(NLtac2_Constr)
ocaml(NLtac2_Constructor)
ocaml(NLtac2_Control)
ocaml(NLtac2_Env)
ocaml(NLtac2_Evar)
ocaml(NLtac2_FMap)
ocaml(NLtac2_FSet)
ocaml(NLtac2_Float)
ocaml(NLtac2_Fresh)
ocaml(NLtac2_Ident)
ocaml(NLtac2_Ind)
ocaml(NLtac2_Init)
ocaml(NLtac2_Int)
ocaml(NLtac2_Lazy)
ocaml(NLtac2_List)
ocaml(NLtac2_Ltac1)
ocaml(NLtac2_Ltac1CompatNotations)
ocaml(NLtac2_Ltac2)
ocaml(NLtac2_Message)
ocaml(NLtac2_Meta)
ocaml(NLtac2_Module)
ocaml(NLtac2_Notations)
ocaml(NLtac2_Option)
ocaml(NLtac2_Pattern)
ocaml(NLtac2_Printf)
ocaml(NLtac2_Proj)
ocaml(NLtac2_Pstring)
ocaml(NLtac2_RedFlags)
ocaml(NLtac2_Ref)
ocaml(NLtac2_Reference)
ocaml(NLtac2_Rewrite)
ocaml(NLtac2_Std)
ocaml(NLtac2_String)
ocaml(NLtac2_TransparentState)
ocaml(NLtac2_Uint63)
ocaml(NLtac2_Unification)
rocq-core
rocq-core(x86-64)

Files

usr/
- lib64/
  - ocaml/
    - coq/
      - theories/
        
        Array/
        
        .coq-native/
        
        NCorelib_Array_ArrayAxioms.cmi
        
        NCorelib_Array_ArrayAxioms.cmxs
        
        NCorelib_Array_PrimArray.cmi
        
        NCorelib_Array_PrimArray.cmxs
        
        ArrayAxioms.glob
        
        ArrayAxioms.vo
        
        PrimArray.glob
        
        PrimArray.vo
        
        BinNums/
        
        .coq-native/
        
        NCorelib_BinNums_IntDef.cmi
        
        NCorelib_BinNums_IntDef.cmxs
        
        NCorelib_BinNums_NatDef.cmi
        
        NCorelib_BinNums_NatDef.cmxs
        
        NCorelib_BinNums_PosDef.cmi
        
        NCorelib_BinNums_PosDef.cmxs
        
        IntDef.glob
        
        IntDef.vo
        
        NatDef.glob
        
        NatDef.vo
        
        PosDef.glob
        
        PosDef.vo
        
        Classes/
        
        .coq-native/
        
        NCorelib_Classes_CMorphisms.cmi
        
        NCorelib_Classes_CMorphisms.cmxs
        
        NCorelib_Classes_CRelationClasses.cmi
        
        NCorelib_Classes_CRelationClasses.cmxs
        
        NCorelib_Classes_Equivalence.cmi
        
        NCorelib_Classes_Equivalence.cmxs
        
        NCorelib_Classes_Init.cmi
        
        NCorelib_Classes_Init.cmxs
        
        NCorelib_Classes_Morphisms.cmi
        
        NCorelib_Classes_Morphisms.cmxs
        
        NCorelib_Classes_Morphisms_Prop.cmi
        
        NCorelib_Classes_Morphisms_Prop.cmxs
        
        NCorelib_Classes_RelationClasses.cmi
        
        NCorelib_Classes_RelationClasses.cmxs
        
        NCorelib_Classes_SetoidTactics.cmi
        
        NCorelib_Classes_SetoidTactics.cmxs
        
        CMorphisms.glob
        
        CMorphisms.vo
        
        CRelationClasses.glob
        
        CRelationClasses.vo
        
        Equivalence.glob
        
        Equivalence.vo
        
        Init.glob
        
        Init.vo
        
        Morphisms.glob
        
        Morphisms.vo
        
        Morphisms_Prop.glob
        
        Morphisms_Prop.vo
        
        RelationClasses.glob
        
        RelationClasses.vo
        
        SetoidTactics.glob
        
        SetoidTactics.vo
        
        Compat/
        
        .coq-native/
        
        NCorelib_Compat_Coq818.cmi
        
        NCorelib_Compat_Coq818.cmxs
        
        NCorelib_Compat_Coq819.cmi
        
        NCorelib_Compat_Coq819.cmxs
        
        NCorelib_Compat_Coq820.cmi
        
        NCorelib_Compat_Coq820.cmxs
        
        NCorelib_Compat_Rocq90.cmi
        
        NCorelib_Compat_Rocq90.cmxs
        
        NCorelib_Compat_Rocq91.cmi
        
        NCorelib_Compat_Rocq91.cmxs
        
        Coq818.glob
        
        Coq818.vo
        
        Coq819.glob
        
        Coq819.vo
        
        Coq820.glob
        
        Coq820.vo
        
        Rocq90.glob
        
        Rocq90.vo
        
        Rocq91.glob
        
        Rocq91.vo
        
        Floats/
        
        .coq-native/
        
        NCorelib_Floats_FloatAxioms.cmi
        
        NCorelib_Floats_FloatAxioms.cmxs
        
        NCorelib_Floats_FloatClass.cmi
        
        NCorelib_Floats_FloatClass.cmxs
        
        NCorelib_Floats_FloatOps.cmi
        
        NCorelib_Floats_FloatOps.cmxs
        
        NCorelib_Floats_PrimFloat.cmi
        
        NCorelib_Floats_PrimFloat.cmxs
        
        NCorelib_Floats_SpecFloat.cmi
        
        NCorelib_Floats_SpecFloat.cmxs
        
        FloatAxioms.glob
        
        FloatAxioms.vo
        
        FloatClass.glob
        
        FloatClass.vo
        
        FloatOps.glob
        
        FloatOps.vo
        
        PrimFloat.glob
        
        PrimFloat.vo
        
        SpecFloat.glob
        
        SpecFloat.vo
        
        Init/
        
        .coq-native/
        
        NCorelib_Init_Byte.cmi
        
        NCorelib_Init_Byte.cmxs
        
        NCorelib_Init_Datatypes.cmi
        
        NCorelib_Init_Datatypes.cmxs
        
        NCorelib_Init_Decimal.cmi
        
        NCorelib_Init_Decimal.cmxs
        
        NCorelib_Init_Equality.cmi
        
        NCorelib_Init_Equality.cmxs
        
        NCorelib_Init_Hexadecimal.cmi
        
        NCorelib_Init_Hexadecimal.cmxs
        
        NCorelib_Init_Logic.cmi
        
        NCorelib_Init_Logic.cmxs
        
        NCorelib_Init_Ltac.cmi
        
        NCorelib_Init_Ltac.cmxs
        
        NCorelib_Init_Nat.cmi
        
        NCorelib_Init_Nat.cmxs
        
        NCorelib_Init_Notations.cmi
        
        NCorelib_Init_Notations.cmxs
        
        NCorelib_Init_Number.cmi
        
        NCorelib_Init_Number.cmxs
        
        NCorelib_Init_Peano.cmi
        
        NCorelib_Init_Peano.cmxs
        
        NCorelib_Init_Prelude.cmi
        
        NCorelib_Init_Prelude.cmxs
        
        NCorelib_Init_Specif.cmi
        
        NCorelib_Init_Specif.cmxs
        
        NCorelib_Init_Sumbool.cmi
        
        NCorelib_Init_Sumbool.cmxs
        
        NCorelib_Init_Tactics.cmi
        
        NCorelib_Init_Tactics.cmxs
        
        NCorelib_Init_Tauto.cmi
        
        NCorelib_Init_Tauto.cmxs
        
        NCorelib_Init_Wf.cmi
        
        NCorelib_Init_Wf.cmxs
        
        Byte.glob
        
        Byte.vo
        
        Datatypes.glob
        
        Datatypes.vo
        
        Decimal.glob
        
        Decimal.vo
        
        Equality.glob
        
        Equality.vo
        
        Hexadecimal.glob
        
        Hexadecimal.vo
        
        Logic.glob
        
        Logic.vo
        
        Ltac.glob
        
        Ltac.vo
        
        Nat.glob
        
        Nat.vo
        
        Notations.glob
        
        Notations.vo
        
        Number.glob
        
        Number.vo
        
        Peano.glob
        
        Peano.vo
        
        Prelude.glob
        
        Prelude.vo
        
        Specif.glob
        
        Specif.vo
        
        Sumbool.glob
        
        Sumbool.vo
        
        Tactics.glob
        
        Tactics.vo
        
        Tauto.glob
        
        Tauto.vo
        
        Wf.glob
        
        Wf.vo
        
        Lists/
        
        .coq-native/
        
        NCorelib_Lists_ListDef.cmi
        
        NCorelib_Lists_ListDef.cmxs
        
        ListDef.glob
        
        ListDef.vo
        
        Numbers/
        
        .coq-native/
        
        NCorelib_Numbers_BinNums.cmi
        
        NCorelib_Numbers_BinNums.cmxs
        
        BinNums.glob
        
        BinNums.vo
        
        Cyclic/
        
        Int63/
        
        .coq-native/
        
        NCorelib_Numbers_Cyclic_Int63_CarryType.cmi
        
        NCorelib_Numbers_Cyclic_Int63_CarryType.cmxs
        
        NCorelib_Numbers_Cyclic_Int63_PrimInt63.cmi
        
        NCorelib_Numbers_Cyclic_Int63_PrimInt63.cmxs
        
        NCorelib_Numbers_Cyclic_Int63_Sint63Axioms.cmi
        
        NCorelib_Numbers_Cyclic_Int63_Sint63Axioms.cmxs
        
        NCorelib_Numbers_Cyclic_Int63_Uint63Axioms.cmi
        
        NCorelib_Numbers_Cyclic_Int63_Uint63Axioms.cmxs
        
        CarryType.glob
        
        CarryType.v
        
        CarryType.vo
        
        PrimInt63.glob
        
        PrimInt63.v
        
        PrimInt63.vo
        
        Sint63Axioms.glob
        
        Sint63Axioms.v
        
        Sint63Axioms.vo
        
        Uint63Axioms.glob
        
        Uint63Axioms.v
        
        Uint63Axioms.vo
        
        Program/
        
        .coq-native/
        
        NCorelib_Program_Basics.cmi
        
        NCorelib_Program_Basics.cmxs
        
        NCorelib_Program_Tactics.cmi
        
        NCorelib_Program_Tactics.cmxs
        
        NCorelib_Program_Utils.cmi
        
        NCorelib_Program_Utils.cmxs
        
        NCorelib_Program_Wf.cmi
        
        NCorelib_Program_Wf.cmxs
        
        Basics.glob
        
        Basics.vo
        
        Tactics.glob
        
        Tactics.vo
        
        Utils.glob
        
        Utils.vo
        
        Wf.glob
        
        Wf.vo
        
        Relations/
        
        .coq-native/
        
        NCorelib_Relations_Relation_Definitions.cmi
        
        NCorelib_Relations_Relation_Definitions.cmxs
        
        Relation_Definitions.glob
        
        Relation_Definitions.vo
        
        Setoids/
        
        .coq-native/
        
        NCorelib_Setoids_Setoid.cmi
        
        NCorelib_Setoids_Setoid.cmxs
        
        Setoid.glob
        
        Setoid.vo
        
        Strings/
        
        .coq-native/
        
        NCorelib_Strings_PrimString.cmi
        
        NCorelib_Strings_PrimString.cmxs
        
        NCorelib_Strings_PrimStringAxioms.cmi
        
        NCorelib_Strings_PrimStringAxioms.cmxs
        
        PrimString.glob
        
        PrimString.vo
        
        PrimStringAxioms.glob
        
        PrimStringAxioms.vo
        
        derive/
        
        .coq-native/
        
        NCorelib_derive_Derive.cmi
        
        NCorelib_derive_Derive.cmxs
        
        Derive.glob
        
        Derive.vo
        
        extraction/
        
        .coq-native/
        
        NCorelib_extraction_ExtrHaskellBasic.cmi
        
        NCorelib_extraction_ExtrHaskellBasic.cmxs
        
        NCorelib_extraction_ExtrOcamlBasic.cmi
        
        NCorelib_extraction_ExtrOcamlBasic.cmxs
        
        NCorelib_extraction_Extraction.cmi
        
        NCorelib_extraction_Extraction.cmxs
        
        ExtrHaskellBasic.glob
        
        ExtrHaskellBasic.vo
        
        ExtrOcamlBasic.glob
        
        ExtrOcamlBasic.vo
        
        Extraction.glob
        
        Extraction.vo
        
        ssr/
        
        .coq-native/
        
        NCorelib_ssr_ssrbool.cmi
        
        NCorelib_ssr_ssrbool.cmxs
        
        NCorelib_ssr_ssrclasses.cmi
        
        NCorelib_ssr_ssrclasses.cmxs
        
        NCorelib_ssr_ssreflect.cmi
        
        NCorelib_ssr_ssreflect.cmxs
        
        NCorelib_ssr_ssrfun.cmi
        
        NCorelib_ssr_ssrfun.cmxs
        
        NCorelib_ssr_ssrsetoid.cmi
        
        NCorelib_ssr_ssrsetoid.cmxs
        
        NCorelib_ssr_ssrunder.cmi
        
        NCorelib_ssr_ssrunder.cmxs
        
        ssrbool.glob
        
        ssrbool.vo
        
        ssrclasses.glob
        
        ssrclasses.vo
        
        ssreflect.glob
        
        ssreflect.vo
        
        ssrfun.glob
        
        ssrfun.vo
        
        ssrsetoid.glob
        
        ssrsetoid.vo
        
        ssrunder.glob
        
        ssrunder.vo
        
        ssrmatching/
        
        .coq-native/
        
        NCorelib_ssrmatching_ssrmatching.cmi
        
        NCorelib_ssrmatching_ssrmatching.cmxs
        
        ssrmatching.glob
        
        ssrmatching.vo
      - user-contrib/
        
        Ltac2/
        
        .coq-native/
        
        NLtac2_Array.cmi
        
        NLtac2_Array.cmxs
        
        NLtac2_Bool.cmi
        
        NLtac2_Bool.cmxs
        
        NLtac2_Char.cmi
        
        NLtac2_Char.cmxs
        
        NLtac2_Constant.cmi
        
        NLtac2_Constant.cmxs
        
        NLtac2_Constr.cmi
        
        NLtac2_Constr.cmxs
        
        NLtac2_Constructor.cmi
        
        NLtac2_Constructor.cmxs
        
        NLtac2_Control.cmi
        
        NLtac2_Control.cmxs
        
        NLtac2_Env.cmi
        
        NLtac2_Env.cmxs
        
        NLtac2_Evar.cmi
        
        NLtac2_Evar.cmxs
        
        NLtac2_FMap.cmi
        
        NLtac2_FMap.cmxs
        
        NLtac2_FSet.cmi
        
        NLtac2_FSet.cmxs
        
        NLtac2_Float.cmi
        
        NLtac2_Float.cmxs
        
        NLtac2_Fresh.cmi
        
        NLtac2_Fresh.cmxs
        
        NLtac2_Ident.cmi
        
        NLtac2_Ident.cmxs
        
        NLtac2_Ind.cmi
        
        NLtac2_Ind.cmxs
        
        NLtac2_Init.cmi
        
        NLtac2_Init.cmxs
        
        NLtac2_Int.cmi
        
        NLtac2_Int.cmxs
        
        NLtac2_Lazy.cmi
        
        NLtac2_Lazy.cmxs
        
        NLtac2_List.cmi
        
        NLtac2_List.cmxs
        
        NLtac2_Ltac1.cmi
        
        NLtac2_Ltac1.cmxs
        
        NLtac2_Ltac1CompatNotations.cmi
        
        NLtac2_Ltac1CompatNotations.cmxs
        
        NLtac2_Ltac2.cmi
        
        NLtac2_Ltac2.cmxs
        
        NLtac2_Message.cmi
        
        NLtac2_Message.cmxs
        
        NLtac2_Meta.cmi
        
        NLtac2_Meta.cmxs
        
        NLtac2_Module.cmi
        
        NLtac2_Module.cmxs
        
        NLtac2_Notations.cmi
        
        NLtac2_Notations.cmxs
        
        NLtac2_Option.cmi
        
        NLtac2_Option.cmxs
        
        NLtac2_Pattern.cmi
        
        NLtac2_Pattern.cmxs
        
        NLtac2_Printf.cmi
        
        NLtac2_Printf.cmxs
        
        NLtac2_Proj.cmi
        
        NLtac2_Proj.cmxs
        
        NLtac2_Pstring.cmi
        
        NLtac2_Pstring.cmxs
        
        NLtac2_RedFlags.cmi
        
        NLtac2_RedFlags.cmxs
        
        NLtac2_Ref.cmi
        
        NLtac2_Ref.cmxs
        
        NLtac2_Reference.cmi
        
        NLtac2_Reference.cmxs
        
        NLtac2_Rewrite.cmi
        
        NLtac2_Rewrite.cmxs
        
        NLtac2_Std.cmi
        
        NLtac2_Std.cmxs
        
        NLtac2_String.cmi
        
        NLtac2_String.cmxs
        
        NLtac2_TransparentState.cmi
        
        NLtac2_TransparentState.cmxs
        
        NLtac2_Uint63.cmi
        
        NLtac2_Uint63.cmxs
        
        NLtac2_Unification.cmi
        
        NLtac2_Unification.cmxs
        
        Array.glob
        
        Array.v
        
        Array.vo
        
        Bool.glob
        
        Bool.v
        
        Bool.vo
        
        Char.glob
        
        Char.v
        
        Char.vo
        
        Compat/
        
        .coq-native/
        
        NLtac2_Compat_Coq818.cmi
        
        NLtac2_Compat_Coq818.cmxs
        
        NLtac2_Compat_Coq819.cmi
        
        NLtac2_Compat_Coq819.cmxs
        
        Coq818.glob
        
        Coq818.vo
        
        Coq819.glob
        
        Coq819.vo
        
        Constant.glob
        
        Constant.v
        
        Constant.vo
        
        Constr.glob
        
        Constr.v
        
        Constr.vo
        
        Constructor.glob
        
        Constructor.v
        
        Constructor.vo
        
        Control.glob
        
        Control.v
        
        Control.vo
        
        Env.glob
        
        Env.v
        
        Env.vo
        
        Evar.glob
        
        Evar.v
        
        Evar.vo
        
        FMap.glob
        
        FMap.v
        
        FMap.vo
        
        FSet.glob
        
        FSet.v
        
        FSet.vo
        
        Float.glob
        
        Float.v
        
        Float.vo
        
        Fresh.glob
        
        Fresh.v
        
        Fresh.vo
        
        Ident.glob
        
        Ident.v
        
        Ident.vo
        
        Ind.glob
        
        Ind.v
        
        Ind.vo
        
        Init.glob
        
        Init.v
        
        Init.vo
        
        Int.glob
        
        Int.v
        
        Int.vo
        
        Lazy.glob
        
        Lazy.v
        
        Lazy.vo
        
        List.glob
        
        List.v
        
        List.vo
        
        Ltac1.glob
        
        Ltac1.v
        
        Ltac1.vo
        
        Ltac1CompatNotations.glob
        
        Ltac1CompatNotations.v
        
        Ltac1CompatNotations.vo
        
        Ltac2.glob
        
        Ltac2.v
        
        Ltac2.vo
        
        Message.glob
        
        Message.v
        
        Message.vo
        
        Meta.glob
        
        Meta.v
        
        Meta.vo
        
        Module.glob
        
        Module.v
        
        Module.vo
        
        Notations.glob
        
        Notations.v
        
        Notations.vo
        
        Option.glob
        
        Option.v
        
        Option.vo
        
        Pattern.glob
        
        Pattern.v
        
        Pattern.vo
        
        Printf.glob
        
        Printf.v
        
        Printf.vo
        
        Proj.glob
        
        Proj.v
        
        Proj.vo
        
        Pstring.glob
        
        Pstring.v
        
        Pstring.vo
        
        RedFlags.glob
        
        RedFlags.v
        
        RedFlags.vo
        
        Ref.glob
        
        Ref.v
        
        Ref.vo
        
        Reference.glob
        
        Reference.v
        
        Reference.vo
        
        Rewrite.glob
        
        Rewrite.v
        
        Rewrite.vo
        
        Std.glob
        
        Std.v
        
        Std.vo
        
        String.glob
        
        String.v
        
        String.vo
        
        TransparentState.glob
        
        TransparentState.v
        
        TransparentState.vo
        
        Uint63.glob
        
        Uint63.v
        
        Uint63.vo
        
        Unification.glob
        
        Unification.v
        
        Unification.vo
    - rocq-core/
      - META
      - dune-package
      - opam

Sources on Pagure