Debian 13 (Trixie) native package

libghc-what4-prof

Solver-agnostic symbolic values support for issuing queries; profiling libraries

Packages / Debian 13 (Trixie) / haskell / libghc-what4-prof

[Source: haskell-what4]

Package: libghc-what4-prof (1.5.1-4+b2)

Maintainers:

Debian Haskell Group

External Resources:

Homepage: [github.com]

Similar packages:

[haskell-what4-utils]
Solver-agnostic symbolic values support for issuing queries
[libghc-what4-dev]
Solver-agnostic symbolic values support for issuing queries
[libghc-what4-doc]
Solver-agnostic symbolic values support for issuing queries; documentation

Solver-agnostic symbolic values support for issuing queries; profiling libraries

Other Packages Related to libghc-what4-prof:

dep: libghc-async-prof-2.2.5-a3b4a
Package not available
dep: libghc-attoparsec-prof-0.14.4-972ee
Package not available
dep: libghc-base-prof-4.18.2.1-75247
Package not available
dep: libghc-bifunctors-prof-5.6.2-31393
Package not available
dep: libghc-bimap-prof-0.5.0-c50de
Package not available
dep: libghc-boundedchan-prof-1.0.3.0-23518
Package not available
dep: libghc-bv-sized-prof-1.0.5-5f35b
Package not available
dep: libghc-bytestring-prof-0.11.5.3-31c85
Package not available
dep: libghc-concurrent-extra-prof-0.7.0.12-818b8
Package not available
dep: libghc-config-value-prof-0.8.3-1a1b7
Package not available
dep: libghc-containers-prof-0.6.7-3eda8
Package not available
dep: libghc-deepseq-prof-1.4.8.1-71feb
Package not available
dep: libghc-deriving-compat-prof-0.6.6-b117d
Package not available
dep: libghc-directory-prof-1.3.8.5-71f9f
Package not available
dep: libghc-exceptions-prof-0.10.7-fdf92
Package not available
dep: libghc-filepath-prof-1.4.300.1-4a448
Package not available
dep: libghc-fingertree-prof-0.1.5.0-c5233
Package not available
dep: libghc-ghc-prim-prof-0.10.0-e2193
Package not available
dep: libghc-hashable-prof-1.4.4.0-3ee83
Package not available
dep: libghc-hashtables-prof-1.3.1-433b3
Package not available
dep: libghc-io-streams-prof-1.5.2.2-876de
Package not available
dep: libghc-lens-prof-5.2.3-9e387
Package not available
dep: libghc-libbf-prof-0.6.8-38e9c
Package not available
dep: libghc-megaparsec-prof-9.5.0-98f26
Package not available
dep: libghc-mtl-prof-2.3.1-f8119
Package not available
dep: libghc-ordered-containers-prof-0.2.4-8859a
Package not available
dep: libghc-panic-prof-0.4.0.1-193af
Package not available
dep: libghc-parameterized-utils-prof-2.1.9.0-49aa6
Package not available
dep: libghc-parsec-prof-3.1.16.1-6f3a3
Package not available
dep: libghc-prettyprinter-prof-1.7.1-8f1cb
Package not available
dep: libghc-process-prof-1.6.19.0-220a3
Package not available
dep: libghc-s-cargot-prof-0.1.6.0-f4f3d
Package not available
dep: libghc-scientific-prof-0.3.7.0-f9323
Package not available
dep: libghc-stm-prof-2.5.1.0-99e80
Package not available
dep: libghc-template-haskell-prof-2.20.0.0-a6103
Package not available
dep: libghc-temporary-prof-1.3-ed806
Package not available
dep: libghc-text-prof-2.0.2-edcc7
Package not available
dep: libghc-th-lift-instances-prof-0.1.20-3883c
Package not available
dep: libghc-th-lift-prof-0.8.4-5b668
Package not available
dep: libghc-time-prof-1.12.2-a9ccc
Package not available
dep: libghc-transformers-prof-0.6.1.0-5335d
Package not available
dep: libghc-unliftio-prof-0.2.25.0-db307
Package not available
dep: libghc-unordered-containers-prof-0.2.20-bef9d
Package not available
dep: libghc-utf8-string-prof-1.0.2-e9047
Package not available
dep: libghc-vector-prof-0.13.1.0-c924b
Package not available
dep: libghc-versions-prof-6.0.7-a68ce
Package not available
dep: [libghc-what4-dev] (= 1.5.1-4+b2)
Solver-agnostic symbolic values support for issuing queries
dep: libghc-zenc-prof-0.1.2-e6c57
Package not available

