Thu, 27 Jun 2024 02:00:53 UTC | login

Information for RPM Agda-stdlib-docs-1.7.1-3.fc37.noarch.rpm

ID866032
NameAgda-stdlib-docs
Version1.7.1
Release3.fc37
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2022-07-20 18:32:00 GMT
Size3.14 MB
94c60a6d7070e9e5be4a9872bed5564e
LicenseMIT
Provides
Agda-stdlib-docs = 1.7.1-3.fc37
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 1015 >>>
Name descending sort Size
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Consequences.html3.26 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.StrictPartialOrder.html14.91 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Preorder.html16.09 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Base.html43.63 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.html13.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Universe.html67.42 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Sum.html10.22 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Reflects.html14.11 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Product.html9.56 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.html39.23 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.Core.html28.59 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Indexed.html3.17 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Indexed.Negation.html5.93 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Implication.html9.54 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.html17.88 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.Core.html44.01 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Supremum.html1.63 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Point.html2.49 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Infimum.html1.62 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Extrema.html7.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nary.html77.53 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.html1.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.TypeClasses.html2.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Structures.html58.85 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Rewriting.html64.41 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reflection.html36.11 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.StrictPartialOrder.html6.25 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Setoid.html7.46 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Preorder.html4.65 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.PartialSetoid.html7.03 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.PartialOrder.html7.70 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.MultiSetoid.html23.85 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.94 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Partial.html29.58 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Double.html44.72 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.html54.96 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.25 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Core.html44.49 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Algebra.html5.48 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.TotalOrder.html17.18 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictTotalOrder.html4.38 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.34 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Preorder.html8.33 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Poset.html28.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.MeetSemilattice.html8.28 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Lattice.html43.32 KB
Component of No Buildroots