%FILES%
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-accountability-1.8.0/
usr/lib/ghc-9.0.2/site-local/tamarin-prover-accountability-1.8.0/Accountability.dyn_hi
usr/lib/ghc-9.0.2/site-local/tamarin-prover-accountability-1.8.0/Accountability/
usr/lib/ghc-9.0.2/site-local/tamarin-prover-accountability-1.8.0/Accountability/Generation.dyn_hi
usr/lib/libHStamarin-prover-accountability-1.8.0-D79TayRrsLA3Njqs4mtxq2-ghc9.0.2.so
usr/share/
usr/share/doc/
usr/share/doc/haskell-tamarin-prover-accountability/
usr/share/haskell/
usr/share/haskell/register/
usr/share/haskell/register/haskell-tamarin-prover-accountability.sh
usr/share/haskell/unregister/
usr/share/haskell/unregister/haskell-tamarin-prover-accountability.sh
