Ubuntu
haskell-sbv package

haskell-sbv 5.14-1build3 source package in Ubuntu

Changelog

haskell-sbv (5.14-1build3) bionic; urgency=medium

  * No-change rebuild for new GHC ABIs

 -- Steve Langasek <email address hidden>  Sat, 04 Nov 2017 05:16:02 +0000

Upload details

Uploaded by:
Steve Langasek
Uploaded to:
Bionic
Original maintainer:
Ubuntu Developers
Architectures:
any all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe misc

Downloads

File Size SHA-256 Checksum
haskell-sbv_5.14.orig.tar.gz 514.9 KiB 92dc71b96071162a47383c5f4833e8b78c2874009e671e2a6bc8de9707328e7e
haskell-sbv_5.14-1build3.debian.tar.xz 2.6 KiB 00be9c08186f9fc567317fe2b55e5a794399e891c267395d76fc1dd37715966c
haskell-sbv_5.14-1build3.dsc 2.8 KiB b4f2c09619d12d5bb95c8bbb8f8a20066b6d08cb5c2368cfd20c77b0404caacd

Available diffs

View changes file

Binary packages built by this source

libghc-sbv-dev: symbolic Haskell theorem prover using SMT solving

 Express properties about Haskell programs and automatically prove them
 using SMT (Satisfiability Modulo Theories) solvers.
 .
 This package provides a library for the Haskell programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-sbv-doc: symbolic Haskell theorem prover using SMT solving; documentation

 Express properties about Haskell programs and automatically prove them
 using SMT (Satisfiability Modulo Theories) solvers.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.

libghc-sbv-prof: symbolic Haskell theorem prover using SMT solving; profiling libraries

 Express properties about Haskell programs and automatically prove them
 using SMT (Satisfiability Modulo Theories) solvers.
 .
 This package provides a library for the Haskell programming language, compiled
 for profiling. See http://www.haskell.org/ for more information on Haskell.