Fri, 31 May 2024 11:24:31 UTC | login

Information for RPM Agda-stdlib-docs-1.7.1-3.fc37.noarch.rpm

ID866032
NameAgda-stdlib-docs
Version1.7.1
Release3.fc37
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2022-07-20 18:32:00 GMT
Size3.14 MB
94c60a6d7070e9e5be4a9872bed5564e
LicenseMIT
Provides
Agda-stdlib-docs = 1.7.1-3.fc37
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 1015 >>>
Name descending sort Size
/usr/share/licenses/Agda-stdlib-docs/LICENCE1.63 KB
/usr/share/licenses/Agda-stdlib-docs0.00 B
/usr/share/doc/Agda-stdlib-docs/html/Text.Tabular.Vec.html5.95 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Tabular.List.html7.94 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Tabular.Base.html46.29 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.html8.93 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.String.html1.50 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.String.Unsafe.html19.67 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.SmartConstructors.html49.34 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Search.html128.88 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Properties.html29.94 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Properties.Core.html30.59 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Derivative.Brzozowski.html75.24 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.Base.html32.71 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Printf.html10.25 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Printf.Generic.html23.76 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Pretty.html32.27 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Pretty.Core.html123.51 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Format.html10.26 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Format.Generic.html35.03 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.html84.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.NonReflective.html42.15 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.ReflectionHelp.html27.92 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Semantics.html28.74 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Reasoning.html13.80 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Parameters.html10.62 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.html6.07 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Variables.html16.24 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Negation.html26.16 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Multiplication.html208.41 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Lemmas.html250.88 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Exponentiation.html63.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Constants.html6.20 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Addition.html223.64 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Base.html181.98 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.NatSet.html39.24 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Expression.html18.10 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.AlmostCommutativeRing.html51.38 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.MonoidSolver.html71.12 KB
/usr/share/doc/Agda-stdlib-docs/html/System.Exit.html6.93 KB
/usr/share/doc/Agda-stdlib-docs/html/System.Exit.Primitive.html5.74 KB
/usr/share/doc/Agda-stdlib-docs/html/System.Environment.html12.48 KB
/usr/share/doc/Agda-stdlib-docs/html/System.Environment.Primitive.html13.36 KB
/usr/share/doc/Agda-stdlib-docs/html/Strict.html6.79 KB
/usr/share/doc/Agda-stdlib-docs/html/Size.html3.54 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.html84.24 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Sized.html4.52 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Properties.html34.86 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.PredicateTransformer.html43.60 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Indexed.html8.27 KB
Component of No Buildroots