ghc-Agda-doc rpm build for : Rawhide. For other distributions click ghc-Agda-doc.
| Name : ghc-Agda-doc
| |
| Version : 2.6.4.3
| Vendor : Fedora Project
|
| Release : 51.fc42
| Date : 2024-12-09 17:01:21
|
| Group : Unspecified
| Source RPM : Agda-2.6.4.3-51.fc42.src.rpm
|
| Size : 153.24 MB
| |
| Packager : Fedora Project
| |
| Summary : Haskell Agda library documentation
|
Description :
This package provides the Haskell Agda library documentation.
|
RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/rawhide/Everything/s390x/os/Packages/g |
Content of RPM
Changelog
Provides
Requires
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
ghc-Agda-doc
Requires :
Content of RPM :
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Auto-Auto.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Auto-CaseSplit.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Auto-Convert.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Auto-NarrowingSearch.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Auto-Options.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Auto-SearchControl.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Auto-Syntax.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Auto-Typecheck.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Benchmarking.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-Backend.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-Builtin.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-CallCompiler.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-Common.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-JS-Compiler.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-JS-Pretty.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-JS-Substitution.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-JS-Syntax.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-MAlonzo-Coerce.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-MAlonzo-Compiler.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-MAlonzo-Encode.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-MAlonzo-HaskellTypes.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-MAlonzo-Misc.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-MAlonzo-Pragmas.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-MAlonzo-Pretty.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-MAlonzo-Primitives.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-MAlonzo-Strict.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-ToTreeless.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-Treeless-AsPatterns.html
/usr/share/doc/ghc/html/libraries/Agda-2.6.4.3/Agda-Compiler-Treeless-Builtin.html
There is 819 files more in these RPM.
