Summary

Autoremovals: 1

Migration issues: 5

CI failures: 2

Install issues: 21

No issues: 3/26

Debian Science Logic packages

This metapackage is part of the Debian Pure Blend "Debian Science" and installs packages related to Computational Logic. It contains formula transformation tools, solvers for formulas specified in various logics, interactive proof systems, etc.

coinor-symphony

😟 Autoremoval

😟 Install/upgrade

😑 Tests missing

Package marked for automatic removal:

Will be removed on: 2024-11-25
Bugs leading to autoremoval: #1068745
Will result in removal of fportfolio r-bioc-ihw r-bioc-lpsymphony rsymphony with total popcon score of 0

Piuparts failed:

Version: 5.6.1-1
Sections: jessie2stretch-rcmd jessie2Xstretch jessie2stretch jessie2Xstretch-rcmd jessie-rcmd jessie2lts jessie-lts2stretch

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

Not in testing for 97 days.
Verdict: Rejected/violates migration policy/introduces a regression
Reason: autopkgtest, depends

Piuparts failed:

Version: 20231021-2
Sections: sid-nodoc sid-strict sid-broken-symlinks stable22sid sid stable2sid oldstable222sid

Continuous integration (CI) tests are missing.

proofgeneral

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

Not in testing for 89 days.
Verdict: Rejected/violates migration policy/introduces a regression

Piuparts failed:

Version: 4.5-2
Sections: sid-broken-symlinks

Continuous integration (CI) tests are missing.

toulbar2

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

Not in testing for 52 days.
Verdict: Rejected/violates migration policy/introduces a regression

Piuparts failed:

Version: 1.2.1+dfsg-0.1
Sections: sid-broken-symlinks

Continuous integration (CI) tests are missing.

why3

😟 CI

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Testsuite: autopkgtest

Piuparts failed:

Version: 1.7.2-2
Sections: sid-broken-symlinks

coq

😟 Migration

😟 Install/upgrade

Migration from unstable to testing is blocked:

Verdict: Rejected/violates migration policy/introduces a regression
Reason: autopkgtest
Migrates after: aac-tactics, coq-bignums/amd64, coq-bignums/arm64, coq-bignums/ppc64el, coq-bignums/riscv64, coq-corn, coq-deriving/ppc64el, coq-dpdgraph, coq-elpi, coq-equations, coq-ext-lib, coq-extructures/ppc64el, coq-gappa/amd64, coq-gappa/arm64, coq-gappa/ppc64el, coq-gappa/riscv64, coq-hammer, coq-hott, coq-interval, coq-libhyps/amd64, coq-libhyps/arm64, coq-libhyps/ppc64el, coq-libhyps/riscv64, coq-math-classes/amd64, coq-math-classes/arm64, coq-math-classes/ppc64el, coq-math-classes/riscv64, coq-menhirlib, coq-mtac2, coq-quickchick, coq-record-update/amd64, coq-record-update/arm64, coq-record-update/ppc64el, coq-record-update/riscv64, coq-reduction-effects/amd64, coq-reduction-effects/arm64, coq-reduction-effects/ppc64el, coq-reduction-effects/riscv64, coq-reglang/ppc64el, coq-relation-algebra, coq-serapi, coq-simple-io, coq-stdpp, coq-unicoq, coq-unimath, coqprime/amd64, coqprime/arm64, coqprime/ppc64el, coqprime/riscv64, flocq, ott/amd64, ott/arm64, ott/ppc64el, ott/riscv64, paramcoq, ssreflect/amd64, ssreflect/arm64, ssreflect/ppc64el

Piuparts failed: