Summary

Bugs of task logic

Total bugs: 48

Open bugs: 46

Fixed bugs: 2

Links to other tasks

Tasks overview

Brain-computer interface 0 (0)

Biology 14 (201)

Chemistry 79 (810)

Data acquisition 53 (232)

Data acquisition development 18 (225)

Data management 54 (450)

Devices 6 (57)

Distributed computing 70 (636)

Economics 26 (112)

Electrophysiology 12 (56)

Engineering 83 (854)

Engineering-dev 52 (589)

Financial engineering 0 (0)

Geography 95 (745)

Geometry 5 (26)

High energy physics 6 (66)

High energy physics (devel) 21 (203)

Image analysis 5 (33)

Image analysis development 28 (147)

Linguistics 97 (452)

Logic 46 (360)

Machine learning 48 (469)

Mathematics 258 (2386)

Mathematics-dev 182 (1819)

Meteorology 96 (652)

Meteorology-dev 204 (829)

Nanoscale physics 321 (2518)

Nanoscale physics development 138 (1401)

Cognitive neuroscience 23 (178)

Neuroscience datasets 0 (0)

Modeling of neural systems 3 (21)

Numerical computation 138 (1286)

Physics 77 (870)

Physics-dev 37 (308)

Presentation 90 (732)

Psychophysics 11 (154)

Robotics 116 (512)

Robotics-dev 24 (291)

Simulations 55 (698)

Social 0 (0)

Statistics 54 (386)

Tools 14 (49)

Typesetting 291 (2037)

Viewing 305 (1754)

Viewing-dev 76 (733)

Workflow 28 (185)

Legend

Severity	Dependent	Suggested
critical	0	0
grave	0	0
serious	2	0
important	8	0
normal	16	0
minor	12	0
wishlist	8	0

Summary bugs page of task Logic

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

Open bugs in dependent packages

2 serious, 8 important, 16 normal, 12 minor, 8 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
boolector (3) Homepage: http://fmv.jku.at/boolector/ Not maintained in Vcs Michael Tautschnig
922877	boolector: new upstream version (3.1.0) (now MIT licensed)
1043884	boolector: Fails to build source after successful build	forky, ftbfs, sid, trixie
1111926	ITS: boolector
clasp (3) 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
1112785	clasp: FTBFS with CMake 4	forky, ftbfs, sid
coq (2) Homepage: http://coq.inria.fr/ Vcs Debian OCaml Maintainers
1079430	coqide: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5)	forky, sid, trixie, upstream
1101476	coq: Please whitelist ocaml-native-compilers to supported architectures
cvc4 (2) Homepage: https://cvc4.github.io/ Vcs Debian Science Maintainers
970511	cvc4: test failures on various architectures	fixed-upstream
1112823	cvc4: FTBFS with CMake 4	forky, ftbfs, sid
gringo (1) Homepage: https://www.potassco.org/clingo/ Vcs Debian Science Maintainers
1112978	gringo: FTBFS with CMake 4	forky, ftbfs, sid
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)
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
kissat (2) Homepage: https://fmv.jku.at/kissat/ Vcs Debian Science Maintainers
1099368	kissat: transition from p7zip to 7zip	patch
1112298	kissat FTCBFS: uses the build architecture compiler	patch
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 (1) 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
toulbar2 (4) 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
1114414	toulbar2: FTBFS: dh_auto_build: error: cd obj-x86_64-linux-gnu && make -j2 "INSTALL=install --strip-program=true" VERBOSE=1 returned exit code 2	forky, ftbfs, sid
why3 (4) 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
1098092	why3: ftbfs with GCC-15	fixed-upstream, forky, ftbfs, sid
1105591	why3: FTBFS with make --shuffle=reverse: sh: 1: src/util/ppx_debug_optim: not found	forky, ftbfs, sid, trixie
z3 (8) Homepage: https://github.com/Z3Prover/z3 Vcs LLVM Packaging Team
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	forky, ftbfs, sid, trixie
1073242	Update 'z3' to latest version - 4.13.0.
1084002	z3: (build-)depends on deprecated module python3-pkg-resources	forky, sid, trixie
1090046	libz3-dev: variable e potentially used without being set
1098281	Missing cmake files

Open bugs in suggested packages

Done bugs

agda (1) Homepage: https://wiki.portal.chalmers.se/agda/ Vcs Debian Haskell Group
1096284	agda: ftbfs with GCC-15	forky, sid
maria (1) Homepage: http://www.tcs.hut.fi/Software/maria/ Vcs Debian Science Maintainers
1097361	maria: ftbfs with GCC-15	forky, 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:

critical	10
grave	10
serious	10
important	5
normal	3
minor	1
wishlist	0