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
- arm64
- Section
- universe/haskell
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 51.3 kB
- Size expected
- 5.4 MB
- Size actual
- 5.4 MB
- Size match
Dependencies
Required package dependencies
- libghc-async-prof-2.2.5-cc949
- libghc-attoparsec-prof-0.14.4-00baf
- libghc-base-prof-4.20.2.0-08385
- libghc-bifunctors-prof-5.6.2-f514a
- libghc-bimap-prof-0.5.0-1a3fd
- libghc-boundedchan-prof-1.0.3.0-6aa24
- libghc-bv-sized-prof-1.0.6-71ce5
- libghc-bytestring-prof-0.12.2.0-ea2c7
- libghc-concurrent-extra-prof-0.7.0.12-211b4
- libghc-config-value-prof-0.8.3-98330
- libghc-containers-prof-0.7-1229a
- libghc-deepseq-prof-1.5.0.0-5309b
- libghc-deriving-compat-prof-0.6.7-9dbc6
- libghc-directory-prof-1.3.8.5-b904d
- libghc-exceptions-prof-0.10.9-2170c
- libghc-filepath-prof-1.5.4.0-2f955
- libghc-fingertree-prof-0.1.6.3-a31c8
- libghc-ghc-prim-prof-0.12.0-3e77a
- libghc-hashable-prof-1.5.0.0-f8585
- libghc-hashtables-prof-1.4.2-3008b
- libghc-io-streams-prof-1.5.2.2-0a475
- libghc-lens-prof-5.3.5-58595
- libghc-libbf-prof-0.6.8-52957
- libghc-megaparsec-prof-9.7.0-898bd
- libghc-mtl-prof-2.3.1-edf82
- libghc-ordered-containers-prof-0.2.4-45f81
- libghc-panic-prof-0.4.0.1-47a6a
- libghc-parameterized-utils-prof-2.1.11.0-32458
- libghc-parsec-prof-3.1.18.0-97676
- libghc-prettyprinter-prof-1.7.1-bbcd7
- libghc-process-prof-1.6.26.1-c4238
- libghc-s-cargot-prof-0.1.6.0-b775d
- libghc-scientific-prof-0.3.8.0-f9946
- libghc-stm-prof-2.5.3.1-e22ee
- libghc-template-haskell-prof-2.22.0.0-ee03a
- libghc-temporary-prof-1.3-e707d
- libghc-text-prof-2.1.3-528f6
- libghc-th-lift-instances-prof-0.1.20-1e498
- libghc-th-lift-prof-0.8.6-432d8
- libghc-time-prof-1.12.2-50390
- libghc-transformers-prof-0.6.1.1-26140
- libghc-unliftio-prof-0.2.25.1-d112e
- libghc-unordered-containers-prof-0.2.20.1-59ef5
- libghc-utf8-string-prof-1.0.2-bafbc
- libghc-vector-prof-0.13.2.0-b3aec
- libghc-versions-prof-6.0.8-6ac7c
- libghc-what4-dev (= 1.6.3-1)
- libghc-zenc-prof-0.1.2-cd66c
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 | 4f4f831e…5cf23d89 | |
| SHA-1 | f5308e51…869f7983 | |
| SHA-256 | b10048b4…ff2ef35f | |
| SHA-512 | ea772cb7…c5fb39c7 |
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/aarch64-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9 usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/Test usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/Test/Verification.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4 usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/BaseTypes.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Concrete.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Config.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/Allocator.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/App.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/AppTheory.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/ArrayUpdateMap.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/BoolMap.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/Builder.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/GroundEval.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/MATLAB.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/Simplify.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/StringSeq.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/UnaryBV.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/VarIdentification.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/WeightedSum.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/FloatMode.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/FunctionName.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/IndexLit.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Interface.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/InterpretedFloatingPoint.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/LabeledPred.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Panic.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Partial.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/ProblemFeatures.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/ProgramLoc.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/Online.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/PolyRoot.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/ReadDecimal.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SExp.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2 usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2/Parse.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2/Response.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2/Syntax.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTWriter.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter/ABCVerilog.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter/AST.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter/Backend.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SFloat.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SWord.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SatResult.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SemiRing.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/FastSExpr.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/Log.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/Normalize.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/Parser.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/Printer.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/SETokens.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Adapter.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Bitwuzla.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Boolector.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/CVC4.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/CVC5.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/DReal.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/ExternalABC.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/STP.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Yices.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Z3.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SpecialFunctions.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Symbol.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/AbstractDomains.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/AnnotatedMap.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Arithmetic.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain/Arith.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain/Bitwise.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain/XOR.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Complex.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Endian.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Environment.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/FloatHelpers.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/HandleReader.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/IncrHash.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/LeqMap.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/MonadST.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/OnlyIntRepr.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Process.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/ResolveBounds usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/ResolveBounds/BV.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Serialize.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Streams.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/StringLiteral.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Versions.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Word16String.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/WordMap.p_hi usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/libHSwhat4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9_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