Sat, 28 Sep 2024 01:11:43 UTC | login

Information for RPM Agda-stdlib-docs-1.7.3-2.fc40.noarch.rpm

ID1144354
NameAgda-stdlib-docs
Version1.7.3
Release2.fc40
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2023-12-08 02:44:13 GMT
Size3.10 MB
721bd8a4bfbd6a08d830f77e1d24b512
LicenseMIT
Provides
Agda-stdlib-docs = 1.7.3-2.fc40
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
<<< 51 through 100 of 1031 >>>
Name descending sort Size
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Consequences.html3.27 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.StrictPartialOrder.html14.92 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Preorder.html16.10 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Base.html43.64 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.html13.13 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Universe.html67.43 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Sum.html10.23 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Reflects.html14.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Product.html9.57 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.html39.24 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.Core.html28.61 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Indexed.html3.18 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Indexed.Negation.html5.94 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Implication.html9.55 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.html17.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.Core.html44.02 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Supremum.html1.64 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Point.html2.50 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Infimum.html1.63 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Extrema.html7.69 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nary.html77.54 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.html1.90 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.TypeClasses.html2.22 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Structures.html58.86 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Rewriting.html64.42 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reflection.html36.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.StrictPartialOrder.html6.26 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Setoid.html7.47 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Preorder.html4.66 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.PartialSetoid.html7.04 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.PartialOrder.html7.71 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.MultiSetoid.html23.86 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Triple.html69.15 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Single.html19.95 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Partial.html29.60 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Double.html44.73 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.html54.97 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.WithK.html5.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.TrustMe.html11.29 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Properties.html69.26 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Core.html44.50 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Algebra.html5.49 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.TotalOrder.html17.19 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictTotalOrder.html4.39 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictPartialOrder.html4.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Setoid.html12.35 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Preorder.html8.34 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Poset.html28.90 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.MeetSemilattice.html8.29 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Lattice.html43.33 KB
Component of No Buildroots