elpi - Debian Package Tracker

general

source: elpi (main)
version: 2.0.7-3
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Julien Puydt [DMD]
arch: any
std-ver: 4.7.0
VCS: Git (Browse, QA)

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

[pool directory]

oldstable: 1.16.8-1
stable: 2.0.7-1
unstable: 2.0.7-3
exp: 3.4.3-1

versioned links

1.16.8-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.0.7-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.0.7-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
3.4.3-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

elpi
libelpi-ocaml
libelpi-ocaml-dev

action needed

12 binary packages have unsatisfiable dependencies high

The dependencies of libelpi-ocaml=2.0.7-3 cannot be satisfied in unstable on ppc64el because: unsatisfied dependency on libppx-deriving-ocaml-f8880
The dependencies of elpi=2.0.7-3+b3 cannot be satisfied in unstable on arm64 because: unsatisfied dependency on libppx-deriving-ocaml-gkms3
The dependencies of libelpi-ocaml-dev=2.0.7-3+b3 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on libppx-deriving-ocaml-zr775
The dependencies of libelpi-ocaml-dev=2.0.7-3 cannot be satisfied in unstable on ppc64el because: unsatisfied dependency on libppx-deriving-ocaml-f8880
The dependencies of libelpi-ocaml-dev=2.0.7-3 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libppx-deriving-ocaml-1ddy7
The dependencies of elpi=2.0.7-3 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libppx-deriving-ocaml-1ddy7
The dependencies of elpi=2.0.7-3 cannot be satisfied in unstable on ppc64el because: unsatisfied dependency on libppx-deriving-ocaml-f8880
The dependencies of libelpi-ocaml=2.0.7-3+b3 cannot be satisfied in unstable on arm64 because: unsatisfied dependency on libppx-deriving-ocaml-gkms3
The dependencies of elpi=2.0.7-3+b3 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on libppx-deriving-ocaml-zr775
The dependencies of libelpi-ocaml=2.0.7-3+b3 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on libppx-deriving-ocaml-zr775
The dependencies of libelpi-ocaml-dev=2.0.7-3+b3 cannot be satisfied in unstable on arm64 because: unsatisfied dependency on libppx-deriving-ocaml-gkms3
The dependencies of libelpi-ocaml=2.0.7-3 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libppx-deriving-ocaml-1ddy7

Created: 2026-04-04 Last update: 2026-05-14 23:31

A new upstream version is available: 3.7.1 high

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

Created: 2025-11-26 Last update: 2026-05-14 18:30

Depends on packages which need a new maintainer normal

The packages that elpi depends on which need a new maintainer are:

