Mon, 03 Jun 2024 19:08:11 UTC | login

Information for RPM Agda-stdlib-docs-1.7.1-3.fc37.noarch.rpm

ID866032
NameAgda-stdlib-docs
Version1.7.1
Release3.fc37
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2022-07-20 18:32:00 GMT
Size3.14 MB
94c60a6d7070e9e5be4a9872bed5564e
LicenseMIT
Provides
Agda-stdlib-docs = 1.7.1-3.fc37
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 1015 >>>
Name Size ascending sort
/usr/share/doc/Agda-stdlib-docs0.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG0.00 B
/usr/share/doc/Agda-stdlib-docs/README0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/Container0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/List0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Binary0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Ternary0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Unary0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/Nat0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/Tree0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/Trie0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Debug0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Design0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Foreign0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Function0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Reflection0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Relation0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Relation/Binary0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Tactic0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Text0.00 B
/usr/share/doc/Agda-stdlib-docs/html0.00 B
/usr/share/licenses/Agda-stdlib-docs0.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.12.md144.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.03.md217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.04.md217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.06.md217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.07.md217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.md217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.05.md218.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.01.md219.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.1.md229.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.02.md336.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.1.md504.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.11.md599.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.09.md920.00 B
/usr/share/doc/Agda-stdlib-docs/README/Design/Fixity.agda963.00 B
/usr/share/doc/Agda-stdlib-docs/README/Tactic/MonoidSolver.agda1.10 KB
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Notation.html1.14 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Record.agda1.19 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Tree/Rose.agda1.20 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.List.html1.31 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Tree/Binary.agda1.31 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Char.Instances.html1.32 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Kleene.html1.33 KB
/usr/share/doc/Agda-stdlib-docs/html/Category.Monad.Partiality.Instances.html1.41 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Unary/All.agda1.47 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Binary.html1.48 KB
/usr/share/doc/Agda-stdlib-docs/html/Text.Regex.String.html1.50 KB
Component of No Buildroots