haskell-hls-tactics-plugin 1.8.0.0-26 File List
Package has 36 files and 22 directories.
- usr/
- usr/lib/
- usr/lib/ghc-9.0.2/
- usr/lib/ghc-9.0.2/site-local/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Ide/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Ide/Plugin/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Ide/Plugin/Tactic.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Refinery/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Refinery/Future.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/AbstractLSP.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/AbstractLSP/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/AbstractLSP/TacticActions.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/AbstractLSP/Types.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Auto.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/CaseSplit.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/CodeGen.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/CodeGen/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/CodeGen/Utils.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Context.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Debug.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/EmptyCase.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/GHC.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Judgements.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Judgements/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Judgements/SYB.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Judgements/Theta.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/KnownStrategies.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/KnownStrategies/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/KnownStrategies/QuickCheck.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/LanguageServer.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/LanguageServer/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/LanguageServer/Metaprogram.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/LanguageServer/TacticProviders.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Machinery.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Metaprogramming/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Metaprogramming/Lexer.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Metaprogramming/Parser.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Metaprogramming/Parser/
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Metaprogramming/Parser/Documentation.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Metaprogramming/ProofState.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Naming.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Plugin.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Range.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Simplify.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/StaticPlugin.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Tactics.dyn_hi
- usr/lib/ghc-9.0.2/site-local/hls-tactics-plugin-1.8.0.0/Wingman/Types.dyn_hi
- usr/lib/libHShls-tactics-plugin-1.8.0.0-8c8vtFNNoeb41eEcvVLdeb-ghc9.0.2.so
- usr/share/
- usr/share/doc/
- usr/share/doc/haskell-hls-tactics-plugin/
- usr/share/haskell/
- usr/share/haskell/register/
- usr/share/haskell/register/haskell-hls-tactics-plugin.sh
- usr/share/haskell/unregister/
- usr/share/haskell/unregister/haskell-hls-tactics-plugin.sh