Ubuntu
haskell-smtlib package

haskell-smtlib 1.0.9-2build1 source package in Ubuntu

Changelog

haskell-smtlib (1.0.9-2build1) eoan; urgency=medium

  * Rebuild against new GHC abi.

 -- Gianfranco Costamagna <email address hidden>  Sat, 03 Aug 2019 13:08:39 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Eoan
Original maintainer:
Debian Haskell Group
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Focal release universe misc

Downloads

File Size SHA-256 Checksum
haskell-smtlib_1.0.9.orig.tar.gz 9.4 KiB 8c7dbfcf1efcc513031f28529a8af853247e31371a656a33176a3eff6ee10ea6
haskell-smtlib_1.0.9-2build1.debian.tar.xz 2.5 KiB 3fe3dae83701faf29ba8e06e482b5b023e1758d0f96fd408b4e7b2a2f91f7bec
haskell-smtlib_1.0.9-2build1.dsc 2.2 KiB dcef54a0ddecf671d7dfd8637817c07ed67868afe1708e985b57dc4baad18293

View changes file

Binary packages built by this source

libghc-smtlib-dev: No summary available for libghc-smtlib-dev in ubuntu groovy.

No description available for libghc-smtlib-dev in ubuntu groovy.

libghc-smtlib-doc: No summary available for libghc-smtlib-doc in ubuntu eoan.

No description available for libghc-smtlib-doc in ubuntu eoan.

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.