Sun, 29 Sep 2024 01:13:01 UTC | login

Information for RPM idris-docs-1.3.4-6.fc38.noarch.rpm

ID1019251
Nameidris-docs
Version1.3.4
Release6.fc38
Epoch
Archnoarch
SummaryIdris library docs
DescriptionThis package provides the library docs for the Idris programming language.
Build Time2023-06-03 09:53:49 GMT
Size181.11 KB
e3ff6a32ae1fc9ede3792aac1118abf2
LicenseBSD-3-Clause
Buildrootf38-build-719838-97265
Provides
idris-docs = 1.3.4-6.fc38
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:
<<< 151 through 200 of 304 >>>
Name ascending sort Size
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Either.html11.02 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.File.html26.68 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Foldable.html10.35 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Functor.html3.36 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Interfaces.html26.43 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.List.html94.21 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Maybe.html10.20 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Monad.html5.41 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Nat.html104.80 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Pairs.Exists.html1.57 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Pairs.html3.55 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Show.html10.99 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Stream.html16.15 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.Traversable.html6.68 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.WellFounded.html15.25 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Prelude.html16.49 KB
/usr/share/idris-1.3.4/docs/contrib/docs/System.Concurrency.Process.html8.99 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Test.Unit.Assertions.html6.52 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Test.Unit.Display.html1.96 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Test.Unit.Generic.html2.10 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Text.Lexer.Core.html1.15 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Text.Literate.html13.48 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Text.Quantity.html1.16 KB
/usr/share/idris-1.3.4/docs/contrib/docs/Text.Token.html1.01 KB
/usr/share/idris-1.3.4/docs/contrib/docs/[builtins].html469.34 KB
/usr/share/idris-1.3.4/docs/contrib/index.html8.73 KB
/usr/share/idris-1.3.4/docs/contrib/styles.css3.35 KB
/usr/share/idris-1.3.4/docs/effects0.00 B
/usr/share/idris-1.3.4/docs/effects/IdrisDoc0.00 B
/usr/share/idris-1.3.4/docs/effects/docs0.00 B
/usr/share/idris-1.3.4/docs/effects/docs/Control.IOExcept.html1.37 KB
/usr/share/idris-1.3.4/docs/effects/docs/Data.List.html9.63 KB
/usr/share/idris-1.3.4/docs/effects/docs/Data.So.html3.83 KB
/usr/share/idris-1.3.4/docs/effects/docs/Decidable.Equality.html13.94 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Exception.html2.44 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.File.FileResult.html5.51 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.File.html33.10 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Category.LogRes.html4.66 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Category.html26.34 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Default.LogRes.html2.51 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Default.html13.03 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Logging.Level.html7.54 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Memory.html27.96 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Monad.html3.10 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Perf.html30.25 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Random.html6.00 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.Select.html2.43 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.State.html6.74 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.StdIO.html8.27 KB
/usr/share/idris-1.3.4/docs/effects/docs/Effect.System.html7.67 KB
Component of No Buildroots