Agda-stdlib-docs-1.7.3-7.fc41.noarch.rpm | RPM Info

Information for RPM Agda-stdlib-docs-1.7.3-7.fc41.noarch.rpm

1384406

Name

Agda-stdlib-docs

Version

1.7.3

Release

7.fc41

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

2024-07-17 14:47:54 GMT

Size

3.08 MB

SIGMD5

df2181d650240c8c3dfe633cc3eb10eb

License

MIT

Provides

Agda-stdlib-docs = 1.7.3-7.fc41

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-7.fc41.noarch.rpm