About

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.

Description

A library for working with the SMTLIB format.; documentation

Relations

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.

Package Contents

This package is currently being indexed.

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.