Package - libghc-smtlib-prof

Package:  libghc-smtlib-prof
apt-get install libghc-smtlib-prof
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/h/haskell-smtlib/libghc-smtlib-prof_1.1-4+b1_amd64.deb (Size: 361.4KiB)

PropertyValue
Packagelibghc-smtlib-prof
Sourcehaskell-smtlib (1.1-4)
Version1.1-4+b1
Installed-Size3946
MaintainerDebian Haskell Group
Architectureamd64
Provideslibghc-smtlib-prof-1.1-052b0
Dependslibghc-base-prof-4.18.2.1-8e81e, libghc-pretty-prof-1.1.3.6-8f6c9, libghc-smtlib-dev (= 1.1-4+b1)
DescriptionA library for working with the SMTLIB format.; profiling libraries
Description-md52830b4d6e104ca002170659b37feefea
Sectionhaskell
Priorityoptional
Filenamepool/main/h/haskell-smtlib/libghc-smtlib-prof_1.1-4+b1_amd64.deb
Size370120
MD5sum16fd8121adda52528e99aa4bdbdaa378
SHA25668e27dbb4615707b503c777779e7f7dae7bc26663406b71c2296d2e06e6ffe76

Files in package

  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/AST.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/PP.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/QF_AUFBV.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/QF_BV.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/AST.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Array.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/BitVector.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Compat1.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Core.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Int.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/PP.p_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/libHSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K_p.a
  • /usr/share/doc/libghc-smtlib-prof/changelog.Debian.amd64.gz
  • /usr/share/doc/libghc-smtlib-prof/changelog.Debian.gz
  • /usr/share/doc/libghc-smtlib-prof/changelog.gz
  • /usr/share/doc/libghc-smtlib-prof/copyright