Sun, 13 Jun 2021 09:56:43 UTC

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

ID22210944
NameAgda-stdlib-docs
Version1.3
Release2.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-21 05:04:01 GMT
Size2,501,800
472dac06bac12d7ae50d441a8c5c4924
LicenseMIT
Buildrootf33-build-side-25385-21675963-1751301
Provides
Agda-stdlib-docs = 1.3-2.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
/usr/share/doc/Agda-stdlib-docs/html0
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Bool.html3,629
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.Properties.html2,130
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.html4,065
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Coinduction.html4,187
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.Erase.html2,389
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.html2,561
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.Properties.html2,160
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.html11,251
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNat.html3,894
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNeg.html3,906
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromString.html4,107
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.IO.html2,397
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Int.html3,471
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.List.html5,186
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Nat.html23,789
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.Properties.html3,363
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.html94,424
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Sigma.html3,353
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Size.html4,291
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Strict.html4,830
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.Properties.html2,170
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.html7,736
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.TrustMe.html4,018
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Unit.html1,716
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.Properties.html2,138
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.html2,016
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.Cubical.html18,508
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html3,951
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1,688
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Bundles.html146,006
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Base.html4,957
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Propositional.html32,672
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Consequences.Setoid.html101,532
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LiftedChoice.html89,157
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Max.html12,678
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Min.html84,698
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Core.html6,342
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Definitions.html52,503
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Consequences.Propositional.html2,258
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Bundles.html80,551
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Consequences.html36,412
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.TensorUnit.html29,218
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.Zero.html17,661
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Bi.html5,581
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Left.html24,232
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Right.html24,430
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.html2,749
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.Biased.html39,653
Component of No Buildroots