Debian Science Project
Summary
Bugs of task logic
Total bugs: 42
Open bugs: 40
Fixed bugs: 2
Links to other tasks
Biology 13 (177)
Chemistry 82 (801)
Data acquisition 51 (216)
Data management 51 (402)
Devices 4 (24)
Economics 28 (142)
Engineering 81 (788)
Engineering-dev 84 (908)
Geography 91 (676)
Geometry 4 (21)
Linguistics 93 (376)
Logic 40 (261)
Machine learning 46 (445)
Mathematics 259 (2161)
Mathematics-dev 188 (1626)
Meteorology 106 (725)
Meteorology-dev 221 (958)
Nanoscale physics 327 (2536)
Physics 72 (720)
Physics-dev 34 (248)
Presentation 87 (711)
Psychophysics 11 (154)
Robotics 116 (474)
Robotics-dev 22 (183)
Simulations 47 (488)
Social 0 (0)
Statistics 59 (434)
Tools 12 (49)
Typesetting 295 (1979)
Viewing 313 (1831)
Viewing-dev 74 (732)
Workflow 28 (179)
Legend
SeverityDependentSuggested
critical 0 0
grave 0 0
serious 0 0
important 6 0
normal 15 0
minor 12 0
wishlist 7 0

Summary bugs page of task Logic

Immediately looking into bugs of the dependencies of this task is advised (261)*

Open bugs in dependent packages

6 important, 15 normal, 12 minor, 7 wishlist
662581 man page for agda patch
1043707 agda: Fails to build source after successful build ftbfs, sid, trixie
1096284 agda: ftbfs with GCC-15 forky, sid
922877 boolector: new upstream version (3.1.0) (now MIT licensed)
1043884 boolector: Fails to build source after successful build ftbfs, sid, trixie
902109 clasp: Please install static library (and build with -fPIC) patch
1034521 clasp: FTBFS with LTO enabled patch
1079430 coqide: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) sid, trixie, upstream
1101476 coq: Please whitelist ocaml-native-compilers to supported architectures
970511 cvc4: test failures on various architectures fixed-upstream
898514 hol-light: Loading verifier/m_verifier_main.hl from Formal_ineqs crashes with "Signal -7"
1107762 hol-light: please stop Suggesting the old & remove "python" (= Python2)
hol88 (1) Homepage: Not maintained in Vcs Camm Maguire
1105367 hol88: FTBFS with make --shuffle=reverse: make[2]: *** [Makefile:253: hol] Error 1 shuffle=reverse ftbfs, sid, trixie
1099368 kissat: transition from p7zip to 7zip patch
1047697 lbt: Fails to build source after successful build ftbfs, sid, trixie
1097361 maria: ftbfs with GCC-15 forky, sid
1067957 FTBFS: error: call of overloaded ‘__gmp_expr(__time64_t&)’ is ambiguous ftbfs, sid, trixie
685094 minisat+: Segmentation fault
1045422 mona: Fails to build source after successful build ftbfs, sid, trixie
670339 proofgeneral: debian-pkg-add-load-path-item
746466 proofgeneral hijacks the emacs icon identity
779597 proofgeneral: "Buffer is read-only" when there is an error compiling dependant Coq files
1043318 No *.elc files are made and installed
1070036 proofgeneral: Error loading 50proofgeneral: Invalid read syntax: ")", 19, 29
680944 Fails to parse PMAX-SAT problem in wcnf format
1105668 spass: FTBFS with make --shuffle=reverse: iascanner.l:50:10: fatal error: iaparser.h: No such file or directory ftbfs, sid, trixie
1046877 toulbar2: Fails to build source after successful build ftbfs, sid, trixie
1080187 toulbar2: FTBFS with doxygen 1.12.0 ftbfs
1037512 why3: did not remove the /usr/share/emacs25/site-lisp/why3.el symlink on package removal
1079429 why3: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) sid, trixie, upstream
1098092 why3: ftbfs with GCC-15 fixed-upstream, forky, sid
1105591 why3: FTBFS with make --shuffle=reverse: sh: 1: src/util/ppx_debug_optim: not found ftbfs, sid, trixie
949133 z3: request for backport to buster
1014978 Please update to newer upstream
1014979 Please ship z3_tptp
1047765 z3: Fails to build source after successful build ftbfs, sid, trixie
1073242 Update 'z3' to latest version - 4.13.0.
1084002 z3: (build-)depends on deprecated module python3-pkg-resources sid, trixie
1090046 libz3-dev: variable e potentially used without being set
1098281 Missing cmake files

Open bugs in suggested packages

Done bugs

1070920 coq: FTBFS in bullseye bullseye, ftbfs
963054 Mark two more symbols as optional when building with -march=z13 on s390x bookworm, bullseye, patch, sid
*To estimate the overall status of the packages in the dependencies of a metapackage a weighted severity is calculated. Done bugs are ignored and bugs in dependent and recommended packages are weighted by factor three compared to suggested packages. Release critical bugs have a much larger weight than important, while the contribution of normal bugs is even smaller and minor bugs have a very small weight. Wishlist bugs are ignored in this calculation. The resulting sum is compared to some boundaries to find a verbal form. The actual numbers need some adjustment to make real sense - this evaluation method is in testing phase.
The severities of bugs are weighted as follows:
critical10
grave10
serious10
important5
normal3
minor1
wishlist0
Last update: Mon, 14 Jul 2025 04:34:34 -0000