Package: libghc-what4-prof
Source: haskell-what4
Version: 1.6.3-1
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 40800
Depends: 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
Provides: libghc-what4-prof-1.6.3-db00b
Section: haskell
Priority: optional
Homepage: https://github.com/GaloisInc/what4
Description: Solver-agnostic symbolic values support for issuing queries; profiling libraries
 What4 is a generic library for representing values as symbolic formulae which
 may contain references to symbolic values, representing unknown variables.
 It provides support for communicating with a variety of SAT and SMT solvers,
 including Z3, CVC4, CVC5, Yices, Boolector, STP, and dReal.
 The data representation types make heavy use of GADT-style type indices
 to ensure type-correct manipulation of symbolic values.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling.  See http://www.haskell.org/ for more information on Haskell.
