%FILES%
usr/
usr/lib/
usr/lib/ghc-9.4.8/
usr/lib/ghc-9.4.8/site-local/
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Annotation.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Basetranslation.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Bindings.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Compression.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Exceptions.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Facts.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/LetDestructors.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Locks.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/ProcessUtils.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/ProgressFunction.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/ProgressTranslation.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/ReliableChannelTranslation.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Report.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/SecretChannels.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/States.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Typing.dyn_hi
usr/lib/ghc-9.4.8/site-local/tamarin-prover-sapic-1.10.0/Sapic/Warnings.dyn_hi
usr/lib/libHStamarin-prover-sapic-1.10.0-LT5B93hDyAV9Q3jcnsJOr3-ghc9.4.8.so
usr/share/
usr/share/doc/
usr/share/doc/haskell-tamarin-prover-sapic/
usr/share/haskell/
usr/share/haskell/register/
usr/share/haskell/register/haskell-tamarin-prover-sapic.sh
usr/share/haskell/unregister/
usr/share/haskell/unregister/haskell-tamarin-prover-sapic.sh
