Agda-stdlib-docs-1.3-4.fc33.noarch.rpm | RPM Info

Information for RPM Agda-stdlib-docs-1.3-4.fc33.noarch.rpm

727047

Name

Agda-stdlib-docs

Version

1.3

Release

4.fc33

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

2020-08-25 16:04:05 GMT

Size

2.48 MB

SIGMD5

c33022af249a9cf48ef3c97c888877fe

License

MIT

Provides

Agda-stdlib-docs = 1.3-4.fc33

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 777 >>>
/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/Everything.agda	55.14 KB
/usr/share/doc/Agda-stdlib-docs/EverythingSafe.agda	53.83 KB
/usr/share/doc/Agda-stdlib-docs/EverythingSafeGuardedness.agda	1.12 KB
/usr/share/doc/Agda-stdlib-docs/EverythingSafeSizedTypes.agda	2.61 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	10.75 KB
/usr/share/doc/Agda-stdlib-docs/README.md	3.42 KB
/usr/share/doc/Agda-stdlib-docs/README/Axiom.agda	3.28 KB
/usr/share/doc/Agda-stdlib-docs/README/Case.agda	2.02 KB
/usr/share/doc/Agda-stdlib-docs/README/Data	0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data.agda	7.03 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/AVL.agda	3.26 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/Interleaving.agda	3.14 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/List	0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/List.agda	16.30 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Fresh.agda	1.93 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Nat	0.00 B
/usr/share/doc/Agda-stdlib-docs/README/Data/Nat.agda	1.79 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Nat/Induction.agda	4.93 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Record.agda	1.18 KB
/usr/share/doc/Agda-stdlib-docs/README/Data/Trie	0.00 B

Component of

No Buildroots

Main Site Links:

Information for RPM Agda-stdlib-docs-1.3-4.fc33.noarch.rpm