Package - libghc-smtlib-dev

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

Primary informations

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

PropertyValue
Packagelibghc-smtlib-dev
Sourcehaskell-smtlib (1.1-4)
Version1.1-4+b1
Installed-Size4134
MaintainerDebian Haskell Group
Architectureamd64
Provideslibghc-smtlib-dev-1.1-052b0
Dependslibghc-base-dev-4.18.2.1-8e81e, libghc-pretty-dev-1.1.3.6-8f6c9, libc6 (>= 2.2.5), libgmp10 (>= 2:6.3.0+dfsg)
DescriptionA library for working with the SMTLIB format.
Description-md5dd571ef0c36dd122b05179bd0bbb8c70
Ghc-PackagesmtLib-1.1-D27URwuT81KDy5u1TRGM2K
Sectionhaskell
Priorityoptional
Filenamepool/main/h/haskell-smtlib/libghc-smtlib-dev_1.1-4+b1_amd64.deb
Size407680
MD5sum37fe59fdab3c0b036a63624fb86d5364
SHA2560ccaf0407c2c7bff9024fcb0c97e8e7f8f7b3dc3b368cfc76a83c20650366c97

Files in package

  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/libHSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K-ghc9.6.6.so
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/AST.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/AST.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/PP.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/PP.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/QF_AUFBV.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/QF_AUFBV.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/QF_BV.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib1/QF_BV.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/AST.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/AST.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Array.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Array.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/BitVector.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/BitVector.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Compat1.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Compat1.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Core.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Core.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Int.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/Int.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/PP.dyn_hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/SMTLib2/PP.hi
  • /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-9.6.6/smtLib-1.1-D27URwuT81KDy5u1TRGM2K/libHSsmtLib-1.1-D27URwuT81KDy5u1TRGM2K.a
  • /usr/share/doc/libghc-smtlib-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libghc-smtlib-dev/changelog.Debian.gz
  • /usr/share/doc/libghc-smtlib-dev/changelog.gz
  • /usr/share/doc/libghc-smtlib-dev/copyright
  • /var/lib/ghc/package.conf.d/smtLib-1.1.conf