This package is 43.9 KB.
It is available at http://archive.ubuntu.com/ubuntu/pool/universe/h/haskell-smtlib/libghc-smtlib-doc_1.0.7-3_all.deb
.
View its full control file here:
debian/control
.
A library for working with the SMTLIB format.; documentation
This package depends on:
haddock-interface-27
.
This package recommends:
ghc-doc
.
This package does not suggest any other package.
This package does not conflict with any other package.
libghc-smtlib-doc 1.0.7-3 is in ubuntu - xenial / universe. This package's architecture is: architectureless.
This package will not be indexed since your user agent reports your browser is a bot.