Agda-stdlib-docs-1.7.3-1.fc40.noarch.rpm | RPM Info

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

1100684

Name

Agda-stdlib-docs

Version

1.7.3

Release

1.fc40

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-10-17 06:44:09 GMT

Size

3.10 MB

SIGMD5

25b4eee6f527ec696518e46ae2400011

License

MIT

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

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

Main Site Links:

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