%FILES%
usr/
usr/lib/
usr/lib/debug/
usr/lib/debug/.build-id/
usr/lib/debug/.build-id/9a/
usr/lib/debug/.build-id/9a/4652f5866c4d8146ab1ed8d67d22237bbc8a7e
usr/lib/debug/.build-id/9a/4652f5866c4d8146ab1ed8d67d22237bbc8a7e.debug
usr/lib/debug/usr/
usr/lib/debug/usr/lib/
usr/lib/debug/usr/lib/libHStamarin-prover-export-1.12.0-JF9mR4u5busJlNdsOfogdW-ghc9.6.6.so.debug
usr/src/
usr/src/debug/
usr/src/debug/haskell-tamarin-prover-export/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/Data/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/Data/DList/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Export.hs
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/ProVerifHeader.hs
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/RuleTranslation.hs
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Sapic/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Term/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Term/Term/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Text/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Text/PrettyPrint/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Theory/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Theory/Model/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Theory/Sapic/
usr/src/debug/haskell-tamarin-prover-export/tamarin-prover-1.12.0/lib/export/src/Theory/Text/
