Candidates for bug of the day from 2025-12-02

1111926:boolector, Michael Tautschnig <mt@debian.org>
(important)ITS: boolector
2025-08-26SMT solver for bit-vectors and arrays
VCS: None, Popcon: 3, StdVer: 3.9.3, testsuite: None, last upload of maintainer: 2012-10-16, Homepage, uscan error

1120034:lx-gdb, Mark W. Eichin <eichin@thok.org>
(important)lx-gdb: Intend to Orphan: lx-gdb
2025-11-04Dump and load databases from HP 100LX/200LX palmtops
VCS: None, Popcon: 0, StdVer: 3.9.5, testsuite: None, last upload of maintainer: 2014-07-01, No Homepage field set, uscan error

1119377:chrootuid, Javier Fernandez-Sanguino Pen~a <jfs@debian.org>
(normal)chrootuid: please build using the default build flags
2025-10-29Run commands in restricted environments
VCS: None, Popcon: 8, StdVer: 3.9.1.0, testsuite: None, last upload of maintainer: 2011-06-12, Homepage

1117819:cfi, Barbara Jana Wisniowska <debian@janapirat.de>
(wishlist)cfi-sv: suggests tkdvi which is not in unstable
2025-10-11Copyright does not exist, book about hacker culture
VCS: None, Popcon: 0, StdVer: 3.9.4, testsuite: None, last upload of maintainer: 2013-08-15, No Homepage field set

860686:android-platform-external-doclava, Android Tools Maintainers <android-tools-devel@lists.alioth.debian.org>
(wishlist)FTBFS on machines with limited RAM
2025-08-17Custom Javadoc doclet by Google
VCS: https://anonscm.debian.org/git/android-tools/android-platform-external-doclava.git, Popcon: 0, StdVer: 3.9.8, testsuite: None, last upload of maintainer: 2019-07-24, Homepage, uscan error
bookworm, bullseye, buster, forky, sid, stretch, trixie

For more information about Bug of the Day see the according Wiki page and feel free to join our Matrix channel.