ben - Debian Package Tracker

general

source: ben (main)
version: 1.14
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Stéphane Glondu [DMD] – Mehdi Dogguy [DMD]
arch: any
std-ver: 4.7.2
VCS: Git (Browse, QA)

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

[pool directory]

o-o-stable: 0.9.2
oldstable: 0.10.1
stable: 1.9
testing: 1.14
unstable: 1.14

versioned links

0.9.2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
0.10.1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
1.9: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
1.14: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

ben (6 bugs: 0, 2, 4, 0)
libben-ocaml
libben-ocaml-dev

action needed

source package has 1 unsatisfiable build dependency high

Build dependencies in unstable cannot be satisfied on arm64, i386, s390x, armhf, ppc64el, and amd64 because: unsatisfied dependency on ocaml-5.3.0

Created: 2025-12-27 Last update: 2025-12-27 20:00

9 binary packages have unsatisfiable dependencies high

The dependencies of libben-ocaml=1.14 cannot be satisfied in unstable on ppc64el, arm64, and amd64 because: unsatisfied dependency on libstdlib-ocaml-m4xw9
The dependencies of libben-ocaml=1.14 cannot be satisfied in unstable on armhf and i386 because: unsatisfied dependency on libstdlib-ocaml-ye7o9
The dependencies of libben-ocaml=1.14 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libstdlib-ocaml-2d5j3
The dependencies of libben-ocaml-dev=1.14 cannot be satisfied in unstable on ppc64el, arm64, and amd64 because: unsatisfied dependency on libstdlib-ocaml-m4xw9
The dependencies of libben-ocaml-dev=1.14 cannot be satisfied in unstable on armhf and i386 because: unsatisfied dependency on libstdlib-ocaml-ye7o9
The dependencies of ben=1.14 cannot be satisfied in unstable on ppc64el, arm64, and amd64 because: unsatisfied dependency on libstdlib-ocaml-m4xw9
The dependencies of libben-ocaml-dev=1.14 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libstdlib-ocaml-2d5j3
The dependencies of ben=1.14 cannot be satisfied in unstable on armhf and i386 because: unsatisfied dependency on libstdlib-ocaml-ye7o9
The dependencies of ben=1.14 cannot be satisfied in unstable on s390x because: unsatisfied dependency on libstdlib-ocaml-2d5j3

Created: 2025-12-27 Last update: 2025-12-27 20:00

Marked for autoremoval on 29 January due to gringo: #1123395 high

Version 1.14 of ben is marked for autoremoval from testing on Thu 29 Jan 2026. It depends (transitively) on gringo, affected by #1123395. You should try to prevent the removal by fixing these RC bugs.

Created: 2025-12-23 Last update: 2025-12-27 19:32

lintian reports 10 errors and 2 warnings high

Lintian reports 10 errors and 2 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2025-12-09 Last update: 2025-12-12 03:01

1 bug tagged patch in the BTS normal

The BTS contains patches fixing 1 bug, consider including or untagging them.

Created: 2025-12-09 Last update: 2025-12-27 19:31

Depends on packages which need a new maintainer normal

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

docbook-xml (#802368)
- Build-Depends: docbook-xml
docbook-xsl (#802370)
- Build-Depends: docbook-xsl
ocaml-fileutils (#933559)
- Build-Depends: libfileutils-ocaml-dev

Created: 2019-11-22 Last update: 2025-12-27 19:01

5 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 4daabc08a9b9e18d769d0b60f1d5131371eae8a7
Author: Stephane Glondu <steph@glondu.net>
Date:   Tue Dec 23 15:06:04 2025 +0100

    Add link to tracker for uncolored packages too

commit 2b07c394b7269050003ea9e4e4cd91c98d168bce
Author: Stephane Glondu <steph@glondu.net>
Date:   Tue Dec 23 02:36:36 2025 +0100

    Add an option to ignore build-depends-indep (Closes: #1122238)

commit ec24799167bf83049bc7ce4c8190b32bcc45fa10
Author: Stephane Glondu <steph@glondu.net>
Date:   Fri Dec 19 13:21:40 2025 +0100

    Add reason tooltip in missing packages graph

commit c635d2120c47afcedf8c8e0b6fe7af1851690574
Author: Stephane Glondu <steph@glondu.net>
Date:   Fri Dec 19 11:22:24 2025 +0100

    Add link to tracker in missing packages graph

commit 70f3e9e5cea21bd618522570a7f91d9afab3019f
Author: Stephane Glondu <steph@glondu.net>
Date:   Wed Dec 17 11:11:17 2025 +0100

    Output missing packages graph in SVG format
    
    Cf. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1123051

Created: 2025-12-23 Last update: 2025-12-23 15: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.3 instead of 4.7.2).

Created: 2025-12-23 Last update: 2025-12-23 20:00

news

[rss feed]

[2025-12-13] ben 1.14 MIGRATED to testing (Debian testing watch)
[2025-12-08] Accepted ben 1.14 (source) into unstable (Stéphane Glondu)
[2025-12-01] ben 1.13 MIGRATED to testing (Debian testing watch)
[2025-11-25] Accepted ben 1.13 (source) into unstable (Stéphane Glondu)
[2025-10-11] ben 1.12 MIGRATED to testing (Debian testing watch)
[2025-10-06] Accepted ben 1.12 (source) into unstable (Stéphane Glondu)
[2025-10-05] ben 1.11 MIGRATED to testing (Debian testing watch)
[2025-09-30] Accepted ben 1.11 (source) into unstable (Stéphane Glondu)
[2025-08-26] ben 1.10 MIGRATED to testing (Debian testing watch)
[2025-08-21] Accepted ben 1.10 (source) into unstable (Stéphane Glondu)
[2025-02-26] ben 1.9 MIGRATED to testing (Debian testing watch)
[2025-02-10] Accepted ben 1.9 (source) into unstable (Stéphane Glondu)
[2025-02-08] ben 1.8 MIGRATED to testing (Debian testing watch)
[2025-01-24] Accepted ben 1.8 (source) into unstable (Stéphane Glondu)
[2024-08-19] ben 1.7 MIGRATED to testing (Debian testing watch)
[2024-08-09] Accepted ben 1.7 (source) into unstable (Stéphane Glondu)
[2024-08-03] ben 1.6 MIGRATED to testing (Debian testing watch)
[2024-07-29] Accepted ben 1.6 (source) into unstable (Stéphane Glondu)
[2024-07-21] ben 1.5 MIGRATED to testing (Debian testing watch)
[2024-07-15] Accepted ben 1.5 (source) into unstable (Stéphane Glondu)
[2024-07-12] ben 1.4 MIGRATED to testing (Debian testing watch)
[2024-07-06] Accepted ben 1.4 (source) into unstable (Stéphane Glondu)
[2024-07-06] Accepted ben 1.3 (source) into unstable (Stéphane Glondu)
[2024-07-06] Accepted ben 1.2 (source) into unstable (Stéphane Glondu)
[2024-07-03] ben 1.1 MIGRATED to testing (Debian testing watch)
[2024-06-27] Accepted ben 1.1 (source) into unstable (Stéphane Glondu)
[2024-06-26] Accepted ben 1.0 (source) into unstable (Stéphane Glondu)
[2024-06-24] ben 0.10.5 MIGRATED to testing (Debian testing watch)
[2024-06-16] Accepted ben 0.10.5 (source) into unstable (Stéphane Glondu)
[2024-06-14] Accepted ben 0.10.4 (source) into unstable (Stéphane Glondu)

bugs [bug history graph]

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

links

homepage
lintian (10, 2)
buildd: logs, reproducibility, debcheck, cross
popcon
browse source code
edit tags
other distros
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 1.13ubuntu3
patches for 1.13ubuntu3