Sun, 29 Sep 2024 02:55:59 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:
<<< 151 through 200 of 1015 >>>
Name ascending sort Size
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.TensorUnit.html28.54 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Construct.Zero.html18.06 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Bi.html5.56 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Left.html23.98 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.Right.html24.17 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Definitions.html2.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.Biased.html39.04 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Module.Structures.html82.74 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Consequences.html22.72 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Definitions.html11.01 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.GroupMonomorphism.html46.24 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.LatticeMonomorphism.html47.49 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MagmaMonomorphism.html62.91 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.MonoidMonomorphism.html35.93 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.RingMonomorphism.html82.90 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.Structures.html123.22 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.html47.16 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.CommutativeMonoid.html45.51 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html11.44 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.Expression.html98.39 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.html290.03 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CancellativeCommutativeSemiring.html15.29 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMagma.Divisibility.html13.17 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.Mult.TCOptimised.html14.73 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.Mult.html17.85 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.Sum.html64.36 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeMonoid.html109.57 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemigroup.Divisibility.html17.50 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemigroup.html71.08 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemiring.Exp.TCOptimised.html6.77 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.CommutativeSemiring.Exp.html4.88 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.DistributiveLattice.html36.83 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Group.html54.29 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Lattice.html56.84 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Magma.Divisibility.html16.41 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Divisibility.html14.12 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Mult.TCOptimised.html38.15 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Mult.html28.31 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Monoid.Sum.html21.97 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Ring.html32.43 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semigroup.Divisibility.html7.76 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semigroup.html4.18 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semilattice.html13.78 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Divisibility.html11.24 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Exp.TCOptimised.html13.28 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Exp.html11.75 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Mult.TCOptimised.html11.22 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Mult.html13.58 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Primality.html10.27 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Semiring.Sum.html11.75 KB
Component of No Buildroots