%FILES%
usr/
usr/lib/
usr/lib/ghc-9.6.6/
usr/lib/ghc-9.6.6/site-local/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Basics.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Bind.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Disj/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Disj.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Disj/Class.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Fresh/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Fresh.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Fresh/Class.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Trans/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Trans/Disj.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Trans/FastFresh.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Control/Monad/Trans/PreciseFresh.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Data/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Data/Color.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Data/DAG/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Data/DAG/Simple.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Debug/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Debug/Trace/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Debug/Trace/EnvTracer.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Debug/Trace/Ignore.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Extension/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Extension/Data/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Extension/Data/ByteString.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Extension/Data/Label.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Extension/Data/Monoid.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Extension/Prelude.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Logic/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Logic/Connectives.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/System/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/System/Timing.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Text/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Text/Dot.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Text/PrettyPrint/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Text/PrettyPrint/Class.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Text/PrettyPrint/Highlight.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Text/PrettyPrint/Html.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Text/Unicode.dyn_hi
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Utils/
usr/lib/ghc-9.6.6/site-local/tamarin-prover-utils-1.12.0/Utils/Misc.dyn_hi
usr/lib/libHStamarin-prover-utils-1.12.0-H5oZ0nxIiHU4mCnrIRnxUF-ghc9.6.6.so
usr/share/
usr/share/doc/
usr/share/doc/haskell-tamarin-prover-utils/
usr/share/haskell/
usr/share/haskell/register/
usr/share/haskell/register/haskell-tamarin-prover-utils.sh
usr/share/haskell/unregister/
usr/share/haskell/unregister/haskell-tamarin-prover-utils.sh
