Fri, 18 Jun 2021 22:25:15 UTC

Information for RPM Agda-stdlib-docs-0.9-3.fc24.noarch.rpm

ID7263857
NameAgda-stdlib-docs
Version0.9
Release3.fc24
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2016-02-03 15:30:06 GMT
Size1,610,766
67b057f23bcf028fbaad6080bc371d4f
LicenseMIT
Buildrootf24-build-4906577-577762
Provides
Agda-stdlib-docs = 0.9-3.fc24
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(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 219 >>>
Name ascending sort Size
/usr/share/doc/Agda-stdlib-docs4,096
/usr/share/doc/Agda-stdlib-docs/LICENCE1,523
/usr/share/doc/Agda-stdlib-docs/html12,288
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html7,698
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1,219
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Core.html6,485
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.html61,162
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Monoid-solver.html83,505
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Morphism.html39,926
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Operations.html109,785
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.AbelianGroup.html35,521
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.Expression.html157,476
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.BooleanAlgebra.html523,946
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.DistributiveLattice.html59,629
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Group.html60,553
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Lattice.html67,120
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Properties.Ring.html45,510
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.AlmostCommutativeRing.html66,121
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Lemmas.html157,935
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Natural-coefficients.html35,643
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Simple.html5,904
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.html503,562
/usr/share/doc/Agda-stdlib-docs/html/Algebra.Structures.html214,383
/usr/share/doc/Agda-stdlib-docs/html/Algebra.html158,386
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Indexed.html61,365
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.Predicate.html28,221
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.html7,410
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.Predicate.html12,556
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.html8,249
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Continuation.html44,256
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Identity.html6,325
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Indexed.html46,465
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.All.html149,630
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.html746,124
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Predicate.html46,023
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.State.html84,492
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.html17,503
/usr/share/doc/Agda-stdlib-docs/html/Coinduction.html13,754
/usr/share/doc/Agda-stdlib-docs/html/Data.AVL.IndexedMap.html39,958
/usr/share/doc/Agda-stdlib-docs/html/Data.AVL.Sets.html22,882
/usr/share/doc/Agda-stdlib-docs/html/Data.AVL.html331,534
/usr/share/doc/Agda-stdlib-docs/html/Data.Bin.html177,438
/usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Properties.html153,282
/usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Show.html3,538
/usr/share/doc/Agda-stdlib-docs/html/Data.Bool.html25,329
/usr/share/doc/Agda-stdlib-docs/html/Data.BoundedVec.Inefficient.html20,020
/usr/share/doc/Agda-stdlib-docs/html/Data.BoundedVec.html39,890
/usr/share/doc/Agda-stdlib-docs/html/Data.Char.Core.html5,763
/usr/share/doc/Agda-stdlib-docs/html/Data.Char.html21,889
/usr/share/doc/Agda-stdlib-docs/html/Data.Cofin.html19,184
Component of No Buildroots