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
- armhf
- Section
- universe/haskell
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 47.5 kB
- Size expected
- 6.5 MB
- Size actual
- 6.5 MB
- Size match
Dependencies
Required package dependencies
- libghc-async-prof-2.2.5-f9311
- libghc-attoparsec-prof-0.14.4-4100f
- libghc-base-prof-4.20.2.0-40f5b
- libghc-bifunctors-prof-5.6.2-5a02d
- libghc-bimap-prof-0.5.0-d158d
- libghc-boundedchan-prof-1.0.3.0-da76e
- libghc-bv-sized-prof-1.0.6-6ccfd
- libghc-bytestring-prof-0.12.2.0-b5b2e
- libghc-concurrent-extra-prof-0.7.0.12-27c1e
- libghc-config-value-prof-0.8.3-b2e7b
- libghc-containers-prof-0.7-1bb97
- libghc-deepseq-prof-1.5.0.0-e9ebd
- libghc-deriving-compat-prof-0.6.7-31d74
- libghc-directory-prof-1.3.8.5-ed84c
- libghc-exceptions-prof-0.10.9-2a02c
- libghc-filepath-prof-1.5.4.0-dafcc
- libghc-fingertree-prof-0.1.6.3-70684
- libghc-ghc-prim-prof-0.12.0-7416d
- libghc-hashable-prof-1.5.0.0-da43e
- libghc-hashtables-prof-1.4.2-f3cc5
- libghc-io-streams-prof-1.5.2.2-9a2bd
- libghc-lens-prof-5.3.5-bad0b
- libghc-libbf-prof-0.6.8-40b3f
- libghc-megaparsec-prof-9.7.0-2b2df
- libghc-mtl-prof-2.3.1-0785e
- libghc-ordered-containers-prof-0.2.4-dc42c
- libghc-panic-prof-0.4.0.1-a6079
- libghc-parameterized-utils-prof-2.1.11.0-21d6f
- libghc-parsec-prof-3.1.18.0-b8b49
- libghc-prettyprinter-prof-1.7.1-56f32
- libghc-process-prof-1.6.26.1-97ff5
- libghc-s-cargot-prof-0.1.6.0-ad70e
- libghc-scientific-prof-0.3.8.0-616f0
- libghc-stm-prof-2.5.3.1-0a6e7
- libghc-template-haskell-prof-2.22.0.0-cc0dc
- libghc-temporary-prof-1.3-916d5
- libghc-text-prof-2.1.3-e72b8
- libghc-th-lift-instances-prof-0.1.20-59739
- libghc-th-lift-prof-0.8.6-4b2af
- libghc-time-prof-1.12.2-16082
- libghc-transformers-prof-0.6.1.1-3bf29
- libghc-unliftio-prof-0.2.25.1-8d8e1
- libghc-unordered-containers-prof-0.2.20.1-160b4
- libghc-utf8-string-prof-1.0.2-aad71
- libghc-vector-prof-0.13.2.0-863b4
- libghc-versions-prof-6.0.8-b9b7f
- libghc-what4-dev (= 1.6.3-1)
- libghc-zenc-prof-0.1.2-99a43
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 | 32d3cd56…56fe51ca | |
| SHA-1 | f231d85b…791c0e31 | |
| SHA-256 | 2da36054…c913c25e | |
| SHA-512 | 28ca338a…d50a8599 |
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/arm-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/Test usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/Test/Verification.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4 usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/BaseTypes.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Concrete.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Config.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/Allocator.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/App.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/AppTheory.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/ArrayUpdateMap.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/BoolMap.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/Builder.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/GroundEval.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/MATLAB.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/Simplify.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/StringSeq.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/UnaryBV.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/VarIdentification.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr/WeightedSum.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Expr.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/FloatMode.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/FunctionName.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/IndexLit.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Interface.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/InterpretedFloatingPoint.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/LabeledPred.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Panic.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Partial.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/ProblemFeatures.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/ProgramLoc.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/Online.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/PolyRoot.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/ReadDecimal.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/SExp.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/SMTLib2 usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/SMTLib2/Parse.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/SMTLib2/Response.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/SMTLib2/Syntax.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/SMTLib2.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/SMTWriter.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/VerilogWriter usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/VerilogWriter/ABCVerilog.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/VerilogWriter/AST.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/VerilogWriter/Backend.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Protocol/VerilogWriter.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/SFloat.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/SWord.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/SatResult.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/SemiRing.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Serialize usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Serialize/FastSExpr.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Serialize/Log.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Serialize/Normalize.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Serialize/Parser.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Serialize/Printer.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Serialize/SETokens.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/Adapter.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/Bitwuzla.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/Boolector.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/CVC4.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/CVC5.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/DReal.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/ExternalABC.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/STP.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/Yices.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver/Z3.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Solver.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/SpecialFunctions.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Symbol.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/AbstractDomains.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/AnnotatedMap.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/Arithmetic.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/BVDomain usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/BVDomain/Arith.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/BVDomain/Bitwise.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/BVDomain/XOR.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/BVDomain.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/Complex.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/Endian.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/Environment.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/FloatHelpers.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/HandleReader.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/IncrHash.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/LeqMap.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/MonadST.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/OnlyIntRepr.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/Process.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/ResolveBounds usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/ResolveBounds/BV.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/Serialize.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/Streams.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/StringLiteral.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/Versions.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/Utils/Word16String.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/What4/WordMap.p_hi usr/lib/haskell-packages/ghc/lib/arm-linux-ghc-9.10.3-inplace/what4-1.6.3-4q8YHAYUKjy39LZh9xUbRB/libHSwhat4-1.6.3-4q8YHAYUKjy39LZh9xUbRB_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