Tue, 03 Aug 2021 20:12:12 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:
<<< 51 through 100 of 615 >>>
Name ascending sort Size
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.Example.html9,733
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.IdempotentCommutativeMonoid.html89,665
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Monoid.html49,116
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.AlmostCommutativeRing.html41,595
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Lemmas.html97,784
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.Default.html6,972
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.NaturalCoefficients.html17,832
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.Simple.html4,159
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Solver.Ring.html301,228
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.html114,497
/usr/share/doc/Agda-stdlib-docs/html/Algebra.html128,119
/usr/share/doc/Agda-stdlib-docs/html/Axiom.DoubleNegationElimination.html6,062
/usr/share/doc/Agda-stdlib-docs/html/Axiom.ExcludedMiddle.html2,863
/usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Heterogeneous.html10,886
/usr/share/doc/Agda-stdlib-docs/html/Axiom.Extensionality.Propositional.html21,118
/usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.WithK.html2,668
/usr/share/doc/Agda-stdlib-docs/html/Axiom.UniquenessOfIdentityProofs.html21,815
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Indexed.html47,378
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Predicate.html17,365
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.html10,133
/usr/share/doc/Agda-stdlib-docs/html/Category.Comonad.html13,499
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.Predicate.html7,614
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.html11,112
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Continuation.html26,213
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Indexed.html30,391
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.All.html91,512
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.html453,209
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Predicate.html23,402
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Reader.html42,546
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.State.html60,552
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.html11,803
/usr/share/doc/Agda-stdlib-docs/html/Codata.Cofin.Literals.html4,132
/usr/share/doc/Agda-stdlib-docs/html/Codata.Cofin.html17,597
/usr/share/doc/Agda-stdlib-docs/html/Codata.Colist.Bisimilarity.html29,665
/usr/share/doc/Agda-stdlib-docs/html/Codata.Colist.Categorical.html4,936
/usr/share/doc/Agda-stdlib-docs/html/Codata.Colist.Properties.html11,063
/usr/share/doc/Agda-stdlib-docs/html/Codata.Colist.html75,695
/usr/share/doc/Agda-stdlib-docs/html/Codata.Conat.Bisimilarity.html26,978
/usr/share/doc/Agda-stdlib-docs/html/Codata.Conat.Literals.html2,953
/usr/share/doc/Agda-stdlib-docs/html/Codata.Conat.Properties.html10,056
/usr/share/doc/Agda-stdlib-docs/html/Codata.Conat.html32,827
/usr/share/doc/Agda-stdlib-docs/html/Codata.Covec.Bisimilarity.html34,495
/usr/share/doc/Agda-stdlib-docs/html/Codata.Covec.Categorical.html4,987
/usr/share/doc/Agda-stdlib-docs/html/Codata.Covec.Properties.html11,644
/usr/share/doc/Agda-stdlib-docs/html/Codata.Covec.html45,999
/usr/share/doc/Agda-stdlib-docs/html/Codata.Cowriter.html56,664
/usr/share/doc/Agda-stdlib-docs/html/Codata.Delay.Bisimilarity.html29,629
/usr/share/doc/Agda-stdlib-docs/html/Codata.Delay.Categorical.html17,001
/usr/share/doc/Agda-stdlib-docs/html/Codata.Delay.Properties.html24,638
/usr/share/doc/Agda-stdlib-docs/html/Codata.Delay.html51,135
Component of No Buildroots