Mon, 14 Jun 2021 13:36:13 UTC

Information for RPM Agda-stdlib-docs-1.1-2.fc32.noarch.rpm

ID20150791
NameAgda-stdlib-docs
Version1.1
Release2.fc32
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2020-01-28 09:13:52 GMT
Size1,966,752
1b6a935e2a2d99a7491dfbc667edffaf
LicenseMIT
Buildrootf32-build-19245786-1345205
Provides
Agda-stdlib-docs = 1.1-2.fc32
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 615 >>>
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,561
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.Properties.html2,072
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Char.html4,004
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Coinduction.html4,124
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.Erase.html2,331
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Equality.html2,503
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Float.html10,683
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNat.html3,835
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromNeg.html3,847
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.FromString.html4,049
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.IO.html2,123
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Int.html3,409
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.List.html5,122
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Nat.html23,721
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Reflection.html91,827
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Sigma.html3,296
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Size.html4,220
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Strict.html4,771
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.Properties.html2,112
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.String.html7,001
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.TrustMe.html3,969
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Unit.html1,658
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Word.html1,955
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.Cubical.html18,429
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html4,218
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1,528
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.LiftedChoice.html89,950
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Max.html11,807
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Construct.NaturalChoice.Min.html83,306
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Consequences.Core.html5,358
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Consequences.Propositional.html36,204
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Consequences.html110,661
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Core.html3,830
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.html53,686
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.html47,739
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.CommutativeMonoid.html45,839
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.Semiring.html29,532
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html21,472
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.Expression.html98,582
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.html290,236
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.html104,948
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.DistributiveLattice.html37,509
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Group.html54,584
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Lattice.html56,991
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Ring.html30,545
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semilattice.html13,249
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.Example.html9,682
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.CommutativeMonoid.html74,518
Component of No Buildroots