Sun, 24 Nov 2024 20:55:34 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 ascending sort Size
/usr/share/doc/Agda-stdlib-docs0.00 B
/usr/share/doc/Agda-stdlib-docs/html0.00 B
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Bool.html3.54 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.Properties.html2.08 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.html3.97 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Coinduction.html4.09 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.Erase.html2.33 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.html2.50 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.Properties.html2.11 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.html10.99 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNat.html3.80 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNeg.html3.81 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromString.html4.01 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.IO.html2.34 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Int.html3.39 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.List.html5.06 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Nat.html23.23 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.Properties.html3.28 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.html92.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Sigma.html3.27 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Size.html4.19 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Strict.html4.72 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.Properties.html2.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.html7.55 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.TrustMe.html3.92 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Unit.html1.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.Properties.html2.09 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.html1.97 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.Cubical.html18.07 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html3.86 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1.65 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Bundles.html142.58 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Base.html4.84 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Propositional.html31.91 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Setoid.html99.15 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LiftedChoice.html87.07 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Max.html12.38 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Min.html82.71 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Core.html6.19 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.html51.27 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Consequences.Propositional.html2.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Bundles.html78.66 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Consequences.html35.56 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.TensorUnit.html28.53 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.Zero.html17.25 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Bi.html5.45 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Left.html23.66 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Right.html23.86 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.html2.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.Biased.html38.72 KB
Component of No Buildroots