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-02 07:01
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 will soon be part of the boost1.90 transition. You might want to ensure that your package is ready for it. 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
    • ∙ ∙ 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)
    • ∙ ∙ 332 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: 1
  • I&N: 1
  • 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