Download libghc-what4-prof

Architecture	Package Size	Installed Size	Files
arm64	4.3 MiB	50 MiB	[list of files]

Percorsi file del pacchetto (182)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/libHSwhat4-1.5.1-LG45U1U8emW2XazMOkljA7_p.a
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/Test/Verification.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/BaseTypes.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Concrete.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Config.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/Allocator.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/App.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/AppTheory.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/ArrayUpdateMap.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/BoolMap.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/Builder.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/GroundEval.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/MATLAB.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/Simplify.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/StringSeq.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/UnaryBV.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/VarIdentification.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Expr/WeightedSum.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/FloatMode.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/FunctionName.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/IndexLit.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Interface.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/InterpretedFloatingPoint.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/LabeledPred.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Panic.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Partial.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/ProblemFeatures.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/ProgramLoc.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/Online.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/PolyRoot.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/ReadDecimal.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/SExp.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/SMTLib2/Parse.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/SMTLib2.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/SMTLib2/Response.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/SMTLib2/Syntax.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/SMTWriter.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/VerilogWriter/ABCVerilog.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/VerilogWriter/AST.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/VerilogWriter/Backend.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Protocol/VerilogWriter.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/SatResult.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/SemiRing.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Serialize/FastSExpr.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Serialize/Log.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Serialize/Normalize.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Serialize/Parser.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Serialize/Printer.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Serialize/SETokens.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/SFloat.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver/Adapter.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver/Boolector.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver/CVC4.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver/CVC5.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver/DReal.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver/ExternalABC.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver/STP.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver/Yices.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Solver/Z3.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/SpecialFunctions.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/SWord.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Symbol.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/AbstractDomains.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/AnnotatedMap.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/Arithmetic.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/BVDomain/Arith.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/BVDomain/Bitwise.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/BVDomain.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/BVDomain/XOR.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/Complex.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/Endian.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/Environment.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/FloatHelpers.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/HandleReader.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/IncrHash.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/LeqMap.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/MonadST.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/OnlyIntRepr.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/Process.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/ResolveBounds/BV.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/Serialize.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/Streams.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/StringLiteral.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/Versions.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/Utils/Word16String.p_hi
/usr/lib/haskell-packages/ghc/lib/aarch64-linux-ghc-9.6.6/what4-1.5.1-LG45U1U8emW2XazMOkljA7/What4/WordMap.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/libHSwhat4-1.5.1-HYDR9g6XlL3K7DjFSCzcie_p.a
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/Test/Verification.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/BaseTypes.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Concrete.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Config.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/Allocator.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/App.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/AppTheory.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/ArrayUpdateMap.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/BoolMap.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/Builder.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/GroundEval.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/MATLAB.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/Simplify.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/StringSeq.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/UnaryBV.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/VarIdentification.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Expr/WeightedSum.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/FloatMode.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/FunctionName.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/IndexLit.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Interface.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/InterpretedFloatingPoint.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/LabeledPred.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Panic.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Partial.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/ProblemFeatures.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/ProgramLoc.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/Online.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/PolyRoot.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/ReadDecimal.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/SExp.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/SMTLib2/Parse.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/SMTLib2.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/SMTLib2/Response.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/SMTLib2/Syntax.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/SMTWriter.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/VerilogWriter/ABCVerilog.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/VerilogWriter/AST.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/VerilogWriter/Backend.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Protocol/VerilogWriter.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/SatResult.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/SemiRing.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Serialize/FastSExpr.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Serialize/Log.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Serialize/Normalize.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Serialize/Parser.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Serialize/Printer.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Serialize/SETokens.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/SFloat.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver/Adapter.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver/Boolector.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver/CVC4.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver/CVC5.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver/DReal.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver/ExternalABC.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver/STP.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver/Yices.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Solver/Z3.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/SpecialFunctions.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/SWord.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Symbol.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/AbstractDomains.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/AnnotatedMap.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/Arithmetic.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/BVDomain/Arith.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/BVDomain/Bitwise.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/BVDomain.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/BVDomain/XOR.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/Complex.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/Endian.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/Environment.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/FloatHelpers.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/HandleReader.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/IncrHash.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/LeqMap.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/MonadST.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/OnlyIntRepr.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/Process.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/ResolveBounds/BV.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/Serialize.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/Streams.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/StringLiteral.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/Versions.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/Utils/Word16String.p_hi
/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/what4-1.5.1-HYDR9g6XlL3K7DjFSCzcie/What4/WordMap.p_hi
/usr/share/doc/libghc-what4-prof/buildinfo_arm64.gz
/usr/share/doc/libghc-what4-prof/changelog.Debian.amd64.gz
/usr/share/doc/libghc-what4-prof/changelog.Debian.arm64.gz
/usr/share/doc/libghc-what4-prof/changelog.Debian.gz
/usr/share/doc/libghc-what4-prof/changelog.gz
/usr/share/doc/libghc-what4-prof/copyright

