%FILES%
usr/
usr/bin/
usr/bin/quickstart
usr/lib/
usr/lib/ghc-8.10.2/
usr/lib/ghc-8.10.2/site-local/
usr/lib/ghc-8.10.2/site-local/what4-1.0/
usr/lib/ghc-8.10.2/site-local/what4-1.0/Test/
usr/lib/ghc-8.10.2/site-local/what4-1.0/Test/Verification.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/BaseTypes.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Concrete.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Config.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/App.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/AppTheory.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/ArrayUpdateMap.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/BoolMap.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/Builder.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/GroundEval.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/MATLAB.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/Simplify.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/StringSeq.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/UnaryBV.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/VarIdentification.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Expr/WeightedSum.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/FunctionName.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/IndexLit.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Interface.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/InterpretedFloatingPoint.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/LabeledPred.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Panic.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Partial.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/ProblemFeatures.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/ProgramLoc.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/Online.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/PolyRoot.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/ReadDecimal.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/SExp.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/SMTLib2.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/SMTLib2/
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/SMTLib2/Parse.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/SMTLib2/Syntax.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Protocol/SMTWriter.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/SWord.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/SatResult.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/SemiRing.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Solver.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Solver/
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Solver/Adapter.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Solver/Boolector.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Solver/CVC4.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Solver/DReal.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Solver/STP.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Solver/Yices.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Solver/Z3.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Symbol.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/AbstractDomains.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/AnnotatedMap.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/Arithmetic.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/BVDomain.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/BVDomain/
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/BVDomain/Arith.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/BVDomain/Bitwise.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/BVDomain/XOR.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/Complex.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/Endian.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/Environment.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/HandleReader.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/IncrHash.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/LeqMap.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/MonadST.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/OnlyNatRepr.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/Process.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/Streams.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/StringLiteral.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/Utils/Word16String.dyn_hi
usr/lib/ghc-8.10.2/site-local/what4-1.0/What4/WordMap.dyn_hi
usr/lib/libHSwhat4-1.0-4DTWM86qjYBEHVDnofI2jO-ghc8.10.2.so
usr/share/
usr/share/doc/
usr/share/doc/haskell-what4/
usr/share/haskell/
usr/share/haskell/register/
usr/share/haskell/register/haskell-what4.sh
usr/share/haskell/unregister/
usr/share/haskell/unregister/haskell-what4.sh
usr/share/licenses/
usr/share/licenses/haskell-what4/
usr/share/licenses/haskell-what4/LICENSE
