elpi - Debian Package Tracker

general

source: elpi (main)
version: 2.0.7-2
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
testing: 2.0.7-1
unstable: 2.0.7-2

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

binaries

elpi
libelpi-ocaml
libelpi-ocaml-dev

action needed

Debci reports failed tests high

unstable: fail (log)
The tests ran in 0:00:18
Last run: 2025-08-26T09:44:51.000Z
Previous status: unknown

testing: pass (log)
The tests ran in 0:00:25
Last run: 2025-09-09T23:56:07.000Z
Previous status: unknown

stable: pass (log)
The tests ran in 0:00:22
Last run: 2025-08-21T00:18:23.000Z
Previous status: unknown

Created: 2025-08-26 Last update: 2025-09-15 13:36

Marked for autoremoval on 06 October due to aflplusplus: #1096282 high

Version 2.0.7-1 of elpi is marked for autoremoval from testing on Mon 06 Oct 2025. It depends (transitively) on aflplusplus, affected by #1096282. You should try to prevent the removal by fixing these RC bugs.

Created: 2025-09-04 Last update: 2025-09-15 13:32

A new upstream version is available: 3.3.1 high

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

Created: 2025-07-11 Last update: 2025-09-15 09:02

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: 2025-09-15 13:32

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

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

Created: 2025-09-13 Last update: 2025-09-15 13: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-09-11 Last update: 2025-09-12 03:02

version in VCS is newer than in repository, is it time to upload? normal

vcswatch reports that this package seems to have a new changelog entry (version 3.1.0-1, distribution UNRELEASED) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:

commit a7f7ba3b7ea4b020d19c163801a7d0891fd7efe4
Merge: 3b29bfc f4c6a0d
Author: Stephane Glondu <glondu@debian.org>
Date:   Thu Sep 11 15:30:20 2025 +0200

    Merge tag 'debian/2.0.7-2'
    
    elpi release 2.0.7-2 for unstable (sid)
    
    (maintainer view tag generated by dgit --quilt=gbp)
    
    [dgit distro=debian split --quilt=gbp]

commit 3b29bfcae2dd9eccfba8792676cdb32cfabd9003
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 22 07:55:20 2025 +0200

    Rework lintian warnings

commit fd6621f4eddff13db0ee8408ef97e8f3a1321646
Author: Julien Puydt <jpuydt@debian.org>
Date:   Fri Aug 22 07:55:04 2025 +0200

    Bump standards-version to 4.7.2

commit b90a58d2fb56273a884d37db33605df0d5347527
Author: Julien Puydt <jpuydt@debian.org>
Date:   Thu Aug 21 17:51:38 2025 +0200

    Disable building the dbgsym packages

commit b3669d44a6bf153a96530456e4f3c1d66082af2f
Author: Julien Puydt <jpuydt@debian.org>
Date:   Sat Aug 9 14:14:48 2025 +0200

    Drop now-unneeded patch for compilation with recent atdgen

commit 1094701ce3e4032222da32d9fdbdca4afe8c24e2
Author: Julien Puydt <jpuydt@debian.org>
Date:   Sat Aug 9 13:53:06 2025 +0200

    Package new upstream 3.1.0

commit 4b6e2bc4bbe6a1aceef4a0de7281d809882ce0b3
Merge: c7d3cb8 f2510ec
Author: Julien Puydt <jpuydt@debian.org>
Date:   Sat Aug 9 13:52:49 2025 +0200

    Update upstream source from tag 'upstream/3.1.0'
    
    Update to upstream version '3.1.0'
    with Debian dir 2f325bfe58032a35f194ad2c07899aad4dbe70fe

commit f2510ecc3353357c71ff90e7e36f1aee67db3485
Author: Julien Puydt <jpuydt@debian.org>
Date:   Sat Aug 9 13:52:42 2025 +0200

    New upstream version 3.1.0

Created: 2025-08-17 Last update: 2025-09-11 22:35

debian/patches: 2 patches to forward upstream low

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

2 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-09-11 22:02

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.2 instead of 4.7.0).

Created: 2025-02-21 Last update: 2025-09-11 18:07

testing migrations

excuses:
- Blocked by: menhir
- Migrates after: coq-elpi/amd64, coq-elpi/arm64, coq-elpi/ppc64el, coq-elpi/riscv64, coq-elpi/s390x, ppx-deriving, ppxlib
- Migration status for elpi (2.0.7-1 to 2.0.7-2): Waiting for another item to be ready to migrate (no action required now - check later)
- Issues preventing migration:
- ∙ ∙ Depends: elpi menhir (not considered)
- ∙ ∙ Invalidated by dependency
- ∙ ∙ Build-Depends(-Arch): elpi ppxlib
- ∙ ∙ Depends: elpi ppx-deriving
- ∙ ∙ Depends: elpi ppxlib
- ∙ ∙ Implicit dependency: elpi coq-elpi/amd64
- ∙ ∙ Implicit dependency: elpi coq-elpi/arm64
- ∙ ∙ Implicit dependency: elpi coq-elpi/ppc64el
- ∙ ∙ Implicit dependency: elpi coq-elpi/riscv64
- ∙ ∙ Implicit dependency: elpi coq-elpi/s390x
- Additional info:
- ∙ ∙ Updating elpi will fix bugs in testing: #1114903
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/e/elpi.html
- ∙ ∙ autopkgtest for elpi/2.0.7-2: amd64: Pass, arm64: Pass, ppc64el: Pass, riscv64: Pass, s390x: Pass
- ∙ ∙ Reproducible on amd64 - info ♻
- ∙ ∙ Required age reduced by 3 days because of autopkgtest
- ∙ ∙ 4 days old (needed 2 days)
- Not considered

news

[rss feed]

[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)
[2023-07-12] Accepted elpi 1.16.10-3 (source) into unstable (Stéphane Glondu)
[2023-07-06] Accepted elpi 1.16.10-2 (source) into unstable (Julien Puydt)
[2023-06-24] elpi 1.16.10-1 MIGRATED to testing (Debian testing watch)
[2023-06-12] Accepted elpi 1.16.10-1 (source) into unstable (Julien Puydt)
[2022-12-12] elpi 1.16.8-1 MIGRATED to testing (Debian testing watch)
[2022-12-07] Accepted elpi 1.16.8-1 (source) into unstable (Julien Puydt)
[2022-11-19] elpi 1.16.7-2 MIGRATED to testing (Debian testing watch)

bugs [bug history graph]

all: 0

links

homepage
lintian (0, 3)
buildd: logs, reproducibility, cross
popcon
browse source code
edit tags
other distros
screenshots
debian patches
debci

ubuntu

[Information about Ubuntu for Debian Developers]

version: 2.0.7-1build2