ocaml-fileutils (#933559)
- Build-Depends: libfileutils-ocaml-dev

Created: 2022-09-12 Last update: 2026-05-14 21:01

The package has not entered testing even though the delay is over normal

The package has not entered testing even though the 5-day delay is over. Check why.

Created: 2026-04-30 Last update: 2026-05-14 21:01

2 new commits since last upload, is it time to release? normal

vcswatch reports that this package seems to have new commits in its VCS but has not yet updated debian/changelog. You should consider updating the Debian changelog and uploading this new version into the archive.

Here are the relevant commit logs:

commit 350453c9d005205b38546fcae162b81da529486d
Author: Stephane Glondu <steph@glondu.net>
Date:   Sun Dec 28 04:11:35 2025 +0100

    Fix execute_before_dh_auto_build in debian/rules
    
    "test -f .git" usually fails since .git is a directory, and messes up
    the existing git repository.

commit 678361158f526dd246286034b0c7a2ff452a8507
Author: Foo Bar <foo@bar.baz>
Date:   Sun Dec 28 04:02:39 2025 +0100

    Switch to DEP-14 layout

Created: 2025-12-28 Last update: 2026-05-13 12:03

1 open merge request in Salsa normal

There is 1 open merge request for this package on Salsa. You should consider reviewing and/or merging these merge requests.

Created: 2026-04-30 Last update: 2026-04-30 09:32

lintian reports 3 warnings normal

Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2025-12-28 Last update: 2025-12-28 17:31

debian/patches: 3 patches to forward upstream low

Among the 3 debian patches available in version 2.0.7-3 of the package, we noticed the following issues:

3 patches where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.

Created: 2025-02-13 Last update: 2025-12-28 17:00

Standards version of the package is outdated. wishlist

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

Created: 2025-02-21 Last update: 2026-03-31 15:01

testing migrations

excuses:
- Migration status for elpi (- to 2.0.7-3): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ elpi/amd64 has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml/amd64 has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml-dev/amd64 has unsatisfiable dependency
- ∙ ∙ elpi/arm64 has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml/arm64 has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml-dev/arm64 has unsatisfiable dependency
- ∙ ∙ elpi/ppc64el has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml/ppc64el has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml-dev/ppc64el has unsatisfiable dependency
- ∙ ∙ elpi/riscv64 has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml/riscv64 has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml-dev/riscv64 has unsatisfiable dependency
- ∙ ∙ elpi/s390x has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml/s390x has unsatisfiable dependency
- ∙ ∙ libelpi-ocaml-dev/s390x has unsatisfiable dependency
- ∙ ∙ Updating elpi would introduce bugs in testing: #1131646
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/e/elpi.html
- ∙ ∙ Autopkgtest skipped on amd64: not installable
- ∙ ∙ Autopkgtest skipped on arm64: not installable
- ∙ ∙ Autopkgtest skipped on ppc64el: not installable
- ∙ ∙ Autopkgtest skipped on riscv64: not installable
- ∙ ∙ Autopkgtest skipped on s390x: not installable
- ∙ ∙ Reproduced on amd64 - info
- ∙ ∙ Reproduced on arm64 - info
- ∙ ∙ Reproduced on armhf - info
- ∙ ∙ Reproduced on i386 - info
- ∙ ∙ 138 days old (needed 5 days)
- Not considered

news

[rss feed]

[2026-05-01] elpi REMOVED from testing (Debian testing watch)
[2026-01-03] elpi 2.0.7-3 MIGRATED to testing (Debian testing watch)
[2025-12-28] Accepted elpi 2.0.7-3 (source) into unstable (Stéphane Glondu)
[2025-11-11] Accepted elpi 3.4.3-1 (source amd64) into experimental (Julien Puydt)
[2025-10-29] Accepted elpi 3.4.2-1 (source amd64) into experimental (Julien Puydt)
[2025-09-20] elpi 2.0.7-2 MIGRATED to testing (Debian testing watch)
[2025-09-17] Accepted elpi 3.3.1-1 (source amd64) into experimental (Julien Puydt)
[2025-09-11] Accepted elpi 2.0.7-2 (source) into unstable (Stéphane Glondu)
[2025-02-26] elpi 2.0.7-1 MIGRATED to testing (Debian testing watch)
[2025-02-17] Accepted elpi 2.0.7-1 (source) into unstable (Julien Puydt)
[2025-02-13] Accepted elpi 2.0.5-2 (source) into unstable (Stéphane Glondu)
[2024-12-24] elpi 2.0.5-1 MIGRATED to testing (Debian testing watch)
[2024-12-18] Accepted elpi 2.0.5-1 (source) into unstable (Julien Puydt)
[2024-11-29] elpi 1.19.6-1 MIGRATED to testing (Debian testing watch)
[2024-11-20] Accepted elpi 1.19.6-1 (source) into unstable (Julien Puydt)
[2024-09-06] elpi 1.18.2-5 MIGRATED to testing (Debian testing watch)
[2024-08-17] elpi REMOVED from testing (Debian testing watch)
[2024-08-10] Accepted elpi 1.18.2-5 (source) into unstable (Stéphane Glondu)
[2024-06-24] elpi 1.18.2-4 MIGRATED to testing (Debian testing watch)
[2024-06-18] Accepted elpi 1.18.2-4 (source) into unstable (Julien Puydt)
[2024-06-16] Accepted elpi 1.18.2-3 (source) into unstable (Julien Puydt)
[2024-06-07] Accepted elpi 1.18.2-2 (source) into unstable (Stéphane Glondu)
[2024-04-26] Accepted elpi 1.18.2-1 (source) into unstable (Julien Puydt)
[2024-01-23] elpi 1.17.4-3 MIGRATED to testing (Debian testing watch)
[2023-12-31] Accepted elpi 1.17.4-3 (source) into unstable (Julien Puydt)
[2023-12-31] Accepted elpi 1.17.4-2 (source) into unstable (Julien Puydt)
[2023-12-21] Accepted elpi 1.17.4-1 (source) into unstable (Julien Puydt)
[2023-08-17] elpi 1.17.0-1 MIGRATED to testing (Debian testing watch)
[2023-07-25] Accepted elpi 1.17.0-1 (source) into unstable (Julien Puydt)
[2023-07-21] elpi 1.16.10-3 MIGRATED to testing (Debian testing watch)

bugs [bug history graph]

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

links

homepage
lintian (0, 3)
buildd: logs, exp, debcheck, cross
popcon
browse source code
other distros
debian patches
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 2.0.7-3build3