Debian Science Project
Summary
Bugs of task logic
Total bugs: 38
Open bugs: 32
Fixed bugs: 6
Links to other tasks
Tasks overview
Biology 15 (199)
Chemistry 79 (834)
Data acquisition 56 (241)
Data management 55 (474)
Devices 5 (75)
Economics 33 (109)
Engineering 80 (809)
Engineering-dev 42 (385)
Geography 80 (565)
Geometry 4 (21)
Linguistics 88 (339)
Logic 32 (207)
Machine learning 47 (315)
Mathematics 255 (2191)
Mathematics-dev 179 (1639)
Meteorology 71 (419)
Meteorology-dev 180 (704)
Nanoscale physics 319 (2305)
Physics 78 (795)
Physics-dev 45 (455)
Presentation 88 (792)
Psychophysics 17 (159)
Robotics 114 (399)
Robotics-dev 24 (225)
Simulations 46 (529)
Social 0 (0)
Statistics 57 (371)
Tools 25 (142)
Typesetting 295 (2028)
Viewing 299 (1744)
Viewing-dev 62 (551)
Workflow 29 (198)
Legend
SeverityDependentSuggested
critical 0 0
grave 0 0
serious 1 0
important 2 0
normal 13 0
minor 10 0
wishlist 6 0

Summary bugs page of task Logic

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

Open bugs in dependent packages

1 serious, 2 important, 13 normal, 10 minor, 6 wishlist
agda (3) Homepage: https://wiki.portal.chalmers.se/agda/ Vcs Debian Haskell Group
662581 man page for agda patch
736477 agda-mode: enable multiarch
1043707 agda: Fails to build source after successful build forky, ftbfs, sid, trixie
clasp (2) Homepage: https://www.potassco.org/clasp/ Vcs Debian Science Maintainers
902109 clasp: Please install static library (and build with -fPIC) patch
1034521 clasp: FTBFS with LTO enabled patch
coq (1) Homepage: http://coq.inria.fr/ Vcs Debian OCaml Maintainers
1079430 coqide: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) forky, sid, trixie, upstream
cvc4 (1) Homepage: https://cvc4.github.io/ Vcs Debian Science Maintainers
970511 cvc4: test failures on various architectures fixed-upstream
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 forky, ftbfs, sid, trixie
hol-light (2) Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/ Vcs Debian OCaml Maintainers
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)
lbt (1) Homepage: http://www.tcs.hut.fi/Software/maria/tools/lbt/ Vcs Debian Science Maintainers
1047697 lbt: Fails to build source after successful build forky, ftbfs, sid, trixie
maude (1) Homepage: http://maude.cs.uiuc.edu Vcs Debian Med Packaging Team
1067957 FTBFS: error: call of overloaded ‘__gmp_expr(__time64_t&)’ is ambiguous forky, ftbfs, sid, trixie
minisat+ (1) Homepage: http://minisat.se/MiniSat+.html Vcs Debian Science Maintainers
685094 minisat+: Segmentation fault
mona (1) Homepage: https://www.brics.dk/mona/ Vcs Debian Science Maintainers
1045422 mona: Fails to build source after successful build forky, ftbfs, sid, trixie
proofgeneral (5) Homepage: https://proofgeneral.github.io/ Vcs Debian Math Team
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
sat4j (1) Homepage: https://www.sat4j.org Vcs Debian Science Maintainers
680944 Fails to parse PMAX-SAT problem in wcnf format
spass (2) Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/ Vcs Debian Science Maintainers
1105668 spass: FTBFS with make --shuffle=reverse: iascanner.l:50:10: fatal error: iaparser.h: No such file or directory forky, ftbfs, sid, trixie
1119568 spass: please build using the default build flags
toulbar2 (3) Homepage: http://www.inra.fr/mia/T/toulbar2 Vcs Debian Science Maintainers
1046877 toulbar2: Fails to build source after successful build forky, ftbfs, sid, trixie
1080187 toulbar2: FTBFS with doxygen 1.12.0 ftbfs
1113581 toulbar2: FTBFS with CMake 4 forky, ftbfs, sid
why3 (3) Homepage: https://www.why3.org/ Vcs Debian OCaml Maintainers
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) forky, sid, trixie, upstream
1105591 why3: FTBFS with make --shuffle=reverse: sh: 1: src/util/ppx_debug_optim: not found forky, ftbfs, sid, trixie
z3 (4) Homepage: https://github.com/Z3Prover/z3 Vcs LLVM Packaging Team
949133 z3: request for backport to buster
1014979 Please ship z3_tptp
1090046 libz3-dev: variable e potentially used without being set
1098281 Missing cmake files

Open bugs in suggested packages

Done bugs

boolector (1) Homepage: https://boolector.github.io/ Vcs Debian Science Maintainers
1043884 boolector: Fails to build source after successful build forky, ftbfs, sid, trixie
coq (5) Homepage: http://coq.inria.fr/ Vcs Debian OCaml Maintainers
1044637 coq: Fails to build source after successful build ftbfs, sid, trixie
1101476 coq: Please whitelist ocaml-native-compilers to supported architectures patch
1117585 coq: suggests why which is not in unstable
1128189 coq: Please install dllcoqperf_stubs.so on native architectures only patch
1128515 Updating the coq Uploaders list
*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: Sat, 25 Jul 2026 18:17:53 -0000