%FILES%
usr/
usr/lib/
usr/lib/ghc-9.6.7.20250817/
usr/lib/ghc-9.6.7.20250817/site-local/
usr/lib/ghc-9.6.7.20250817/site-local/tamarin-prover-export-1.12.0/
usr/lib/ghc-9.6.7.20250817/site-local/tamarin-prover-export-1.12.0/Export.dyn_hi
usr/lib/ghc-9.6.7.20250817/site-local/tamarin-prover-export-1.12.0/ProVerifHeader.dyn_hi
usr/lib/ghc-9.6.7.20250817/site-local/tamarin-prover-export-1.12.0/RuleTranslation.dyn_hi
usr/lib/libHStamarin-prover-export-1.12.0-JqF0uNlKvKZ3Hf9ahDm00o-ghc9.6.7.20250817.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
