Debian Science Project
Summary
Bugs of task logic
Total bugs: 47
Open bugs: 39
Fixed bugs: 8
Links to other tasks
Tasks overview
Biology 10 (142)
Chemistry 100 (1053)
Data acquisition 56 (240)
Data management 57 (456)
Devices 17 (174)
Economics 28 (154)
Engineering 89 (953)
Engineering-dev 78 (792)
Geography 97 (710)
Geometry 4 (21)
Linguistics 93 (419)
Logic 39 (306)
Machine learning 40 (313)
Mathematics 255 (2227)
Mathematics-dev 195 (1805)
Meteorology 95 (625)
Meteorology-dev 196 (806)
Nanoscale physics 337 (2724)
Physics 82 (840)
Physics-dev 38 (374)
Presentation 80 (666)
Psychophysics 10 (109)
Robotics 108 (459)
Robotics-dev 36 (378)
Simulations 59 (751)
Social 0 (0)
Statistics 53 (328)
Tools 14 (94)
Typesetting 268 (1767)
Viewing 309 (1933)
Viewing-dev 70 (693)
Workflow 29 (224)
Legend
SeverityDependentSuggested
critical 0 0
grave 0 0
serious 4 0
important 3 0
normal 13 0
minor 8 0
wishlist 11 0

Summary bugs page of task Logic

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

Open bugs in dependent packages

4 serious, 3 important, 13 normal, 8 minor, 11 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 ftbfs, sid, trixie
boolector (2) 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 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
coinor-symphony (4) Homepage: https://projects.coin-or.org/SYMPHONY Vcs Debian Science Team
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
coq (2) Homepage: http://coq.inria.fr/ Vcs Debian OCaml Maintainers
1078941 Requires ocamlopt
1079430 coqide: please migrate from deprecated gtksourceview3 to gtksourceview4 (or 5) 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
437188 hol88: not handling nostrip build option (policy 10.1) wontfix
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"
1073882 FTBFS with OCaml 5.2.0 (Needs porting) ftbfs
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 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 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 ftbfs, sid, trixie
proofgeneral (6) 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
1077126 proofgeneral: needs rebuild against dh-elpa >=2.1.5 patch, sid, trixie
sat4j (1) Homepage: http://www.sat4j.org Not maintained in Vcs Michael Tautschnig
680944 Fails to parse PMAX-SAT problem in wcnf format
toulbar2 (2) Homepage: http://www.inra.fr/mia/T/toulbar2 Vcs Debian Science Maintainers
1046877 toulbar2: Fails to build source after successful build ftbfs, sid, trixie
1080187 FTBFS with upcoming doxygen ftbfs
why3 (2) Homepage: http://why3.lri.fr/ 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) sid, trixie, upstream
z3 (7) 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 ftbfs, sid, trixie
1073242 Update 'z3' to latest version - 4.13.0.
1080902 Missing Build-Depends on python3-setuptools sid, trixie
1084002 z3: (build-)depends on deprecated module python3-pkg-resources sid, trixie

Open bugs in suggested packages

Done bugs

agda (1) Homepage: https://wiki.portal.chalmers.se/agda/ Vcs Debian Haskell Group
902827 FTBFS: GHC OOM on armel/armhf ftbfs
coq (1) Homepage: http://coq.inria.fr/ Vcs Debian OCaml Maintainers
1070920 coq: FTBFS in bullseye bullseye, ftbfs
gringo (1) Homepage: https://www.potassco.org/clingo/ Vcs Debian Science Maintainers
963054 Mark two more symbols as optional when building with -march=z13 on s390x bookworm, bullseye, patch, sid
maria (1) Homepage: http://www.tcs.hut.fi/Software/maria/ Vcs Debian Science Maintainers
962547 maria FTCBFS: does not pass cross tools to make patch
z3 (4) Homepage: https://github.com/Z3Prover/z3 Vcs LLVM Packaging Team
1018962 z3: Typo in package description patch
1055476 z3: Fix hurd-amd64 build patch
1086725 z3 FTBFS on mips64el ftbfs, patch, sid, trixie
1086731 z3 FTCBFS: python3 dependency not installable patch
*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: Wed, 13 Nov 2024 18:19:33 -0000