rocq-core-source-9.1.1-1.fc45 in Fedora Rawhide
↵ Return to the main page of rocq-core-source
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-core = 9.1.1-1.fc45
Provides
- rocq-core-source
- rocq-core-source(x86-64)
Files
- usr/
- lib64/
- ocaml/
- coq/
- theories/
- Array/
- ArrayAxioms.v
- PrimArray.v
- BinNums/
- IntDef.v
- NatDef.v
- PosDef.v
- Classes/
- CMorphisms.v
- CRelationClasses.v
- Equivalence.v
- Init.v
- Morphisms.v
- Morphisms_Prop.v
- RelationClasses.v
- SetoidTactics.v
- Compat/
- Coq818.v
- Coq819.v
- Coq820.v
- Rocq90.v
- Floats/
- FloatAxioms.v
- FloatClass.v
- FloatOps.v
- PrimFloat.v
- SpecFloat.v
- Init/
- Byte.v
- Datatypes.v
- Decimal.v
- Hexadecimal.v
- Logic.v
- Ltac.v
- Nat.v
- Notations.v
- Number.v
- Peano.v
- Prelude.v
- Specif.v
- Sumbool.v
- Tactics.v
- Tauto.v
- Wf.v
- Lists/
- ListDef.v
- Numbers/
- BinNums.v
- Program/
- Basics.v
- Tactics.v
- Utils.v
- Wf.v
- Relations/
- Relation_Definitions.v
- Setoids/
- Setoid.v
- Strings/
- PrimString.v
- PrimStringAxioms.v
- derive/
- Derive.v
- extraction/
- ExtrHaskellBasic.v
- ExtrOcamlBasic.v
- Extraction.v
- ssr/
- ssrbool.v
- ssrclasses.v
- ssreflect.v
- ssrfun.v
- ssrsetoid.v
- ssrunder.v
- ssrmatching/
- ssrmatching.v
- Array/
- user-contrib/
- Ltac2/
- Compat/
- Coq818.v
- Coq819.v
- Compat/
- Ltac2/
- theories/
- coq/
- ocaml/
- lib64/
Sources on Pagure