libghc-what4-prof (1.6.3-1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- haskell-what4
- Architecture
- amd64v3
- Section
- universe/haskell
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 40.8 kB
- Size expected
- 4.4 MB
- Size actual
- 4.4 MB
- Size match
Dependencies
Required package dependencies
- libghc-async-prof-2.2.5-468d2
- libghc-attoparsec-prof-0.14.4-0b9af
- libghc-base-prof-4.20.2.0-47ff0
- libghc-bifunctors-prof-5.6.2-2d76c
- libghc-bimap-prof-0.5.0-fdbfd
- libghc-boundedchan-prof-1.0.3.0-6aa24
- libghc-bv-sized-prof-1.0.6-227f4
- libghc-bytestring-prof-0.12.2.0-d528c
- libghc-concurrent-extra-prof-0.7.0.12-211b4
- libghc-config-value-prof-0.8.3-e79d5
- libghc-containers-prof-0.7-0c6d4
- libghc-deepseq-prof-1.5.0.0-d390d
- libghc-deriving-compat-prof-0.6.7-d9e17
- libghc-directory-prof-1.3.8.5-1f094
- libghc-exceptions-prof-0.10.9-d3a18
- libghc-filepath-prof-1.5.4.0-29dd7
- libghc-fingertree-prof-0.1.6.3-ce581
- libghc-ghc-prim-prof-0.12.0-3e77a
- libghc-hashable-prof-1.5.0.0-6b1a9
- libghc-hashtables-prof-1.4.2-f98df
- libghc-io-streams-prof-1.5.2.2-601b2
- libghc-lens-prof-5.3.5-0100d
- libghc-libbf-prof-0.6.8-b9ecd
- libghc-megaparsec-prof-9.7.0-0079c
- libghc-mtl-prof-2.3.1-edf82
- libghc-ordered-containers-prof-0.2.4-de25c
- libghc-panic-prof-0.4.0.1-f37f0
- libghc-parameterized-utils-prof-2.1.11.0-a7bfc
- libghc-parsec-prof-3.1.18.0-edc19
- libghc-prettyprinter-prof-1.7.1-5dd4a
- libghc-process-prof-1.6.26.1-92ff0
- libghc-s-cargot-prof-0.1.6.0-1c5e3
- libghc-scientific-prof-0.3.8.0-a482c
- libghc-stm-prof-2.5.3.1-e22ee
- libghc-template-haskell-prof-2.22.0.0-5bb6e
- libghc-temporary-prof-1.3-3c2de
- libghc-text-prof-2.1.3-8ae9a
- libghc-th-lift-instances-prof-0.1.20-6e23f
- libghc-th-lift-prof-0.8.6-a1559
- libghc-time-prof-1.12.2-3b111
- libghc-transformers-prof-0.6.1.1-26140
- libghc-unliftio-prof-0.2.25.1-43b18
- libghc-unordered-containers-prof-0.2.20.1-0d733
- libghc-utf8-string-prof-1.0.2-cb0b6
- libghc-vector-prof-0.13.2.0-57b80
- libghc-versions-prof-6.0.8-c6447
- 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 | 517e81ef…bfaeb08f | |
| SHA-1 | 76478ea8…8ec1b361 | |
| SHA-256 | c9d27003…44d3b139 | |
| SHA-512 | 16e2d0a1…de7af4c9 |
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/x86_64-linux-ghc-9.10.3-inplace usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9 usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/Test usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/Test/Verification.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4 usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/BaseTypes.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Concrete.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Config.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/Allocator.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/App.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/AppTheory.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/ArrayUpdateMap.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/BoolMap.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/Builder.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/GroundEval.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/MATLAB.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/Simplify.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/StringSeq.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/UnaryBV.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/VarIdentification.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr/WeightedSum.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Expr.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/FloatMode.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/FunctionName.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/IndexLit.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Interface.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/InterpretedFloatingPoint.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/LabeledPred.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Panic.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Partial.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/ProblemFeatures.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/ProgramLoc.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/Online.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/PolyRoot.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/ReadDecimal.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SExp.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2 usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2/Parse.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2/Response.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2/Syntax.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTLib2.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/SMTWriter.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter/ABCVerilog.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter/AST.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter/Backend.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Protocol/VerilogWriter.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SFloat.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SWord.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SatResult.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SemiRing.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/FastSExpr.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/Log.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/Normalize.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/Parser.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/Printer.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Serialize/SETokens.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Adapter.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Bitwuzla.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Boolector.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/CVC4.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/CVC5.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/DReal.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/ExternalABC.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/STP.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Yices.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver/Z3.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Solver.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/SpecialFunctions.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Symbol.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/AbstractDomains.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/AnnotatedMap.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Arithmetic.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain/Arith.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain/Bitwise.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain/XOR.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/BVDomain.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Complex.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Endian.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Environment.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/FloatHelpers.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/HandleReader.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/IncrHash.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/LeqMap.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/MonadST.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/OnlyIntRepr.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Process.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/ResolveBounds usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/ResolveBounds/BV.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Serialize.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Streams.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/StringLiteral.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Versions.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/Utils/Word16String.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.10.3-inplace/what4-1.6.3-9uBVkRxr1Ru1evGDxWAmM9/What4/WordMap.p_hi usr/lib/haskell-packages/ghc/lib/x86_64-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