Tue, 03 Aug 2021 10:40:46 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 Size ascending sort
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1,219
/usr/share/doc/Agda-stdlib-docs/LICENCE1,523
/usr/share/doc/Agda-stdlib-docs/html/Foreign.Haskell.html2,672
/usr/share/doc/Agda-stdlib-docs/html/Data.Bool.Show.html3,538
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.html3,704
/usr/share/doc/Agda-stdlib-docs/html/Irrelevance.html3,994
/usr/share/doc/Agda-stdlib-docs4,096
/usr/share/doc/Agda-stdlib-docs/html/Data.Empty.html4,317
/usr/share/doc/Agda-stdlib-docs/html/Size.html4,538
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PartialOrderReasoning.html4,723
/usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Core.html5,103
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.StrictPartialOrderReasoning.html5,223
/usr/share/doc/Agda-stdlib-docs/html/Level.html5,288
/usr/share/doc/Agda-stdlib-docs/html/Data.Char.Core.html5,763
/usr/share/doc/Agda-stdlib-docs/html/Algebra.RingSolver.Simple.html5,904
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Identity.html6,325
/usr/share/doc/Agda-stdlib-docs/html/Algebra.FunctionProperties.Core.html6,485
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.EqReasoning.html6,881
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.TrustMe.html7,298
/usr/share/doc/Agda-stdlib-docs/html/Category.Applicative.html7,410
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.TotalOrder.html7,613
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Core.html7,664
/usr/share/doc/Agda-stdlib-docs/html/Agda.Primitive.html7,698
/usr/share/doc/Agda-stdlib-docs/html/Data.Star.Fin.html8,148
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.html8,249
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Poset.html8,797
/usr/share/doc/Agda-stdlib-docs/html/Data.Star.List.html8,862
/usr/share/doc/Agda-stdlib-docs/html/Data.String.Core.html8,964
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.DecTotalOrder.html9,252
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Product.html9,277
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Preorder.html9,513
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.HeterogeneousEquality.Core.html9,740
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Implication.html9,842
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictPartialOrder.html9,923
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictTotalOrder.html10,013
/usr/share/doc/Agda-stdlib-docs/html/Data.Sign.Properties.html10,553
/usr/share/doc/Agda-stdlib-docs/html/Data.Sign.html10,862
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Consequences.Core.html10,930
/usr/share/doc/Agda-stdlib-docs/html/Data.Float.html10,969
/usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Show.html11,512
/usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceNat.html11,654
/usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Divisibility.html11,758
/usr/share/doc/Agda-stdlib-docs/html/Universe.html11,759
/usr/share/doc/Agda-stdlib-docs/html12,288
/usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Core.html12,432
/usr/share/doc/Agda-stdlib-docs/html/Category.Functor.Predicate.html12,556
/usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Primality.html12,719
/usr/share/doc/Agda-stdlib-docs/html/README.Case.html12,858
/usr/share/doc/Agda-stdlib-docs/html/Coinduction.html13,754
/usr/share/doc/Agda-stdlib-docs/html/Data.M.html13,927
Component of No Buildroots