Sun, 01 Aug 2021 05:04:53 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:
1 through 50 of 615 >>>
Name descending sort Size
/usr/share/licenses/Agda-stdlib-docs/LICENCE1,655
/usr/share/licenses/Agda-stdlib-docs0
/usr/share/doc/Agda-stdlib-docs/html/Universe.html1,596
/usr/share/doc/Agda-stdlib-docs/html/Text.Printf.html18,989
/usr/share/doc/Agda-stdlib-docs/html/Text.Format.html31,482
/usr/share/doc/Agda-stdlib-docs/html/Strict.html7,025
/usr/share/doc/Agda-stdlib-docs/html/Size.html2,284
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.html83,621
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Properties.html35,344
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.PredicateTransformer.html44,235
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Indexed.html8,257
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Consequences.html3,307
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.StrictPartialOrder.html8,869
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Preorder.html9,338
/usr/share/doc/Agda-stdlib-docs/html/Relation.Unary.Closure.Base.html19,296
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.html8,398
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Universe.html68,724
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Sum.html9,130
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Product.html5,909
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Negation.html58,585
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Implication.html6,043
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.html15,778
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Decidable.Core.html30,017
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Supremum.html1,724
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Point.html2,671
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Infimum.html1,720
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Extrema.html7,687
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nary.html50,487
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.html100,404
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.SymmetricClosure.html1,398
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.StrictPartialOrderReasoning.html2,484
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.SetoidReasoning.html1,268
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Rewriting.html65,885
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reflection.html36,787
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.StrictPartialOrder.html5,902
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Setoid.html6,080
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Preorder.html4,735
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.PartialOrder.html7,771
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.MultiSetoid.html22,380
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Triple.html67,576
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Single.html17,504
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Reasoning.Base.Double.html47,453
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.html106,839
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.WithK.html5,248
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.TrustMe.html11,464
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.PropositionalEquality.Core.html39,210
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.TotalOrder.html4,453
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictTotalOrder.html4,436
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.StrictPartialOrder.html4,132
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Properties.Preorder.html8,173
Component of No Buildroots