haskell-tamarin-prover-export 1.8.0-5 File List
Package has 5 files and 11 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/tamarin-prover-export-1.8.0/
- usr/lib/ghc-9.0.2/site-local/tamarin-prover-export-1.8.0/Export.dyn_hi
- usr/lib/ghc-9.0.2/site-local/tamarin-prover-export-1.8.0/RuleTranslation.dyn_hi
- usr/lib/libHStamarin-prover-export-1.8.0-4b0q4MP8f3zDe3ZNsLRuFA-ghc9.0.2.so
- usr/share/
- usr/share/doc/
- usr/share/doc/haskell-tamarin-prover-export/
- usr/share/haskell/
- usr/share/haskell/register/
- usr/share/haskell/register/haskell-tamarin-prover-export.sh
- usr/share/haskell/unregister/
- usr/share/haskell/unregister/haskell-tamarin-prover-export.sh