Debian Science Project
Summary
Bugs of task logic
Total bugs: 40
Open bugs: 34
Fixed bugs: 6
Links to other tasks
Tasks overview
Biology 6 (111)
Chemistry 81 (852)
Data acquisition 54 (315)
Data management 38 (225)
Devices 13 (96)
Economics 23 (141)
Engineering 68 (693)
Engineering-dev 56 (540)
Geography 101 (664)
Geometry 8 (45)
Linguistics 19 (186)
Logic 34 (267)
Machine learning 32 (357)
Mathematics 238 (2023)
Mathematics-dev 163 (1450)
Meteorology 78 (468)
Meteorology-dev 177 (780)
Nanoscale physics 305 (2435)
Physics 89 (918)
Physics-dev 25 (256)
Presentation 80 (630)
Psychophysics 3 (33)
Robotics 98 (393)
Robotics-dev 15 (108)
Simulations 27 (315)
Social 0 (0)
Statistics 46 (423)
Tools 6 (45)
Typesetting 294 (2061)
Viewing 292 (1912)
Viewing-dev 47 (456)
Workflow 28 (178)
Legend
SeverityDependentSuggested
critical 0 0
grave 0 0
serious 2 0
important 3 0
normal 17 0
minor 3 0
wishlist 9 0

Summary bugs page of task Logic

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

Open bugs in dependent packages

2 serious, 3 important, 17 normal, 3 minor, 9 wishlist
agda (4) Homepage: https://wiki.portal.chalmers.se/agda/ Vcs Debian Haskell Group
662581 man page for agda patch
736477 agda-mode: enable multiarch
902827 FTBFS: GHC OOM on armel/armhf ftbfs
992448 agda: fails to compile hello world
alt-ergo (1) Homepage: http://alt-ergo.lri.fr Vcs Debian OCaml Maintainers
977737 alt-ergo suggests why, which isn't provided by any package
boolector (3) Homepage: http://fmv.jku.at/boolector/ Not maintained in Vcs Michael Tautschnig
831031 boolector: please make the build reproducible patch
922877 boolector: new upstream version (3.1.0) (now MIT licensed)
965441 boolector: Removal of obsolete debhelper compat 5 and 6 in bookworm
clasp (1) Homepage: https://www.potassco.org/clasp/ Vcs Debian Science Maintainers
902109 clasp: Please install static library (and build with -fPIC) patch
coinor-symphony (3) 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
coq (6) Homepage: http://coq.inria.fr/ Vcs Debian OCaml Maintainers
582768 proofgeneral: file-error "cannot open load file" "hilit19"
605014 proofgeneral-coq: PG for coq unusable because hilit19 is missing
605024 coq: coq.el requires nonexistent hilit19
827861 Please add coq-8.5 to jessie-backports fixed-upstream, jessie, security, wontfix
979756 Please compute ABIs for Coq libraries
995543 Updating the coq Uploaders list
cvc4 (1) Homepage: https://cvc4.github.io/ Vcs Debian Science Maintainers
970511 cvc4: test failures on various architectures
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
hol-light (1) Homepage: http://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"
hol88 (1) Homepage: Not maintained in Vcs Camm Maguire
437188 hol88: not handling nostrip build option (policy 10.1) wontfix
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
minisat+ (2) Homepage: http://minisat.se/MiniSat+.html Vcs Debian Science Maintainers
685094 minisat+: Segmentation fault
958287 minisat+: DebSci Additional info upstream (also deprecated Debian CVS note)
proofgeneral (5) Homepage: https://proofgeneral.github.io/ Not maintained in Vcs Hendrik Tews
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
917461 proofgeneral does not work in emacs-26
951567 proofgeneral: please, do not depend on emacs-gtk, proofgeneral works with emacs-lucid and even emacs-nox
sat4j (1) Homepage: http://www.sat4j.org Not maintained in Vcs Michael Tautschnig
680944 Fails to parse PMAX-SAT problem in wcnf format
why (1) Homepage: http://why.lri.fr/ Vcs Debian OCaml Maintainers
902618 why: needs porting to why3 version 1.0.0
why3 (1) Homepage: http://why3.lri.fr/ Vcs Debian OCaml Maintainers
995603 FTBFS: pdflatex fails with no message bookworm, ftbfs, sid
z3 (1) Homepage: https://github.com/Z3Prover/z3 Vcs LLVM Packaging Team
949133 z3: request for backport to buster

Open bugs in suggested packages

Done bugs

coinor-symphony (1) Homepage: https://projects.coin-or.org/SYMPHONY Vcs Debian Science Team
984022 coinor-symphony: ftbfs with GCC-11 bookworm, ftbfs, sid
matita (5) Homepage: http://matita.cs.unibo.it Vcs Debian OCaml Maintainers
599319 matita: should use dh-ocaml >= 0.9
913606 matita FTBFS with lablgtk2 2.18.5+dfsg-2 bookworm, bullseye, buster, ftbfs, sid
967627 matita: depends on deprecated GTK 2
967878 matita: depends on deprecated libglade2
995555 Updating the matita 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, 23 Oct 2021 01:46:25 -0000