rocq-core-9.1.1-1.fc45 in Fedora Rawhide
↵ 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-03-20 | Jerry James <loganjerry at gmail dot com> - 9.1.1-1 | - Initial RPM |
Dependencies
- rocq-runtime = 9.1.1-1.fc45
Provides
- coq
- rocq-core
- rocq-core(x86-64)
Files
- usr/
- lib64/
- ocaml/
- coq/
- theories/
- Array/
- ArrayAxioms.glob
- ArrayAxioms.vo
- ArrayAxioms.vos
- PrimArray.glob
- PrimArray.vo
- PrimArray.vos
- BinNums/
- IntDef.glob
- IntDef.vo
- IntDef.vos
- NatDef.glob
- NatDef.vo
- NatDef.vos
- PosDef.glob
- PosDef.vo
- PosDef.vos
- Classes/
- CMorphisms.glob
- CMorphisms.vo
- CMorphisms.vos
- CRelationClasses.glob
- CRelationClasses.vo
- CRelationClasses.vos
- Equivalence.glob
- Equivalence.vo
- Equivalence.vos
- Init.glob
- Init.vo
- Init.vos
- Morphisms.glob
- Morphisms.vo
- Morphisms.vos
- Morphisms_Prop.glob
- Morphisms_Prop.vo
- Morphisms_Prop.vos
- RelationClasses.glob
- RelationClasses.vo
- RelationClasses.vos
- SetoidTactics.glob
- SetoidTactics.vo
- SetoidTactics.vos
- Compat/
- Coq818.glob
- Coq818.vo
- Coq818.vos
- Coq819.glob
- Coq819.vo
- Coq819.vos
- Coq820.glob
- Coq820.vo
- Coq820.vos
- Rocq90.glob
- Rocq90.vo
- Rocq90.vos
- Floats/
- FloatAxioms.glob
- FloatAxioms.vo
- FloatAxioms.vos
- FloatClass.glob
- FloatClass.vo
- FloatClass.vos
- FloatOps.glob
- FloatOps.vo
- FloatOps.vos
- PrimFloat.glob
- PrimFloat.vo
- PrimFloat.vos
- SpecFloat.glob
- SpecFloat.vo
- SpecFloat.vos
- Init/
- Byte.glob
- Byte.vo
- Byte.vos
- Datatypes.glob
- Datatypes.vo
- Datatypes.vos
- Decimal.glob
- Decimal.vo
- Decimal.vos
- Hexadecimal.glob
- Hexadecimal.vo
- Hexadecimal.vos
- Logic.glob
- Logic.vo
- Logic.vos
- Ltac.glob
- Ltac.vo
- Ltac.vos
- Nat.glob
- Nat.vo
- Nat.vos
- Notations.glob
- Notations.vo
- Notations.vos
- Number.glob
- Number.vo
- Number.vos
- Peano.glob
- Peano.vo
- Peano.vos
- Prelude.glob
- Prelude.vo
- Prelude.vos
- Specif.glob
- Specif.vo
- Specif.vos
- Sumbool.glob
- Sumbool.vo
- Sumbool.vos
- Tactics.glob
- Tactics.vo
- Tactics.vos
- Tauto.glob
- Tauto.vo
- Tauto.vos
- Wf.glob
- Wf.vo
- Wf.vos
- Lists/
- ListDef.glob
- ListDef.vo
- ListDef.vos
- Numbers/
- BinNums.glob
- BinNums.vo
- BinNums.vos
- Cyclic/
- Int63/
- CarryType.glob
- CarryType.v
- CarryType.vo
- CarryType.vos
- PrimInt63.glob
- PrimInt63.v
- PrimInt63.vo
- PrimInt63.vos
- Sint63Axioms.glob
- Sint63Axioms.v
- Sint63Axioms.vo
- Sint63Axioms.vos
- Uint63Axioms.glob
- Uint63Axioms.v
- Uint63Axioms.vo
- Uint63Axioms.vos
- Int63/
- Program/
- Basics.glob
- Basics.vo
- Basics.vos
- Tactics.glob
- Tactics.vo
- Tactics.vos
- Utils.glob
- Utils.vo
- Utils.vos
- Wf.glob
- Wf.vo
- Wf.vos
- Relations/
- Relation_Definitions.glob
- Relation_Definitions.vo
- Relation_Definitions.vos
- Setoids/
- Setoid.glob
- Setoid.vo
- Setoid.vos
- Strings/
- PrimString.glob
- PrimString.vo
- PrimString.vos
- PrimStringAxioms.glob
- PrimStringAxioms.vo
- PrimStringAxioms.vos
- derive/
- Derive.glob
- Derive.vo
- Derive.vos
- extraction/
- ExtrHaskellBasic.glob
- ExtrHaskellBasic.vo
- ExtrHaskellBasic.vos
- ExtrOcamlBasic.glob
- ExtrOcamlBasic.vo
- ExtrOcamlBasic.vos
- Extraction.glob
- Extraction.vo
- Extraction.vos
- ssr/
- ssrbool.glob
- ssrbool.vo
- ssrbool.vos
- ssrclasses.glob
- ssrclasses.vo
- ssrclasses.vos
- ssreflect.glob
- ssreflect.vo
- ssreflect.vos
- ssrfun.glob
- ssrfun.vo
- ssrfun.vos
- ssrsetoid.glob
- ssrsetoid.vo
- ssrsetoid.vos
- ssrunder.glob
- ssrunder.vo
- ssrunder.vos
- ssrmatching/
- ssrmatching.glob
- ssrmatching.vo
- ssrmatching.vos
- Array/
- user-contrib/
- Ltac2/
- Array.glob
- Array.v
- Array.vo
- Array.vos
- Bool.glob
- Bool.v
- Bool.vo
- Bool.vos
- Char.glob
- Char.v
- Char.vo
- Char.vos
- Compat/
- Coq818.glob
- Coq818.vo
- Coq818.vos
- Coq819.glob
- Coq819.vo
- Coq819.vos
- Constant.glob
- Constant.v
- Constant.vo
- Constant.vos
- Constr.glob
- Constr.v
- Constr.vo
- Constr.vos
- Constructor.glob
- Constructor.v
- Constructor.vo
- Constructor.vos
- Control.glob
- Control.v
- Control.vo
- Control.vos
- Env.glob
- Env.v
- Env.vo
- Env.vos
- Evar.glob
- Evar.v
- Evar.vo
- Evar.vos
- FMap.glob
- FMap.v
- FMap.vo
- FMap.vos
- FSet.glob
- FSet.v
- FSet.vo
- FSet.vos
- Float.glob
- Float.v
- Float.vo
- Float.vos
- Fresh.glob
- Fresh.v
- Fresh.vo
- Fresh.vos
- Ident.glob
- Ident.v
- Ident.vo
- Ident.vos
- Ind.glob
- Ind.v
- Ind.vo
- Ind.vos
- Init.glob
- Init.v
- Init.vo
- Init.vos
- Int.glob
- Int.v
- Int.vo
- Int.vos
- Lazy.glob
- Lazy.v
- Lazy.vo
- Lazy.vos
- List.glob
- List.v
- List.vo
- List.vos
- Ltac1.glob
- Ltac1.v
- Ltac1.vo
- Ltac1.vos
- Ltac1CompatNotations.glob
- Ltac1CompatNotations.v
- Ltac1CompatNotations.vo
- Ltac1CompatNotations.vos
- Ltac2.glob
- Ltac2.v
- Ltac2.vo
- Ltac2.vos
- Message.glob
- Message.v
- Message.vo
- Message.vos
- Meta.glob
- Meta.v
- Meta.vo
- Meta.vos
- Notations.glob
- Notations.v
- Notations.vo
- Notations.vos
- Option.glob
- Option.v
- Option.vo
- Option.vos
- Pattern.glob
- Pattern.v
- Pattern.vo
- Pattern.vos
- Printf.glob
- Printf.v
- Printf.vo
- Printf.vos
- Proj.glob
- Proj.v
- Proj.vo
- Proj.vos
- Pstring.glob
- Pstring.v
- Pstring.vo
- Pstring.vos
- RedFlags.glob
- RedFlags.v
- RedFlags.vo
- RedFlags.vos
- Ref.glob
- Ref.v
- Ref.vo
- Ref.vos
- Rewrite.glob
- Rewrite.v
- Rewrite.vo
- Rewrite.vos
- Std.glob
- Std.v
- Std.vo
- Std.vos
- String.glob
- String.v
- String.vo
- String.vos
- TransparentState.glob
- TransparentState.v
- TransparentState.vo
- TransparentState.vos
- Uint63.glob
- Uint63.v
- Uint63.vo
- Uint63.vos
- Unification.glob
- Unification.v
- Unification.vo
- Unification.vos
- Ltac2/
- theories/
- rocq-core/
- META
- dune-package
- opam
- coq/
- ocaml/
- lib64/
Sources on Pagure