elpi
embeddable lambda-Prolog interpreter (tool)

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

general

source
elpi (optional, misc)
version
1.18.2-1
maint
Debian OCaml Maintainers (a), Julien Puydt (u)
arch
amd64 arm64 i386 loong64 ppc64el ppc64 riscv64 sh4
std-ver
4.6.2
VCS
Git (browse)

versions ... ...pool

stable
save 1.16.8-1
testing
save 1.17.4-3
unstable
save 1.18.2-1
Ubuntu
1.18.2-1

binaries

todo

  • Lintian reports 1 warning about this package. You should make the package lintian clean getting rid of it.
  • 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: 1.19.0, you should consider packaging it.
  • The BTS contains patches fixing 1 bug, consider including or untagging it.
  • This package has "Build-Depends: lua5.1" while lua5.1 needs a new maintainer, see O #996252.

news RSS

bugs

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

links

patches

Debian
1.16.8-1 1.17.4-3 1.18.2-1
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 537db4c | Checkout or browse git repository
Last modified: 2024-05-21T08:54:09+00:00.