Sat, 01 Jun 2024 10:20:45 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:
1 through 50 of 777 >>>
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.Tree.Linear.html17.51 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Tabular.Vec.html5.97 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.06 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Printf.html18.56 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Pretty.html32.18 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Pretty.Core.html120.61 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Format.html30.76 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.html83.59 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.NonReflective.html41.59 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.ReflectionHelp.html27.94 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Semantics.html28.41 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.42 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.html6.02 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Variables.html16.58 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Negation.html26.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Multiplication.html208.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Lemmas.html290.97 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Homomorphism.Exponentiation.html59.56 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.67 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Polynomial.Base.html181.40 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.NatSet.html39.01 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.Expression.html17.85 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.RingSolver.Core.AlmostCommutativeRing.html50.36 KB
/usr/share/doc/Agda-stdlib-docs/html/Tactic.MonoidSolver.html71.07 KB
/usr/share/doc/Agda-stdlib-docs/html/Strict.html6.86 KB
/usr/share/doc/Agda-stdlib-docs/html/Size.html2.46 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.html83.34 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Properties.html34.76 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.PredicateTransformer.html43.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Indexed.html8.06 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Consequences.html3.23 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.StrictPartialOrder.html8.77 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Preorder.html9.21 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Base.html18.87 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.html12.88 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Universe.html67.17 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Sum.html10.17 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Reflects.html11.39 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Product.html9.31 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.html58.73 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Implication.html9.48 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.html11.67 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.Core.html43.82 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Supremum.html1.77 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Point.html2.77 KB
Component of No Buildroots