Debian Science Project
Summary
Bugs of task logic
Total bugs: 40
Open bugs: 37
Fixed bugs: 3
Links to other tasks
Biology 12 (148)
Chemistry 85 (808)
Data acquisition 67 (455)
Data management 63 (548)
Devices 15 (114)
Economics 31 (164)
Engineering 89 (815)
Engineering-dev 75 (633)
Geography 93 (713)
Geometry 8 (41)
Linguistics 91 (401)
Logic 37 (207)
Machine learning 45 (439)
Mathematics 255 (2047)
Mathematics-dev 191 (1615)
Meteorology 98 (572)
Meteorology-dev 201 (793)
Nanoscale physics 324 (2462)
Physics 82 (801)
Physics-dev 31 (233)
Presentation 78 (633)
Psychophysics 6 (61)
Robotics 104 (399)
Robotics-dev 28 (201)
Simulations 41 (385)
Social 0 (0)
Statistics 56 (404)
Tools 13 (83)
Typesetting 263 (1737)
Viewing 310 (1965)
Viewing-dev 67 (632)
Workflow 37 (266)
Legend
SeverityDependentSuggested
critical 0 0
grave 0 0
serious 0 0
important 4 0
normal 13 0
minor 10 0
wishlist 10 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

4 important, 13 normal, 10 minor, 10 wishlist
662581 man page for agda patch
736477 agda-mode: enable multiarch
902827 FTBFS: GHC OOM on armel/armhf ftbfs
1043707 agda: Fails to build source after successful build ftbfs, sid, trixie
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
716368 [Mayhem] Bug report on coinor-libsymphony0: symphony crashes with exit status 139
773273 error when using SYMPHONY libraries in testing/unstable with clang
941172 /usr/bin/symphony: please compile symphony with USE_GLPMPL
1068745 coinor-symphony: FTBFS with coinutils 2.11.10 experimental, ftbfs, sid, trixie
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"
hol88 (1) Homepage: Not maintained in Vcs Camm Maguire
437188 hol88: not handling nostrip build option (policy 10.1) wontfix
1047697 lbt: Fails to build source after successful build ftbfs, sid, trixie
962547 maria FTCBFS: does not pass cross tools to make patch
1067957 FTBFS: error: call of overloaded ‘__gmp_expr(__time64_t&)’ is ambiguous ftbfs, sid, trixie
685094 minisat+: Segmentation fault
958287 minisat+: Upstream potentially moved to github, new upstream version 1.1
1033990 minisat+ FTCBFS: fails clean target patch
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
1046877 toulbar2: Fails to build source after successful build ftbfs, sid, trixie
1037512 why3: did not remove the /usr/share/emacs25/site-lisp/why3.el symlink on package removal
1046969 why3: Fails to build source after successful build ftbfs, pending, sid, trixie
949133 z3: request for backport to buster
1014978 Please update to newer upstream
1014979 Please ship z3_tptp
1018962 z3: Typo in package description patch
1047765 z3: Fails to build source after successful build ftbfs, sid, trixie
1055476 z3: Fix hurd-amd64 build patch

Open bugs in suggested packages

Done bugs

1068742 coinor-cbc: FTBFS with coinutils 2.11.10 experimental, ftbfs, sid, trixie
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: Sun, 19 May 2024 16:16:10 -0000