Ubuntu
haskell-smtlib package

haskell-smtlib 1.0.7-1 source package in Ubuntu

Changelog

haskell-smtlib (1.0.7-1) unstable; urgency=low

  * Initial release.

 -- Kristoffer H Rose <email address hidden>  Fri, 14 Aug 2015 15:30:06 +0200

Upload details

Uploaded by:
Debian Haskell Group
Uploaded to:
Sid
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
haskell-smtlib_1.0.7-1.dsc 1.6 KiB 64194117019f8e48c942591a5c67bac3f4e27b0aa451acfcb8fb5a53c424e509
haskell-smtlib_1.0.7.orig.tar.gz 9.3 KiB 6e660125d16c7ad42120df7fb0bd53d1d0614532ed3956aa34f6bcd3413ac2ca
haskell-smtlib_1.0.7-1.debian.tar.xz 1.8 KiB dee9abb8d3ae15977dd8a69c843841c8aaa7d4736b9c4064571638aa35caf21c

No changes file available.

Binary packages built by this source

libghc-smtlib-dev: A library for working with the SMTLIB format.

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

libghc-smtlib-doc: A library for working with the SMTLIB format.; documentation

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

libghc-smtlib-prof: A library for working with the SMTLIB format.; profiling libraries

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