Debian Package Tracking System

general

source: haskell-sbv (optional, misc)
version: 10.2-1
maint: Debian Haskell Group (a), Clint Adams (u)
arch: any all
std-ver: 4.6.2
VCS: Git (browse)

versions

o-o-stable: 7.12-2
oldstable: 8.7-1
stable: 8.17-1
testing: 10.2-1
unstable: 10.2-1
Ubuntu: 10.2-1build1

binaries

libghc-sbv-dev (0 bugs: 0, 0, 0, 0)
symbolic Haskell theorem prover using SMT solving
libghc-sbv-doc (0 bugs: 0, 0, 0, 0)
symbolic Haskell theorem prover using SMT solving; documentation
libghc-sbv-prof (0 bugs: 0, 0, 0, 0)
symbolic Haskell theorem prover using SMT solving; profiling libraries

todo

Lintian reports 8 errors and 2 warnings about this package. You should make the package lintian clean getting rid of them.
Build log checks report 2 warnings about this package.
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
A new upstream version is available: 10.10, you should consider packaging it.
This package has "Build-Depends: cdbs" while cdbs needs a new maintainer, see O #1026085.

news RSS

[2023-12-16] haskell-sbv 10.2-1 MIGRATED to testing (Britney)
[2023-10-06] Accepted 10.2-1 in unstable (medium) (Debian FTP Masters)
[2022-10-01] haskell-sbv 8.17-1 MIGRATED to testing (Britney)
[2022-08-30] haskell-sbv REMOVED from testing (Britney)
[2022-07-29] Accepted 8.17-1 in unstable (medium) (Debian FTP Masters)
[2020-10-17] haskell-sbv 8.7-1 MIGRATED to testing (Britney)
[2020-08-17] Accepted 8.7-1 in unstable (medium) (Debian FTP Masters)
[2020-08-12] haskell-sbv 8.6-1 MIGRATED to testing (Britney)
[2020-06-14] Accepted 8.6-1 in unstable (medium) (Debian FTP Masters)
[2019-11-03] haskell-sbv 7.13-1 MIGRATED to testing (Britney)
[2019-07-28] Accepted 7.13-1 in unstable (medium) (Clint Adams)
[2018-11-28] haskell-sbv 7.12-2 MIGRATED to testing (Britney)
[2018-10-01] Accepted 7.12-2 in unstable (medium) (Ilias Tsitsimpis)
[2018-09-30] Accepted 7.12-1 in unstable (medium) (Ilias Tsitsimpis)
[2018-07-03] haskell-sbv 7.5-1 MIGRATED to testing (Britney)
[2018-04-10] Accepted 7.5-1 in unstable (medium) (Clint Adams)
[2017-09-02] haskell-sbv 5.14-1 MIGRATED to testing (Britney)
[2017-07-06] Accepted 5.14-1 in unstable (medium) (Clint Adams)
[2016-11-28] haskell-sbv 5.12-2 MIGRATED to testing (Britney)
[2016-10-28] Accepted 5.12-2 in unstable (medium) (Clint Adams)
[2016-10-17] Accepted 5.12-1 in experimental (medium) (Clint Adams)
[2016-07-12] haskell-sbv 5.11-1 MIGRATED to testing (Britney)
[2016-07-12] haskell-sbv 5.11-1 MIGRATED to testing (Britney)
[2016-06-01] Accepted 5.11-1 in unstable (medium) (Joachim Breitner)
[2016-05-23] haskell-sbv 5.9-1 MIGRATED to testing (Britney)
[2016-01-11] Accepted 5.9-1 in unstable (medium) (Clint Adams)
[2016-01-03] haskell-sbv 5.7-1 MIGRATED to testing (Britney)
[2015-12-29] haskell-sbv 4.4-1 MIGRATED to testing (Britney)
[2015-12-28] Accepted 5.7-1 in unstable (medium) (Clint Adams)
[2015-12-16] Accepted 4.4-1 in unstable (low) (Clint Adams)

bugs

all: 0
RC: 0
I&N: 0
M&W: 0
F&P: 0

patches

Debian: 8.7-1 8.17-1 10.2-1 10.2-1

Debian Package Tracking System - Copyright © 2002-2014 Raphaël Hertzog, Stefano Zacchiroli and others.
Report problems to the qa.debian.org pseudopackage in the Debian BTS.
git revision 537db4c | Checkout or browse git repository
Last modified: 2024-05-22T08:49:15+00:00.

haskell-sbv
source package

general

versions

binaries

todo

news RSS

bugs

links

patches

haskell-sbvsource package

general

versions

binaries

todo

news RSS

bugs

links

patches

haskell-sbv
source package