Sat, 31 Jul 2021 07:25:44 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 Size ascending sort
/usr/share/doc/Agda-stdlib-docs0
/usr/share/doc/Agda-stdlib-docs/html0
/usr/share/licenses/Agda-stdlib-docs0
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Notation.html1,121
/usr/share/doc/Agda-stdlib-docs/html/Data.Product.N-ary.html1,125
/usr/share/doc/Agda-stdlib-docs/html/Data.Vec.All.html1,170
/usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Any.html1,170
/usr/share/doc/Agda-stdlib-docs/html/Data.List.All.html1,176
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.html1,176
/usr/share/doc/Agda-stdlib-docs/html/Data.List.html1,198
/usr/share/doc/Agda-stdlib-docs/html/Data.Product.N-ary.Properties.html1,226
/usr/share/doc/Agda-stdlib-docs/html/Data.Product.N-ary.Categorical.html1,232
/usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Relation.LeftOrder.html1,236
/usr/share/doc/Agda-stdlib-docs/html/Data.Sum.Relation.Pointwise.html1,236
/usr/share/doc/Agda-stdlib-docs/html/Data.Vec.All.Properties.html1,236
/usr/share/doc/Agda-stdlib-docs/html/Data.List.All.Properties.html1,242
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.Properties.html1,242
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Pointwise.html1,242
/usr/share/doc/Agda-stdlib-docs/html/Data.Table.Relation.Equality.html1,242
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Lex.Strict.html1,248
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Lex.NonStrict.html1,266
/usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Lex.Strict.html1,266
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.SetoidReasoning.html1,268
/usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Lex.NonStrict.html1,284
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.BagAndSetEquality.html1,290
/usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Pointwise.Inductive.html1,298
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Subset.Propositional.html1,308
/usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Pointwise.Extensional.html1,308
/usr/share/doc/Agda-stdlib-docs/html/Data.Plus.html1,313
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Permutation.Inductive.html1,314
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Sublist.Propositional.html1,314
/usr/share/doc/Agda-stdlib-docs/html/Data.Vec.Relation.Equality.Propositional.html1,314
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Equality.Propositional.html1,320
/usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Pointwise.Dependent.html1,320
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Subset.Setoid.Properties.html1,332
/usr/share/doc/Agda-stdlib-docs/html/Data.Product.Relation.Pointwise.NonDependent.html1,338
/usr/share/doc/Agda-stdlib-docs/html/Data.ReflexiveClosure.html1,345
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Permutation.Inductive.html1,347
/usr/share/doc/Agda-stdlib-docs/html/Induction.Nat.html1,360
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Subset.Propositional.Properties.html1,376
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Permutation.Inductive.Properties.html1,382
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Sublist.Propositional.Properties.html1,382
/usr/share/doc/Agda-stdlib-docs/html/Data.Star.html1,384
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.SymmetricClosure.html1,398
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.EquivalenceClosure.html1,412
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Relation.Binary.Permutation.Inductive.Properties.html1,448
/usr/share/doc/Agda-stdlib-docs/html/Data.Star.Properties.html1,460
/usr/share/doc/Agda-stdlib-docs/html/Data.Container.Any.html1,499
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1,528
/usr/share/doc/Agda-stdlib-docs/html/Data.Sign.html1,571
Component of No Buildroots