BDEPEND=app-text/dos2unix DEFINED_PHASES=compile configure install postinst postrm prepare setup test DEPEND=dev-haskell/async:=[profile?] >=dev-haskell/attoparsec-0.13:=[profile?] >=dev-haskell/bifunctors-5:=[profile?] >=dev-haskell/bimap-0.2:=[profile?] >=dev-haskell/boundedchan-1:=[profile?] =dev-haskell/bv-sized-1.0.0:=[profile?] >=dev-haskell/concurrent-extra-0.7:=[profile?] =dev-haskell/config-value-0.8:=[profile?] =dev-haskell/deriving-compat-0.5:=[profile?] >=dev-haskell/fingertree-0.1.4:=[profile?] >=dev-haskell/hashable-1.3:=[profile?] >=dev-haskell/hashtables-1.2.3:=[profile?] >=dev-haskell/hedgehog-1.0.2:=[profile?] >=dev-haskell/io-streams-1.5:=[profile?] >=dev-haskell/lens-4.18:=[profile?] >=dev-haskell/libbf-0.6:=[profile?] =dev-haskell/megaparsec-8:=[profile?] =dev-haskell/ordered-containers-0.2:=[profile?] =dev-haskell/panic-0.3:=[profile?] >=dev-haskell/parameterized-utils-2.1:=[profile?] =dev-haskell/parsec-3:=[profile?] =dev-haskell/prettyprinter-1.7.0:=[profile?] >=dev-haskell/s-cargot-0.1:=[profile?] =dev-haskell/scientific-0.3.6:=[profile?] >=dev-haskell/tasty-0.10:=[profile?] >=dev-haskell/tasty-hedgehog-1.2:=[profile?] >=dev-haskell/tasty-hunit-0.9:=[profile?] >=dev-haskell/temporary-1.2:=[profile?] >=dev-haskell/text-1.2.4.0:=[profile?] =dev-haskell/th-lift-0.8.2:=[profile?] =dev-haskell/th-lift-instances-0.1:=[profile?] =dev-haskell/unliftio-0.2:=[profile?] =dev-haskell/unordered-containers-0.2.10:=[profile?] >=dev-haskell/utf8-string-1.0.1:=[profile?] >=dev-haskell/vector-0.12.1:=[profile?] >=dev-haskell/versions-6.0.2:=[profile?] =dev-haskell/zenc-0.1.0:=[profile?] =dev-lang/ghc-9.0.2:= >=dev-haskell/cabal-3.4.1.0 hscolour? ( dev-haskell/hscolour ) DESCRIPTION=Solver-agnostic symbolic values support for issuing queries EAPI=8 HOMEPAGE=https://github.com/GaloisInc/what4 IUSE=drealtestdisable solvertests stptestdisable doc hscolour hoogle profile KEYWORDS=~amd64 LICENSE=BSD RDEPEND=dev-haskell/async:=[profile?] >=dev-haskell/attoparsec-0.13:=[profile?] >=dev-haskell/bifunctors-5:=[profile?] >=dev-haskell/bimap-0.2:=[profile?] >=dev-haskell/boundedchan-1:=[profile?] =dev-haskell/bv-sized-1.0.0:=[profile?] >=dev-haskell/concurrent-extra-0.7:=[profile?] =dev-haskell/config-value-0.8:=[profile?] =dev-haskell/deriving-compat-0.5:=[profile?] >=dev-haskell/fingertree-0.1.4:=[profile?] >=dev-haskell/hashable-1.3:=[profile?] >=dev-haskell/hashtables-1.2.3:=[profile?] >=dev-haskell/hedgehog-1.0.2:=[profile?] >=dev-haskell/io-streams-1.5:=[profile?] >=dev-haskell/lens-4.18:=[profile?] >=dev-haskell/libbf-0.6:=[profile?] =dev-haskell/megaparsec-8:=[profile?] =dev-haskell/ordered-containers-0.2:=[profile?] =dev-haskell/panic-0.3:=[profile?] >=dev-haskell/parameterized-utils-2.1:=[profile?] =dev-haskell/parsec-3:=[profile?] =dev-haskell/prettyprinter-1.7.0:=[profile?] >=dev-haskell/s-cargot-0.1:=[profile?] =dev-haskell/scientific-0.3.6:=[profile?] >=dev-haskell/tasty-0.10:=[profile?] >=dev-haskell/tasty-hedgehog-1.2:=[profile?] >=dev-haskell/tasty-hunit-0.9:=[profile?] >=dev-haskell/temporary-1.2:=[profile?] >=dev-haskell/text-1.2.4.0:=[profile?] =dev-haskell/th-lift-0.8.2:=[profile?] =dev-haskell/th-lift-instances-0.1:=[profile?] =dev-haskell/unliftio-0.2:=[profile?] =dev-haskell/unordered-containers-0.2.10:=[profile?] >=dev-haskell/utf8-string-1.0.1:=[profile?] >=dev-haskell/vector-0.12.1:=[profile?] >=dev-haskell/versions-6.0.2:=[profile?] =dev-haskell/zenc-0.1.0:=[profile?] =dev-lang/ghc-9.0.2:= dev-lang/ghc:=[profile?] RESTRICT=test SLOT=0/1.7 SRC_URI=https://hackage.haskell.org/package/what4-1.7/what4-1.7.tar.gz _eclasses_=ghc-package 94e9e8c87736070ff088bc34d0f45f7c haskell-cabal 85fd5ab7b9e5ddf0d7e402676ad452f5 multilib a199af442898963433d6f038a88cce9c multiprocessing 1e32df7deee68372153dca65f4a7c21f toolchain-funcs 98d9f464d912ae6b7316fb8a3721f5db _md5_=7c0b09f9cb736ceac657fb479b1c59eb