Debian Package Tracker
Register | Log in
Subscribe

sail-ocaml

language describes the instruction semantics of processors

Choose email to subscribe with

general
  • source: sail-ocaml (main)
  • version: 0.19.1+dfsg5-1
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Bo YU [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]
  • testing: 0.19.1+dfsg5-1
  • unstable: 0.19.1+dfsg5-1
versioned links
  • 0.19.1+dfsg5-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • libsail-ocaml-dev
  • sail-ocaml
action needed
Marked for autoremoval on 06 October due to aflplusplus: #1096282 high
Version 0.19.1+dfsg5-1 of sail-ocaml 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-09 10:33
Depends on packages which need a new maintainer normal
The packages that sail-ocaml depends on which need a new maintainer are:
  • biniou (#934539)
    • Build-Depends: libbiniou-ocaml-dev
Created: 2025-08-08 Last update: 2025-09-09 10:32
1 new commit 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 3542c2d32b948997eae0d2538be68f534290c22b
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Sun Jul 27 23:11:44 2025 +0800

    Prepare for uploading
    
    Signed-off-by: Bo YU <tsu.yubo@gmail.com>
Created: 2025-08-07 Last update: 2025-09-05 16:03
debian/patches: 1 patch to forward upstream low

Among the 2 debian patches available in version 0.19.1+dfsg5-1 of the package, we noticed the following issues:

  • 1 patch 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-08-08 Last update: 2025-08-08 06:55
news
[rss feed]
  • [2025-08-13] sail-ocaml 0.19.1+dfsg5-1 MIGRATED to testing (Debian testing watch)
  • [2025-08-07] Accepted sail-ocaml 0.19.1+dfsg5-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Bo YU)
bugs [bug history graph]
  • all: 0
links
  • homepage
  • lintian
  • buildd: logs, reproducibility, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
  • debian patches

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