Thu, 06 Jun 2024 10:33:59 UTC | login

Information for RPM Agda-stdlib-docs-1.3-3.fc33.noarch.rpm

ID646277
NameAgda-stdlib-docs
Version1.3
Release3.fc33
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2020-07-27 10:20:42 GMT
Size2.39 MB
a1c3fd03020c2fe19a19ce83bdd6a69e
LicenseMIT
Provides
Agda-stdlib-docs = 1.3-3.fc33
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:
1 through 50 of 710 >>>
Name Size ascending sort
/usr/share/doc/Agda-stdlib-docs0.00 B
/usr/share/doc/Agda-stdlib-docs/html0.00 B
/usr/share/licenses/Agda-stdlib-docs0.00 B
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Notation.html1.09 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.List.html1.31 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Kleene.html1.33 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Binary.html1.48 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Sign.html1.53 KB
/usr/share/licenses/Agda-stdlib-docs/LICENCE1.63 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1.65 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.html1.65 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Unit.html1.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.html1.71 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Infimum.html1.76 KB
/usr/share/doc/Agda-stdlib-docs/html/Function.html1.76 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Supremum.html1.77 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Polymorphic.html1.87 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.html1.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Polymorphic.Base.html1.93 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Char.html1.93 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Word.html1.93 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Float.html1.95 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.html1.97 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.Properties.html2.08 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.Properties.html2.09 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.Properties.html2.11 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Empty.Irrelevant.html2.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.Properties.html2.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Consequences.Propositional.html2.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.Erase.html2.33 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.IO.html2.34 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Solver.html2.41 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Literals.html2.42 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Empty.html2.45 KB
/usr/share/doc/Agda-stdlib-docs/html/Size.html2.46 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Show.html2.47 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.String.Literals.html2.48 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.html2.50 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.WithK.html2.61 KB
/usr/share/doc/Agda-stdlib-docs/html/Function.Reasoning.html2.63 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Universe.html2.65 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Empty.Polymorphic.html2.67 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Subset.Propositional.html2.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.html2.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Unary.Unique.Propositional.html2.71 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Solver.html2.75 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Point.html2.77 KB
/usr/share/doc/Agda-stdlib-docs/html/Axiom.ExcludedMiddle.html2.79 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Ternary.Interleaving.Propositional.Properties.html2.85 KB
/usr/share/doc/Agda-stdlib-docs/html/Codata.Conat.Literals.html2.88 KB
Component of No Buildroots