Sat, 08 Jun 2024 19:39:09 UTC | login

Information for RPM ghc-idris-doc-1.3.4-6.fc38.noarch.rpm

ID1019255
Nameghc-idris-doc
Version1.3.4
Release6.fc38
Epoch
Archnoarch
SummaryHaskell idris library documentation
DescriptionThis package provides the Haskell idris library documentation.
Build Time2023-06-03 09:53:49 GMT
Size2.33 MB
92b5f86b37b65f100fa5d90f9c692eaa
LicenseBSD-3-Clause
Buildrootf38-build-719838-97265
Provides
ghc-idris-doc = 1.3.4-6.fc38
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ghc-filesystem
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 326 >>>
Name descending sort Size
/usr/share/licenses/ghc-idris-doc/LICENSE1.56 KB
/usr/share/licenses/ghc-idris-doc0.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/synopsis.png11.06 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/style.css1.40 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/highlight.js567.00 B
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Version_idris.html1.23 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Util.System.html56.45 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Util.ScreenSize.html2.87 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Util.Pretty.html10.52 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Util.Net.html18.15 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Util.DynamicLinker.html77.81 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Tools_idris.html1.37 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Paths_idris.html32.36 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.WhoCalls.html92.80 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Unlit.html29.24 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.TypeSearch.html496.92 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Transforms.html80.25 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Termination.html538.79 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Reflection.html1.17 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.REPL.html1.33 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.REPL.Parser.html385.51 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.REPL.Commands.html30.19 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.REPL.Browse.html27.70 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Providers.html31.16 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Prover.html545.05 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.ProofSearch.html390.49 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Primitives.html631.36 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.PartialEval.html329.67 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.html1.22 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Stack.html66.72 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Ops.html163.69 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Helpers.html323.65 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Expr.html1.03 MB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Parser.Data.html231.85 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Package.html289.01 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Package.Parser.html110.56 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Package.Common.html19.53 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Output.html397.29 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Options.html138.71 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.ModeCommon.html93.98 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Main.html180.81 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Interactive.html459.74 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Inliner.html21.00 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Info.html27.79 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Info.Show.html53.18 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Imports.html101.58 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.IdrisDoc.html505.61 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.IdeMode.html296.95 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.IBC.html858.53 KB
/usr/share/doc/ghc/html/libraries/idris-1.3.4/src/Idris.Help.html28.38 KB
Component of No Buildroots