Ubuntu
haskell-smtlib package

haskell-smtlib 1.1-2 source package in Ubuntu

Changelog

haskell-smtlib (1.1-2) unstable; urgency=medium

  * Declare compliance with Debian policy 4.6.1
  * Sourceful upload for GHC 9.0.2

 -- Ilias Tsitsimpis <email address hidden>  Wed, 29 Jun 2022 20:45:46 +0300

Upload details

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

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
haskell-smtlib_1.1-2.dsc 2.2 KiB a8218d8a1672fad998e607a191674645bc4152a2c45d0c3e2060f18e879c785e
haskell-smtlib_1.1.orig.tar.gz 9.4 KiB 72e002bdcc42d38a77c3e0bd09695be1bc1da2fd20566d37f382ee7402489a2f
haskell-smtlib_1.1-2.debian.tar.xz 2.5 KiB 82b0e206d669ade1baaf469a7e9ea588fbccad911e0567fc9549875b869e9d33

Available diffs

No changes file available.

Binary packages built by this source

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

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

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

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

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.