Debian Package Tracker
Register | Log in
Subscribe

lambda-term

Choose email to subscribe with

general
  • source: lambda-term (main)
  • version: 3.4.0-2
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Hilko Bengen [DMD]
  • arch: any
  • std-ver: 4.7.4
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 3.1.0-1
  • oldstable: 3.2.0-1
  • stable: 3.3.2-1
  • testing: 3.4.0-1
  • unstable: 3.4.0-2
versioned links
  • 3.1.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.2.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.3.2-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.4.0-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
  • 3.4.0-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • liblambda-term-ocaml
  • liblambda-term-ocaml-dev
action needed
Marked for autoremoval on 22 June due to lwt-log: #1136085 high
Version 3.4.0-1 of lambda-term is marked for autoremoval from testing on Mon 22 Jun 2026. It depends (transitively) on lwt-log, affected by #1136085. You should try to prevent the removal by fixing these RC bugs.
Created: 2026-05-16 Last update: 2026-05-18 03:02
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-05-12 Last update: 2026-05-18 03:02
testing migrations
  • excuses:
    • Blocked by: ocaml-logs/s390x
    • Migrates after: lwt, ocaml-logs/amd64, ocaml-logs/arm64, ocaml-logs/armhf, ocaml-logs/i386, ocaml-logs/ppc64el, ocaml-logs/riscv64, utop/amd64, utop/arm64, utop/armhf, utop/i386, utop/ppc64el, utop/riscv64, utop/s390x
    • Migration status for lambda-term (3.4.0-1 to 3.4.0-2): Waiting for another item to be ready to migrate (no action required now - check later)
    • Issues preventing migration:
    • ∙ ∙ Depends: lambda-term ocaml-logs/s390x (not considered)
    • ∙ ∙ Invalidated by dependency
    • ∙ ∙ Depends: lambda-term lwt (not considered)
    • ∙ ∙ Depends: lambda-term ocaml-logs/amd64
    • ∙ ∙ Depends: lambda-term ocaml-logs/arm64
    • ∙ ∙ Depends: lambda-term ocaml-logs/armhf
    • ∙ ∙ Depends: lambda-term ocaml-logs/i386
    • ∙ ∙ Depends: lambda-term ocaml-logs/ppc64el
    • ∙ ∙ Depends: lambda-term ocaml-logs/riscv64
    • ∙ ∙ Implicit dependency: lambda-term utop/amd64
    • ∙ ∙ Implicit dependency: lambda-term utop/arm64
    • ∙ ∙ Implicit dependency: lambda-term utop/armhf
    • ∙ ∙ Implicit dependency: lambda-term utop/i386
    • ∙ ∙ Implicit dependency: lambda-term utop/ppc64el
    • ∙ ∙ Implicit dependency: lambda-term utop/riscv64
    • ∙ ∙ Implicit dependency: lambda-term utop/s390x
    • Additional info (not blocking):
    • ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/l/lambda-term.html
    • ∙ ∙ Reproduced on amd64 - info
    • ∙ ∙ Reproduced on arm64 - info
    • ∙ ∙ Reproduced on armhf - info
    • ∙ ∙ Reproduced on i386 - info
    • ∙ ∙ 11 days old (needed 5 days)
    • Not considered
news
[rss feed]
  • [2026-05-07] Accepted lambda-term 3.4.0-2 (source) into unstable (Stéphane Glondu)
  • [2026-05-01] lambda-term 3.4.0-1 MIGRATED to testing (Debian testing watch)
  • [2026-04-21] Accepted lambda-term 3.4.0-1 (source) into unstable (Stéphane Glondu)
  • [2026-03-24] lambda-term 3.3.3-1 MIGRATED to testing (Debian testing watch)
  • [2026-03-14] Accepted lambda-term 3.3.3-1 (source) into unstable (Stéphane Glondu)
  • [2025-09-28] lambda-term 3.3.2-2 MIGRATED to testing (Debian testing watch)
  • [2025-09-23] Accepted lambda-term 3.3.2-2 (source) into unstable (Stéphane Glondu)
  • [2023-09-02] lambda-term 3.3.2-1 MIGRATED to testing (Debian testing watch)
  • [2023-08-27] Accepted lambda-term 3.3.2-1 (source) into unstable (Stéphane Glondu)
  • [2023-08-22] lambda-term 3.3.1-3 MIGRATED to testing (Debian testing watch)
  • [2023-08-17] Accepted lambda-term 3.3.1-3 (source) into unstable (Stéphane Glondu)
  • [2023-07-21] lambda-term 3.3.1-2 MIGRATED to testing (Debian testing watch)
  • [2023-07-06] Accepted lambda-term 3.3.1-2 (source) into unstable (Julien Puydt)
  • [2023-07-03] Accepted lambda-term 3.3.1-1 (source) into unstable (Julien Puydt)
  • [2023-07-03] Accepted lambda-term 3.2.0-2 (source) into unstable (Julien Puydt)
  • [2022-03-15] lambda-term 3.2.0-1 MIGRATED to testing (Debian testing watch)
  • [2022-03-03] Accepted lambda-term 3.2.0-1 (source) into unstable (Stéphane Glondu)
  • [2020-10-01] lambda-term 3.1.0-1 MIGRATED to testing (Debian testing watch)
  • [2020-09-25] Accepted lambda-term 3.1.0-1 (source) into unstable (Stéphane Glondu)
  • [2020-08-05] lambda-term 2.0.3-2 MIGRATED to testing (Debian testing watch)
  • [2020-07-29] Accepted lambda-term 2.0.3-2 (source) into unstable (Stéphane Glondu)
  • [2020-02-16] lambda-term 2.0.3-1 MIGRATED to testing (Debian testing watch)
  • [2020-02-11] Accepted lambda-term 2.0.3-1 (source) into unstable (Stéphane Glondu)
  • [2019-11-24] lambda-term 2.0.2-1 MIGRATED to testing (Debian testing watch)
  • [2019-11-12] Accepted lambda-term 2.0.2-1 (source) into unstable (Stéphane Glondu)
  • [2019-11-08] lambda-term REMOVED from testing (Debian testing watch)
  • [2017-08-08] lambda-term 1.10.1-2 MIGRATED to testing (Debian testing watch)
  • [2017-07-27] Accepted lambda-term 1.10.1-2 (source amd64) into unstable (Stéphane Glondu)
  • [2016-09-21] lambda-term 1.10.1-1 MIGRATED to testing (Debian testing watch)
  • [2016-09-14] Accepted lambda-term 1.10.1-1 (source) into unstable (Hilko Bengen)
  • 1
  • 2
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian
  • buildd: logs, reproducibility, cross
  • popcon
  • browse source code
  • other distros
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 3.3.2-2build5

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing