konclude
tableau-based description logic reasoner for the semantic web

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/konclude

general

source
konclude (optional, misc)
version
0.7.0+1138+git20220514~dfsg-1
maint
Jonas Smedegaard
LowNMU
std-ver
4.6.2
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 0.6.2~dfsg-6
oldstable
save 0.7.0+1137~dfsg-1
stable
save 0.7.0+1138+git20220514~dfsg-1
testing
save 0.7.0+1138+git20220514~dfsg-1
unstable
save 0.7.0+1138+git20220514~dfsg-1
Ubuntu
0.7.0+1138+git20220514~dfsg-1build3

binaries

todo

  • Lintian reports 2 warnings about this package. You should make the package lintian clean getting rid of them.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.7.0 instead of 4.6.2).
  • This package has "Build-Depends: librdf0-dev" while redland needs a new maintainer, see O #1012729.
  • This package has "Depends: librasqal3t64" while rasqal needs a new maintainer, see O #1012728.
  • This package has "Build-Depends: libraptor2-dev" while raptor2 needs a new maintainer, see O #1012727.

news RSS

bugs

all bug history graph
1
RC
0
I&N
0
M&W
1
F&P
0
Ubu
1

links

patches

Debian
0.7.0+1137~dfsg-1 0.7.0+1138+git20220514~dfsg-1 0.7.0+1138+git20220514~dfsg-1 0.7.0+1138+git20220514~dfsg-1

subscribe to this package (docs)

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-02T02:46:11+00:00.