Mon, 03 Jun 2024 16:46:37 UTC | login

Information for RPM Agda-stdlib-docs-1.7.3-1.fc40.noarch.rpm

ID1100684
NameAgda-stdlib-docs
Version1.7.3
Release1.fc40
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2023-10-17 06:44:09 GMT
Size3.10 MB
25b4eee6f527ec696518e46ae2400011
LicenseMIT
Provides
Agda-stdlib-docs = 1.7.3-1.fc40
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 1031 >>>
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/v1.7.2.md328.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.agda972.00 B
/usr/share/doc/Agda-stdlib-docs/README/Tactic/MonoidSolver.agda1.10 KB
/usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.html1.13 KB
/usr/share/doc/Agda-stdlib-docs/html/Effect.Comonad.html1.14 KB
/usr/share/doc/Agda-stdlib-docs/html/Effect.Functor.html1.14 KB
/usr/share/doc/Agda-stdlib-docs/html/Codata.Musical.Notation.html1.15 KB
/usr/share/doc/Agda-stdlib-docs/html/Effect.Applicative.html1.16 KB
/usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.State.html1.16 KB
/usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Reader.html1.17 KB
/usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Indexed.html1.17 KB
/usr/share/doc/Agda-stdlib-docs/html/Effect.Monad.Predicate.html1.19 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Record.agda1.19 KB
Component of No Buildroots