Debian Package Tracker
Register | Log in
Subscribe

ikos

Static analyzer for C/C++

Choose email to subscribe with

general
  • source: ikos (non-free)
  • version: 3.5-2
  • maintainer: Debian Python Team (DMD)
  • uploaders: Scott Talbert [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]
  • unstable: 3.5-2
versioned links
  • 3.5-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
binaries
  • ikos
  • libikos
  • libikos-dev
action needed
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-01-22 Last update: 2026-03-08 05:19
lintian reports 11 warnings normal
Lintian reports 11 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2025-07-21 Last update: 2025-07-21 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.3 instead of 4.7.2).
Created: 2025-12-23 Last update: 2025-12-23 20:00
testing migrations
  • This package is part of the ongoing testing transition known as boost1.90. Please avoid uploads unrelated to this transition, they would likely delay it and require supplementary work from the release managers. On the other hand, if your package has problems preventing it to migrate to testing, please fix them as soon as possible. You can probably find supplementary information in the debian-release archives or in the corresponding release.debian.org bug.
  • excuses:
    • Migrates after: llvm-toolchain-14
    • Migration status for ikos (- to 3.5-2): BLOCKED: Rejected/violates migration policy/introduces a regression
    • Issues preventing migration:
    • ∙ ∙ Updating ikos would introduce bugs in testing: #1114149, #1128126
    • ∙ ∙ Build-Depends(-Arch): ikos llvm-toolchain-14 (not considered)
    • ∙ ∙ Depends: ikos llvm-toolchain-14 (not considered)
    • Additional info (not blocking):
    • ∙ ∙ Piuparts can't test ikos (not a blocker) - (no link yet)
    • ∙ ∙ 338 days old (needed 5 days)
    • Not considered
news
[rss feed]
  • [2025-04-04] Accepted ikos 3.5-2 (source) into unstable (Scott Talbert)
  • [2025-03-31] Accepted ikos 3.5-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Scott Talbert)
  • [2024-02-21] Accepted ikos 3.2-3 (source) into unstable (Scott Talbert)
  • [2024-02-09] Accepted ikos 3.2-2 (source) into unstable (Scott Talbert)
  • [2024-02-08] Accepted ikos 3.2-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Scott Talbert)
bugs [bug history graph]
  • all: 2
  • RC: 2
  • I&N: 0
  • M&W: 0
  • F&P: 0
  • patch: 0
links
  • homepage
  • lintian (0, 11)
  • buildd: logs, cross
  • popcon
  • browse source code
  • edit tags
  • other distros
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 3.5-2

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