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

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

1144354

Name

Agda-stdlib-docs

Version

1.7.3

Release

2.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-12-08 02:44:13 GMT

Size

3.10 MB

SIGMD5

721bd8a4bfbd6a08d830f77e1d24b512

License

MIT

Provides

Agda-stdlib-docs = 1.7.3-2.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-2.fc40.noarch.rpm