|
|
|
|
ghc-Agda-doc rpm build for : Fedora 37. For other distributions click ghc-Agda-doc.
Name : ghc-Agda-doc
| | Version : 2.6.2.2
| Vendor : Fedora Project
| Release : 37.fc37
| Date : 2022-07-20 20:31:12
| Group : Unspecified
| Source RPM : Agda-2.6.2.2-37.fc37.src.rpm
| Size : 140.65 MB
| | Packager : Fedora Project
| | Summary : Haskell Agda library documentation
| Description :
This package provides the Haskell Agda library documentation.
| RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/37/Everything/x86_64/os/Packages/g |
Content of RPM
Changelog
Provides
Requires
Provides : ghc-Agda-doc
Requires :
Content of RPM : /usr/share/doc/ghc/html/libraries/Agda-2.6.2.2
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Auto-Auto.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Auto-CaseSplit.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Auto-Convert.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Auto-NarrowingSearch.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Auto-Options.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Auto-SearchControl.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Auto-Syntax.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Auto-Typecheck.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Benchmarking.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-Backend.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-Builtin.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-CallCompiler.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-Common.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-JS-Compiler.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-JS-Pretty.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-JS-Substitution.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-JS-Syntax.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-MAlonzo-Coerce.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-MAlonzo-Compiler.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-MAlonzo-Encode.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-MAlonzo-HaskellTypes.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-MAlonzo-Misc.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-MAlonzo-Pragmas.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-MAlonzo-Pretty.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-MAlonzo-Primitives.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-MAlonzo-Strict.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-ToTreeless.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-Treeless-AsPatterns.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.2.2/Agda-Compiler-Treeless-Builtin.html
There is 726 files more in these RPM.
|
|
|