Package - haskell-what4-utils

Package:  haskell-what4-utils
apt-get install haskell-what4-utils
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/h/haskell-what4/haskell-what4-utils_1.5.1-4+b3_amd64.deb (Size: 4.0MiB)

PropertyValue
Packagehaskell-what4-utils
Sourcehaskell-what4 (1.5.1-4)
Version1.5.1-4+b3
Installed-Size29156
MaintainerDebian Haskell Group
Architectureamd64
Dependslibc6 (>= 2.38), libffi8 (>= 3.4), libgmp10 (>= 2:6.3.0+dfsg), libnuma1 (>= 2.0.11), zlib1g (>= 1:1.1.4)
DescriptionSolver-agnostic symbolic values support for issuing queries
Description-md580e93d59d20cc33d67cc26b316f961e2
Homepagehttps://github.com/GaloisInc/what4
Sectionmisc
Priorityoptional
Filenamepool/main/h/haskell-what4/haskell-what4-utils_1.5.1-4+b3_amd64.deb
Size4228460
MD5sume1d63612c05c10261f587d917b9a7697
SHA25647b44fb074b575d3b3038b1ee5ffb7ebc71c6389455930ad4ee4e0d6a74e5590

Files in package

  • /usr/bin/quickstart
  • /usr/share/doc/haskell-what4-utils/changelog.Debian.amd64.gz
  • /usr/share/doc/haskell-what4-utils/changelog.Debian.gz
  • /usr/share/doc/haskell-what4-utils/changelog.gz
  • /usr/share/doc/haskell-what4-utils/copyright
  • /usr/share/what4/solverBounds.config