haskell-refinery 0.4.0.0-26 File List

Package has 8 files and 15 directories.

Back to Package

  • usr/
  • usr/lib/
  • usr/lib/ghc-9.0.1/
  • usr/lib/ghc-9.0.1/site-local/
  • usr/lib/ghc-9.0.1/site-local/refinery-0.4.0.0/
  • usr/lib/ghc-9.0.1/site-local/refinery-0.4.0.0/Paths_refinery.dyn_hi
  • usr/lib/ghc-9.0.1/site-local/refinery-0.4.0.0/Refinery/
  • usr/lib/ghc-9.0.1/site-local/refinery-0.4.0.0/Refinery/ProofState.dyn_hi
  • usr/lib/ghc-9.0.1/site-local/refinery-0.4.0.0/Refinery/Tactic.dyn_hi
  • usr/lib/ghc-9.0.1/site-local/refinery-0.4.0.0/Refinery/Tactic/
  • usr/lib/ghc-9.0.1/site-local/refinery-0.4.0.0/Refinery/Tactic/Internal.dyn_hi
  • usr/lib/libHSrefinery-0.4.0.0-E2l4KMC6TqfLvVxTn9hIjp-ghc9.0.1.so
  • usr/share/
  • usr/share/doc/
  • usr/share/doc/haskell-refinery/
  • usr/share/haskell/
  • usr/share/haskell/register/
  • usr/share/haskell/register/haskell-refinery.sh
  • usr/share/haskell/unregister/
  • usr/share/haskell/unregister/haskell-refinery.sh
  • usr/share/licenses/
  • usr/share/licenses/haskell-refinery/
  • usr/share/licenses/haskell-refinery/LICENSE