ben - Debian Package Tracker

general

source: ben (main)
version: 1.12
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.11
unstable: 1.12

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

binaries

ben (5 bugs: 0, 1, 4, 0)
libben-ocaml
libben-ocaml-dev

action needed

Marked for autoremoval on 04 November due to gringo: #1112978 high

Version 1.11 of ben is marked for autoremoval from testing on Tue 04 Nov 2025. It depends (transitively) on gringo, affected by #1112978. You should try to prevent the removal by fixing these RC bugs.

Created: 2025-09-26 Last update: 2025-10-09 10:00

lintian reports 12 errors and 2 warnings high

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

Created: 2025-10-06 Last update: 2025-10-06 16:30

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-10-09 08:06

testing migrations

excuses:
- Migration status for ben (1.11 to 1.12): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- ∙ ∙ Too young, only 3 of 5 days old
- Additional info:
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/b/ben.html
- ∙ ∙ Waiting for reproducibility test results on amd64 - info ♻
- ∙ ∙ Waiting for reproducibility test results on arm64 - info ♻
- Not considered

news

[rss feed]

[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)
[2024-05-06] ben 0.10.3 MIGRATED to testing (Debian testing watch)
[2024-04-20] ben REMOVED from testing (Debian testing watch)
[2023-09-27] ben 0.10.3 MIGRATED to testing (Debian testing watch)
[2023-09-19] Accepted ben 0.10.3 (source) into unstable (Stéphane Glondu)
[2023-09-02] ben 0.10.2 MIGRATED to testing (Debian testing watch)

bugs [bug history graph]

all: 6
RC: 0
I&N: 2
M&W: 4
F&P: 0
patch: 0

links

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

ubuntu

[Information about Ubuntu for Debian Developers]

version: 1.10ubuntu2
patches for 1.10ubuntu2