Tue, 22 Jun 2021 16:36:09 UTC

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

ID22996629
NameAgda-stdlib-docs
Version1.3
Release4.fc33
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2020-08-25 16:04:05 GMT
Size2,602,304
c33022af249a9cf48ef3c97c888877fe
LicenseMIT
Buildrootf33-build-22380656-1976282
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
Page:
1 through 50 of 777 >>>
Name ascending sort Size
/usr/share/doc/Agda-stdlib-docs0
/usr/share/doc/Agda-stdlib-docs/CHANGELOG0
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.01.md219
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.02.md336
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.03.md217
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.04.md217
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.05.md218
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.06.md217
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.07.md217
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.1.md504
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.08.md217
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.09.md920
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.10.md4,578
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.11.md599
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.12.md144
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.13.md1,812
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.14.md32,550
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.15.md30,510
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.16.md26,845
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v0.17.md36,791
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.1.md229
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.0.md55,475
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.1.md36,558
/usr/share/doc/Agda-stdlib-docs/CHANGELOG/v1.2.md34,794
/usr/share/doc/Agda-stdlib-docs/Everything.agda56,464
/usr/share/doc/Agda-stdlib-docs/EverythingSafe.agda55,127
/usr/share/doc/Agda-stdlib-docs/EverythingSafeGuardedness.agda1,144
/usr/share/doc/Agda-stdlib-docs/EverythingSafeSizedTypes.agda2,672
/usr/share/doc/Agda-stdlib-docs/HACKING.md5,109
/usr/share/doc/Agda-stdlib-docs/README0
/usr/share/doc/Agda-stdlib-docs/README.agda11,010
/usr/share/doc/Agda-stdlib-docs/README.md3,504
/usr/share/doc/Agda-stdlib-docs/README/Axiom.agda3,356
/usr/share/doc/Agda-stdlib-docs/README/Case.agda2,065
/usr/share/doc/Agda-stdlib-docs/README/Data0
/usr/share/doc/Agda-stdlib-docs/README/Data.agda7,202
/usr/share/doc/Agda-stdlib-docs/README/Data/AVL.agda3,336
/usr/share/doc/Agda-stdlib-docs/README/Data/Container0
/usr/share/doc/Agda-stdlib-docs/README/Data/Container/FreeMonad.agda2,022
/usr/share/doc/Agda-stdlib-docs/README/Data/Container/Indexed.agda3,212
/usr/share/doc/Agda-stdlib-docs/README/Data/Integer.agda2,007
/usr/share/doc/Agda-stdlib-docs/README/Data/Interleaving.agda3,212
/usr/share/doc/Agda-stdlib-docs/README/Data/List0
/usr/share/doc/Agda-stdlib-docs/README/Data/List.agda16,689
/usr/share/doc/Agda-stdlib-docs/README/Data/List/Fresh.agda1,975
/usr/share/doc/Agda-stdlib-docs/README/Data/Nat0
/usr/share/doc/Agda-stdlib-docs/README/Data/Nat.agda1,832
/usr/share/doc/Agda-stdlib-docs/README/Data/Nat/Induction.agda5,045
/usr/share/doc/Agda-stdlib-docs/README/Data/Record.agda1,210
/usr/share/doc/Agda-stdlib-docs/README/Data/Trie0
Component of No Buildroots