gringo
grounding tools for (disjunctive) logic programs

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

general

source
gringo (source, interpreters)
version
5.4.1-3.1
maint
Debian Science Maintainers (a), Thomas Krennwallner (u, dm)
std-ver
4.5.1
VCS
Git (browse)

versions ... ...pool

o-o-stable
save 5.1.0-4
oldstable
save 5.3.0-10
stable
save 5.4.1-3
testing
save 5.4.1-3
unstable
save 5.4.1-3.1
Ubuntu
5.4.1-3ubuntu1

binaries

todo

  • Incorporate and acknowledge the changes from the non maintainer upload.
  • Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
  • Build log checks report 3 warnings about this package.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.1 instead of 4.5.1).
  • A new upstream version is available: 5.5.1, you should consider packaging it.
  • The BTS contains patches fixing 1 bug, consider including or untagging it.

news RSS

bugs

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

links

patches

Debian
5.3.0-10 5.4.1-3 5.4.1-3 5.4.1-3.1
Ubuntu
5.4.1-3ubuntu1 (UD)
Other derivs
here
Debian proposed
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 55730f6 | Checkout or browse git repository
Last modified: 2022-12-11T04:39:24+00:00.