Thu, 06 Jun 2024 09:20:39 UTC | login

Information for RPM Agda-stdlib-docs-1.3-4.fc33.noarch.rpm

ID727047
NameAgda-stdlib-docs
Version1.3
Release4.fc33
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2020-08-25 16:04:05 GMT
Size2.48 MB
c33022af249a9cf48ef3c97c888877fe
LicenseMIT
Provides
Agda-stdlib-docs = 1.3-4.fc33
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 777 >>>
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/Nat0.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/Foreign0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Function0.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/html/Codata.Musical.Notation.html1.09 KB
/usr/share/doc/Agda-stdlib-docs/README/Tactic/MonoidSolver.agda1.10 KB
/usr/share/doc/Agda-stdlib-docs/EverythingSafeGuardedness.agda1.12 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Record.agda1.18 KB
/usr/share/doc/Agda-stdlib-docs/README/Text/Tree.agda1.25 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.List.html1.31 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Kleene.html1.33 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Binary.html1.48 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Sign.html1.53 KB
/usr/share/licenses/Agda-stdlib-docs/LICENCE1.63 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.css1.65 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.Morphism.html1.65 KB
/usr/share/doc/Agda-stdlib-docs/html/Agda.Builtin.Unit.html1.68 KB
/usr/share/doc/Agda-stdlib-docs/html/Algebra.html1.71 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Infimum.html1.76 KB
/usr/share/doc/Agda-stdlib-docs/html/Function.html1.76 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Nullary.Construct.Add.Supremum.html1.77 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.13.md1.77 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Nat.agda1.79 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Polymorphic.html1.87 KB
/usr/share/doc/Agda-stdlib-docs/html/Relation.Binary.html1.89 KB
/usr/share/doc/Agda-stdlib-docs/html/Data.Unit.Polymorphic.Base.html1.93 KB
Component of No Buildroots