Agda-stdlib-docs-1.7.3-9.fc42.noarch | RPM Info

Information for RPM Agda-stdlib-docs-1.7.3-9.fc42.noarch.rpm

6566

Build

Agda-stdlib-1.7.3-9.fc42

Name

Agda-stdlib-docs

Version

1.7.3

Release

9.fc42

Epoch

Arch

noarch

Draft

False

Summary

Agda standard libraries documentation

Description

This package provides the html documentation for the stdlibs generated by the Agda compiler program.

Build Time

2025-01-20 07:25:30 GMT

Size

3.08 MB

SIGMD5

352bfc7f49906fbf8db6a0c235266d35

License

MIT

Provides

Agda-stdlib-docs = 1.7.3-9.fc42

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

Name	Size
Page: 1 through 50 of 1031 >>>
/usr/share/doc/Agda-stdlib-docs	0.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG	0.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.01.md	219.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.02.md	336.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.03.md	217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.04.md	217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.05.md	218.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.06.md	217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.07.md	217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.1.md	504.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.md	217.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.09.md	920.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.10.md	4.47 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.11.md	599.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.12.md	144.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.13.md	1.77 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.14.md	31.79 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.15.md	29.79 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.16.md	26.22 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.17.md	35.93 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.1.md	229.00 B
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.md	54.17 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.1.md	35.70 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.2.md	33.98 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.3.md	35.78 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.4.md	25.75 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.5.md	30.18 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.6.md	47.26 KB
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.7.2.md	328.00 B
/usr/share/doc/Agda-stdlib-docs/Everything.agda	74.82 KB
/usr/share/doc/Agda-stdlib-docs/EverythingSafe.agda	69.34 KB
/usr/share/doc/Agda-stdlib-docs/HACKING.md	5.01 KB
/usr/share/doc/Agda-stdlib-docs/README	0.00 B
/usr/share/doc/Agda-stdlib-docs/README.agda	8.61 KB
/usr/share/doc/Agda-stdlib-docs/README.md	3.53 KB
/usr/share/doc/Agda-stdlib-docs/README/Axiom.agda	3.28 KB
/usr/share/doc/Agda-stdlib-docs/README/Case.agda	2.07 KB
/usr/share/doc/Agda-stdlib-docs/README/Data	0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data.agda	7.12 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Container	0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/Container/FreeMonad.agda	1.98 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Container/Indexed.agda	3.14 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Integer.agda	1.97 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/List	0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/List.agda	6.12 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Fresh.agda	1.96 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Membership.agda	2.98 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation	0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Binary	0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Binary/Equality.agda	4.92 KB

Component of

No Buildroots