Information for RPM ghc-Agda-doc-2.6.3-1.oc9.noarch.rpm

ID217479
Nameghc-Agda-doc
Version2.6.3
Release1.oc9
Epoch
Archnoarch
SummaryHaskell Agda library documentation
DescriptionThis package provides the Haskell Agda library documentation.
Build Time2024-08-02 09:57:58 GMT
Size7.60 MB
6a130d457d7f732d1715a7e6ead292c8
LicenseMIT and BSD-3-Clause
Buildrootdist-oc9-epol-build-90270-58996
Provides
ghc-Agda-doc = 2.6.3-1.oc9
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(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 782 >>>
Name ascending sort Size
/usr/share/doc/ghc/html/libraries/Agda-2.6.30.00 B
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Auto-Auto.html5.91 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Auto-CaseSplit.html78.78 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Auto-Convert.html67.18 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Auto-NarrowingSearch.html159.20 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Auto-Options.html14.86 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Auto-SearchControl.html58.76 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Auto-Syntax.html230.89 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Auto-Typecheck.html42.60 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Benchmarking.html31.55 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Backend.html3.68 MB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Builtin.html1.96 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-CallCompiler.html4.90 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Common.html17.82 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-JS-Compiler.html43.03 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-JS-Pretty.html43.36 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-JS-Substitution.html10.65 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-JS-Syntax.html78.29 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-MAlonzo-Coerce.html3.76 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-MAlonzo-Compiler.html84.04 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-MAlonzo-Encode.html3.17 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-MAlonzo-HaskellTypes.html4.23 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-MAlonzo-Misc.html79.60 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-MAlonzo-Pragmas.html21.22 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-MAlonzo-Pretty.html40.85 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-MAlonzo-Primitives.html13.00 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-MAlonzo-Strict.html17.68 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-ToTreeless.html4.07 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-AsPatterns.html2.50 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-Builtin.html3.03 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-Compare.html1.96 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-EliminateDefaults.html2.32 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-EliminateLiteralPatterns.html3.82 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-Erase.html4.42 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-GuardsToPrims.html2.19 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-Identity.html2.19 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-NormalizeNames.html2.67 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-Pretty.html3.49 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-Simplify.html2.05 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-Subst.html53.86 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-Uncase.html1.95 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Compiler-Treeless-Unused.html2.67 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-ImpossibleTest.html3.59 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Interaction-AgdaTop.html2.80 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Interaction-Base.html147.47 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Interaction-BasicOps.html89.33 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Interaction-CommandLine.html2.40 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Interaction-EmacsCommand.html10.65 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Interaction-EmacsTop.html7.03 KB
/usr/share/doc/ghc/html/libraries/Agda-2.6.3/Agda-Interaction-ExitCode.html11.56 KB
Component of No Buildroots