Wed, 04 Aug 2021 23:49:48 UTC

Information for RPM Agda-stdlib-docs-0.9-3.fc24.noarch.rpm

ID7263857
NameAgda-stdlib-docs
Version0.9
Release3.fc24
Epoch
Archnoarch
SummaryAgda standard libraries documentation
DescriptionThis package provides the html documentation for the stdlibs generated by the Agda compiler program.
Build Time2016-02-03 15:30:06 GMT
Size1,610,766
67b057f23bcf028fbaad6080bc371d4f
LicenseMIT
Buildrootf24-build-4906577-577762
Provides
Agda-stdlib-docs = 0.9-3.fc24
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(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
<<< 51 through 100 of 219 >>>
Name ascending sort Size
/usr/share/doc/Agda-stdlib-docs/html/Data.Colist.Infinite-merge.html200,237
/usr/share/doc/Agda-stdlib-docs/html/Data.Colist.html371,326
/usr/share/doc/Agda-stdlib-docs/html/Data.Conat.html25,349
/usr/share/doc/Agda-stdlib-docs/html/Data.Container.Any.html253,503
/usr/share/doc/Agda-stdlib-docs/html/Data.Container.Combinator.html157,492
/usr/share/doc/Agda-stdlib-docs/html/Data.Container.FreeMonad.html29,378
/usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.Combinator.html266,286
/usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.Core.html30,419
/usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.FreeMonad.html41,688
/usr/share/doc/Agda-stdlib-docs/html/Data.Container.Indexed.html288,699
/usr/share/doc/Agda-stdlib-docs/html/Data.Container.html177,486
/usr/share/doc/Agda-stdlib-docs/html/Data.Covec.html111,772
/usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceList.html39,578
/usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceNat.html11,654
/usr/share/doc/Agda-stdlib-docs/html/Data.DifferenceVec.html41,419
/usr/share/doc/Agda-stdlib-docs/html/Data.Digit.html58,663
/usr/share/doc/Agda-stdlib-docs/html/Data.Empty.html4,317
/usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Dec.html134,899
/usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Properties.html188,620
/usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Subset.Properties.html119,311
/usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Subset.html40,214
/usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.Example.html72,952
/usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.Lemmas.html506,180
/usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.List.html22,218
/usr/share/doc/Agda-stdlib-docs/html/Data.Fin.Substitution.html83,523
/usr/share/doc/Agda-stdlib-docs/html/Data.Fin.html119,200
/usr/share/doc/Agda-stdlib-docs/html/Data.Float.html10,969
/usr/share/doc/Agda-stdlib-docs/html/Data.Graph.Acyclic.html195,530
/usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Addition.Properties.html81,045
/usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Divisibility.html11,758
/usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Multiplication.Properties.html72,539
/usr/share/doc/Agda-stdlib-docs/html/Data.Integer.Properties.html286,720
/usr/share/doc/Agda-stdlib-docs/html/Data.Integer.html140,864
/usr/share/doc/Agda-stdlib-docs/html/Data.List.All.Properties.html144,344
/usr/share/doc/Agda-stdlib-docs/html/Data.List.All.html48,050
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.BagAndSetEquality.html260,786
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.Membership.html259,443
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.Properties.html639,518
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Any.html134,432
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Countdown.html201,785
/usr/share/doc/Agda-stdlib-docs/html/Data.List.NonEmpty.Properties.html31,867
/usr/share/doc/Agda-stdlib-docs/html/Data.List.NonEmpty.html218,710
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Properties.html536,713
/usr/share/doc/Agda-stdlib-docs/html/Data.List.Reverse.html28,377
/usr/share/doc/Agda-stdlib-docs/html/Data.List.html218,928
/usr/share/doc/Agda-stdlib-docs/html/Data.M.Indexed.html22,076
/usr/share/doc/Agda-stdlib-docs/html/Data.M.html13,927
/usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.Core.html5,103
/usr/share/doc/Agda-stdlib-docs/html/Data.Maybe.html122,109
/usr/share/doc/Agda-stdlib-docs/html/Data.Nat.Coprimality.html117,654
Component of No Buildroots