Ubuntu

libghc-smtlib-dev 1.0.7-3 (amd64 binary) in ubuntu xenial

.
.
This package provides a library for the Haskell programming language.
See http://www.haskell.org/ for more information on Haskell.

Details

Package version:: 1.0.7-3

Source:: haskell-smtlib 1.0.7-3 source package in Ubuntu

Status:: Published

Component:: universe

Priority:: Extra

Downloadable files

amd64 build of haskell-smtlib 1.0.7-3 in ubuntu xenial PROPOSED produced these files:

libghc-smtlib-dev_1.0.7-3_amd64.deb (217.3 KiB)

Package relationships

Depends on:

Provides:

Suggests: