Thu, 05 Aug 2021 14:21:48 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 descending sort Size
/usr/share/doc/Agda-stdlib-docs/html/Universe.html11,759
/usr/share/doc/Agda-stdlib-docs/html/Size.html4,538
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.html125,646
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.PredicateTransformer.html80,737
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.html3,704
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Universe.html113,292
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Sum.html16,554
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Product.html9,277
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.html128,914
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Implication.html9,842
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.html67,615
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Core.html7,664
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.html161,994
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Vec.Pointwise.html193,676
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Sum.html503,865
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.StrictToNonStrict.html68,600
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.StrictPartialOrderReasoning.html5,223
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Simple.html14,133
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Sigma.Pointwise.html374,612
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.SetoidReasoning.html24,375
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reflection.html61,455
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.html121,552
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.TrustMe.html7,298
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Core.html17,602
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.TotalOrder.html7,613
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictTotalOrder.html10,013
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictPartialOrder.html9,923
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Preorder.html9,513
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Poset.html8,797
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.DecTotalOrder.html9,252
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Product.StrictLex.html230,495
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Product.Pointwise.html345,708
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Product.NonStrictLex.html124,579
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PreorderReasoning.html23,366
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PartialOrderReasoning.html4,723
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.OrderMorphism.html30,763
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.On.html156,378
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.NonStrictToStrict.html64,827
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.List.StrictLex.html241,877
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.List.Pointwise.html175,881
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.List.NonStrictLex.html102,355
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.InducedPreorders.html20,598
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.html15,803
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Indexed.Core.html40,947
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.HeterogeneousEquality.html175,832
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.HeterogeneousEquality.Core.html9,740
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Flip.html152,411
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.EqReasoning.html6,881
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Core.html134,590
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Consequences.html89,344
Component of No Buildroots