Register | Log in

clasp

conflict-driven nogood learning answer set solver

Choose email to subscribe with

general

source: clasp (main)
version: 3.3.4-2
maintainer: Debian Science Maintainers (archive) [DMD]
uploaders: Thomas Krennwallner [DMD] [dm]
arch: any
std-ver: 4.2.1
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

oldstable: 3.1.0-1
stable: 3.2.1-3
testing: 3.3.4-2
unstable: 3.3.4-2

versioned links

3.1.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
3.2.1-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
3.3.4-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

clasp

action needed

1 bug tagged patch in the BTS normal

The BTS contains patches fixing 1 bug, consider including or untagging them.

Created: 2019-04-01 Last update: 2019-05-22 11:18

Build log checks report 1 warning low

Build log checks report 1 warning

Created: 2017-10-26 Last update: 2017-10-26 07:22

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.3.0 instead of 4.2.1).

Created: 2018-12-23 Last update: 2018-12-23 17:15

news

[2018-11-07] clasp 3.3.4-2 MIGRATED to testing (Debian testing watch)
[2018-11-04] Accepted clasp 3.3.4-2 (source) into unstable (Thomas Krennwallner)
[2018-07-02] clasp 3.3.4-1 MIGRATED to testing (Debian testing watch)
[2018-06-30] Accepted clasp 3.3.4-1 (source) into unstable (Thomas Krennwallner)
[2018-02-11] clasp 3.3.3-3 MIGRATED to testing (Debian testing watch)
[2018-02-06] Accepted clasp 3.3.3-3 (source) into unstable (Thomas Krennwallner)
[2018-02-03] Accepted clasp 3.3.3-2 (source) into unstable (Thomas Krennwallner)
[2017-11-17] clasp 3.3.3-1 MIGRATED to testing (Debian testing watch)
[2017-11-12] Accepted clasp 3.3.3-1 (source) into unstable (Thomas Krennwallner)
[2017-11-09] clasp 3.3.2-4 MIGRATED to testing (Debian testing watch)
[2017-11-04] Accepted clasp 3.3.2-4 (source amd64) into unstable (Thomas Krennwallner)
[2017-09-03] clasp 3.3.2-3 MIGRATED to testing (Debian testing watch)
[2017-08-29] Accepted clasp 3.3.2-3 (source amd64) into unstable (Thomas Krennwallner)
[2017-08-21] Accepted clasp 3.3.2-2 (source amd64) into unstable (Thomas Krennwallner)
[2017-08-18] Accepted clasp 3.3.2-1 (source amd64) into unstable (Thomas Krennwallner)
[2017-06-20] clasp 3.3.0-1 MIGRATED to testing (Debian testing watch)
[2017-05-07] Accepted clasp 3.3.0-1 (source amd64) into unstable (Thomas Krennwallner)
[2017-02-01] Accepted clasp 3.2.2-1 (source amd64) into unstable (Thomas Krennwallner)
[2016-12-28] clasp 3.2.1-3 MIGRATED to testing (Debian testing watch)
[2016-12-17] Accepted clasp 3.2.1-3 (source amd64) into unstable (Thomas Krennwallner)
[2016-12-15] clasp 3.2.1-2 MIGRATED to testing (Debian testing watch)
[2016-12-03] Accepted clasp 3.2.1-2 (source amd64) into unstable (Thomas Krennwallner)
[2016-12-02] Accepted clasp 3.2.1-1 (source amd64) into unstable (Thomas Krennwallner)
[2016-09-10] clasp 3.1.5-1 MIGRATED to testing (Debian testing watch)
[2016-09-04] Accepted clasp 3.1.5-1 (source amd64) into unstable (Thomas Krennwallner)
[2016-05-07] clasp 3.1.4-2 MIGRATED to testing (Debian testing watch)
[2016-05-01] Accepted clasp 3.1.4-2 (source amd64) into unstable (Thomas Krennwallner)
[2015-12-26] clasp 3.1.4-1 MIGRATED to testing (Debian testing watch)
[2015-12-20] Accepted clasp 3.1.4-1 (source amd64) into unstable (Thomas Krennwallner)
[2015-10-10] clasp 3.1.3-2 MIGRATED to testing (Britney)

1
2

bugs [bug history graph]

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

links

homepage
lintian
buildd: logs, checks, clang, reproducibility, cross
popcon
debci
browse source code
edit tags
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 3.3.4-2

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers

Report problems to the tracker.debian.org pseudo-package in the Debian BTS.

Documentation — Bugs — Git Repository — Contributing