Field source: Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908

Usa questo pacchetto

OpenFactory può avviare questo sistema operativo in una macchina virtuale del browser, o iniziare una costruzione che include il nome nativo del pacchetto di questo record.

Prova Debian 13 (Trixie) nel browser Crea un'immagine che include libghc-what4-prof

Versioni, suite e repository

Ogni riga è metadato dell'indice pacchetti per una versione, architettura, suite e repository. Nomi, URL e dimensioni arrivano dalla fonte; un link è un punto di recupero mutabile, non una redistribuzione OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
1.5.1-4+b2	trixie / main	arm64	Debian 13 · main · arm64	4.3 MiB	50 MiB	pool/main/h/haskell-what4/libghc-what4-prof_1.5.1-4+b2_arm64.deb

Field source: Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908

Checksum e date di osservazione

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

1.5.1-4+b2 / arm64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha256: 0616ab1d17d61e49949511adce4de6aa523bbb8e752aa8fb31e6af542e8dfc9d

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '0616ab1d17d61e49949511adce4de6aa523bbb8e752aa8fb31e6af542e8dfc9d' 'libghc-what4-prof_1.5.1-4+b2_arm64.deb' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908

Completezza del record

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description: 25/25
Artifact path and source digest: 25/25
Dependency metadata: 15/15
Package-file index: 15/15
Homepage: 5/5
License text: 0/5
Source package or maintainer: 10/10

Recorded total: 95/100

Field source: Debian 13 (Trixie) main amd64 revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3, Debian 13 (Trixie) main arm64 revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Fonti e provenienza

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

Debian 13 (Trixie) main amd64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision trixie-main-amd64:3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://deb.debian.org/debian/dists/trixie/InRelease
Signed-object SHA-256
98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
Signer fingerprint
4CB50190207B4758A3F73A796ED0E7B82643E131
Keyring revision
debian-archive-keyring.gpg
SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: main/binary-amd64/Packages.xz
Expected SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Observed SHA-256: 3ab4e811cf4f3e5a335d382c58cc19d85f1abe7a4ef4689160ca1f637fa0e9b3
Result: match verified
Debian 13 (Trixie) main arm64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision trixie-main-arm64:753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://deb.debian.org/debian/dists/trixie/InRelease
Signed-object SHA-256
98b25b5cd185c59d34aa6e4c3e9b5b8f01bbe9d104fe2dcfbcd30dc0a14a59ed
Signer fingerprint
4CB50190207B4758A3F73A796ED0E7B82643E131
Keyring revision
debian-archive-keyring.gpg
SHA-256 506b815cbb32d9b6066b4a2aa524071e071761e7e7f68c3ac74f3061ba852017
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: main/binary-arm64/Packages.xz
Expected SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Observed SHA-256: 753da751bbc7a679f48bd1b623ffd4479cb6861c426118284c76eb82909e4908
Result: match verified