Agda-stdlib-docs-1.7.1-5.fc38.noarch.rpm | RPM Info

Information for RPM Agda-stdlib-docs-1.7.1-5.fc38.noarch.rpm

954840

Name

Agda-stdlib-docs

Version

1.7.1

Release

5.fc38

Epoch

Arch

noarch

Summary

Agda standard libraries documentation

Description

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

Build Time

2023-02-21 04:18:37 GMT

Size

3.14 MB

SIGMD5

24252f2d2b53600981bac2db03ea1180

License

MIT

Provides

Agda-stdlib-docs = 1.7.1-5.fc38

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 1015 >>>
/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/Everything.agda	73.02 KB
/usr/share/doc/Agda-stdlib-docs/EverythingSafe.agda	67.54 KB
/usr/share/doc/Agda-stdlib-docs/HACKING.md	4.99 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.48 KB
/usr/share/doc/Agda-stdlib-docs/README/Axiom.agda	3.28 KB
/usr/share/doc/Agda-stdlib-docs/README/Case.agda	2.06 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.97 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.96 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
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Relation/Binary/Permutation.agda	2.52 KB

Component of

No Buildroots

Main Site Links:

Information for RPM Agda-stdlib-docs-1.7.1-5.fc38.noarch.rpm