Tue, 04 Jun 2024 21:26:29 UTC | login

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

ID727047
NameAgda-stdlib-docs
Version1.3
Release4.fc33
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2020-08-25 16:04:05 GMT
Size2.48 MB
c33022af249a9cf48ef3c97c888877fe
LicenseMIT
Provides
Agda-stdlib-docs = 1.3-4.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:
<<< 51 through 100 of 777 >>>
Name ascending sort Size
/usr/share/doc/Agda-stdlib-docs/README/Data/Trie/NonDependent.agda7.19 KB
/usr/share/doc/Agda-stdlib-docs/README/Debug0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Debug/Trace.agda3.64 KB
/usr/share/doc/Agda-stdlib-docs/README/Decidability.agda4.83 KB
/usr/share/doc/Agda-stdlib-docs/README/Foreign0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Foreign/Haskell.agda3.70 KB
/usr/share/doc/Agda-stdlib-docs/README/Function0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Function/Reasoning.agda2.40 KB
/usr/share/doc/Agda-stdlib-docs/README/Inspect.agda5.24 KB
/usr/share/doc/Agda-stdlib-docs/README/Nary.agda15.89 KB
/usr/share/doc/Agda-stdlib-docs/README/Tactic0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Tactic/MonoidSolver.agda1.10 KB
/usr/share/doc/Agda-stdlib-docs/README/Tactic/RingSolver.agda3.97 KB
/usr/share/doc/Agda-stdlib-docs/README/Text0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Text/Pretty.agda6.52 KB
/usr/share/doc/Agda-stdlib-docs/README/Text/Printf.agda3.08 KB
/usr/share/doc/Agda-stdlib-docs/README/Text/Tabular.agda6.55 KB
/usr/share/doc/Agda-stdlib-docs/README/Text/Tree.agda1.25 KB
/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
Component of No Buildroots