Register | Log in

clasp

conflict-driven nogood learning answer set solver

Choose email to subscribe with

general

source: clasp (main)
version: 3.3.5-4
maintainer: Debian Science Maintainers (archive) (DMD)
uploaders: Thomas Krennwallner [DMD] [DM]
arch: any
std-ver: 4.5.1
VCS: Git (Browse, QA)

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

[pool directory]

o-o-stable: 3.2.1-3
oldstable: 3.3.4-2
stable: 3.3.5-4
testing: 3.3.5-4
unstable: 3.3.5-4

versioned links

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]
3.3.5-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

clasp (1 bugs: 0, 0, 1, 0)

action needed

A new upstream version is available: 3.3.6 high

A new upstream version 3.3.6 is available, you should consider packaging it.

Created: 2021-04-19 Last update: 2021-09-23 03:30

1 bug tagged patch in the BTS normal

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

Created: 2021-08-14 Last update: 2021-09-23 05:25

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.6.0 instead of 4.5.1).

Created: 2021-08-18 Last update: 2021-08-18 14:03

news

[2020-12-30] clasp 3.3.5-4 MIGRATED to testing (Debian testing watch)
[2020-12-28] Accepted clasp 3.3.5-4 (source) into unstable (Thomas Krennwallner)
[2020-12-27] Accepted clasp 3.3.5-3 (source) into unstable (Thomas Krennwallner)
[2020-12-26] Accepted clasp 3.3.5-2 (source) into experimental (Thomas Krennwallner)
[2020-03-18] clasp 3.3.5-1 MIGRATED to testing (Debian testing watch)
[2020-03-16] clasp 3.3.4-4 MIGRATED to testing (Debian testing watch)
[2020-03-15] Accepted clasp 3.3.5-1 (source) into unstable (Thomas Krennwallner)
[2020-03-13] Accepted clasp 3.3.4-4 (source) into unstable (Thomas Krennwallner)
[2020-03-12] Accepted clasp 3.3.4-3 (source) into unstable (Thomas Krennwallner)
[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)

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
browse source code
edit tags
other distros
screenshots
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 3.3.5-4

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