Wed, 26 Jun 2024 21:58:59 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:
<<< 101 through 150 of 1031 >>>
Name ascending sort Size
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.Erase.html2.35 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.html2.55 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.html32.07 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNat.html3.98 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNeg.html3.99 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromString.html4.20 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.IO.html2.39 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Int.html3.42 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.List.html4.69 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Maybe.html2.28 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Nat.html23.27 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.External.html3.59 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.html159.76 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Sigma.html3.35 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Size.html4.18 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Strict.html4.82 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.Properties.html3.20 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.html10.06 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.TrustMe.html3.98 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Unit.html1.71 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.html2.01 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html5.45 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1.75 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Bundles.html194.26 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Base.html4.88 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Propositional.html31.97 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Setoid.html107.19 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.DirectProduct.html59.75 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LexProduct.Base.html12.13 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LexProduct.Inner.html165.80 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LexProduct.html44.45 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LiftedChoice.html86.94 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Base.html16.96 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Max.html7.09 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.MaxOp.html17.67 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Min.html12.95 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.MinMaxOp.html67.05 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.MinOp.html109.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Subst.Equality.html77.19 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.Zero.html18.24 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Core.html6.47 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.RawMagma.html15.74 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.RawMonoid.html11.04 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.RawSemiring.html16.52 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.html58.58 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Bundles.html83.88 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Consequences.html35.37 KB
Component of No Buildroots