libghc-what4-prof (1.6.3-1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- haskell-what4
- Architecture
- riscv64
- Section
- universe/haskell
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 99.4 kB
- Size expected
- 10.6 MB
- Size actual
- 10.6 MB
- Size match
Dependencies
Required package dependencies
- libghc-async-prof-2.2.5-dc131
- libghc-attoparsec-prof-0.14.4-76150
- libghc-base-prof-4.20.2.0-30faa
- libghc-bifunctors-prof-5.6.2-3c210
- libghc-bimap-prof-0.5.0-9dbfd
- libghc-boundedchan-prof-1.0.3.0-6aa24
- libghc-bv-sized-prof-1.0.6-d3c50
- libghc-bytestring-prof-0.12.2.0-a813d
- libghc-concurrent-extra-prof-0.7.0.12-ff997
- libghc-config-value-prof-0.8.3-34189
- libghc-containers-prof-0.7-e4358
- libghc-deepseq-prof-1.5.0.0-1117d
- libghc-deriving-compat-prof-0.6.7-7231c
- libghc-directory-prof-1.3.8.5-321ac
- libghc-exceptions-prof-0.10.9-2170c
- libghc-filepath-prof-1.5.4.0-d57b3
- libghc-fingertree-prof-0.1.6.3-922a3
- libghc-ghc-prim-prof-0.12.0-3e77a
- libghc-hashable-prof-1.5.0.0-55e0a
- libghc-hashtables-prof-1.4.2-ab0e3
- libghc-io-streams-prof-1.5.2.2-e79d0
- libghc-lens-prof-5.3.5-cded3
- libghc-libbf-prof-0.6.8-2fa2a
- libghc-megaparsec-prof-9.7.0-6eafc
- libghc-mtl-prof-2.3.1-edf82
- libghc-ordered-containers-prof-0.2.4-ad2d7
- libghc-panic-prof-0.4.0.1-0d4cc
- libghc-parameterized-utils-prof-2.1.11.0-ed332
- libghc-parsec-prof-3.1.18.0-03198
- libghc-prettyprinter-prof-1.7.1-fbae6
- libghc-process-prof-1.6.26.1-4d56c
- libghc-s-cargot-prof-0.1.6.0-3bef6
- libghc-scientific-prof-0.3.8.0-0448d
- libghc-stm-prof-2.5.3.1-e22ee
- libghc-template-haskell-prof-2.22.0.0-b64d1
- libghc-temporary-prof-1.3-66e80
- libghc-text-prof-2.1.3-6c132
- libghc-th-lift-instances-prof-0.1.20-5cd35
- libghc-th-lift-prof-0.8.6-432d8
- libghc-time-prof-1.12.2-e01d8
- libghc-transformers-prof-0.6.1.1-26140
- libghc-unliftio-prof-0.2.25.1-ca2f6
- libghc-unordered-containers-prof-0.2.20.1-3b8f9
- libghc-utf8-string-prof-1.0.2-4fd30
- libghc-vector-prof-0.13.2.0-de3dd
- libghc-versions-prof-6.0.8-ef880
- libghc-what4-dev (= 1.6.3-1)
- libghc-zenc-prof-0.1.2-20a85
Suggested packages
Recommended additional packages
- None
Description
Solver-agnostic symbolic values support for issuing queries; profiling libraries
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | fdeb30fc…284de1fa | |
| SHA-1 | a28d3980…06bae51b | |
| SHA-256 | 031511e0…c52e3f80 | |
| SHA-512 | 0370cb89…673a4791 |
Contents
Files and directories included
. usr usr/lib usr/lib/haskell-packages usr/lib/haskell-packages/ghc usr/lib/haskell-packages/ghc/lib usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46 usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/Test usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/Test/Verification.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4 usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/BaseTypes.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Concrete.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Config.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/Allocator.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/App.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/AppTheory.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/ArrayUpdateMap.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/BoolMap.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/Builder.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/GroundEval.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/MATLAB.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/Simplify.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/StringSeq.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/UnaryBV.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/VarIdentification.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr/WeightedSum.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Expr.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/FloatMode.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/FunctionName.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/IndexLit.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Interface.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/InterpretedFloatingPoint.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/LabeledPred.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Panic.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Partial.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/ProblemFeatures.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/ProgramLoc.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/Online.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/PolyRoot.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/ReadDecimal.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/SExp.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/SMTLib2 usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/SMTLib2/Parse.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/SMTLib2/Response.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/SMTLib2/Syntax.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/SMTLib2.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/SMTWriter.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/VerilogWriter usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/VerilogWriter/ABCVerilog.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/VerilogWriter/AST.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/VerilogWriter/Backend.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Protocol/VerilogWriter.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/SFloat.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/SWord.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/SatResult.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/SemiRing.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Serialize usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Serialize/FastSExpr.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Serialize/Log.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Serialize/Normalize.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Serialize/Parser.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Serialize/Printer.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Serialize/SETokens.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/Adapter.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/Bitwuzla.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/Boolector.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/CVC4.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/CVC5.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/DReal.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/ExternalABC.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/STP.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/Yices.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver/Z3.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Solver.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/SpecialFunctions.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Symbol.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/AbstractDomains.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/AnnotatedMap.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/Arithmetic.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/BVDomain usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/BVDomain/Arith.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/BVDomain/Bitwise.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/BVDomain/XOR.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/BVDomain.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/Complex.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/Endian.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/Environment.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/FloatHelpers.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/HandleReader.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/IncrHash.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/LeqMap.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/MonadST.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/OnlyIntRepr.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/Process.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/ResolveBounds usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/ResolveBounds/BV.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/Serialize.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/Streams.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/StringLiteral.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/Versions.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/Utils/Word16String.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/What4/WordMap.p_hi usr/lib/haskell-packages/ghc/lib/riscv64-linux-ghc-9.10.3-inplace/what4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46/libHSwhat4-1.6.3-E2ZZQS8euTJ4n4wXeKkd46_p.a usr/share usr/share/doc usr/share/doc/libghc-what4-prof usr/share/doc/libghc-what4-prof/copyright usr/share/doc/libghc-what4-prof/changelog.Debian.gz