Logic - Quality Assurance

Summary

Autoremovals: 0

Migration issues: 1

CI failures: 0

Install issues: 21

No issues: 2/24

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.

😟 Migration

😟 Install/upgrade

Migration from unstable to testing is blocked:

Has been trying to migrate for 18 days.
Verdict: Rejected/violates migration policy/introduces a regression
Reason: autopkgtest
Migrates after: aac-tactics, coq-bignums, coq-corn, coq-deriving, coq-dpdgraph, coq-elpi, coq-equations, coq-ext-lib, coq-extructures, coq-gappa, coq-hammer, coq-hott, coq-interval, coq-libhyps, coq-math-classes, coq-menhirlib, coq-mtac2, coq-quickchick, coq-record-update, coq-reduction-effects, coq-reglang, coq-relation-algebra, coq-simple-io, coq-stdpp, coq-unicoq, coq-unimath, coqeal, coqprime, flocq, ott, paramcoq, ssreflect

Piuparts failed:

Version: 8.6-4
Sections: jessie-lts2stretch jessie2stretch-rcmd

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 2.6.3-1
Sections: oldstable222sid sid-merged-usr

Continuous integration (CI) tests are missing.

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 1.5.118.6b56be4.121013-1
Sections: jessie2stretch jessie2Xstretch jessie2Xstretch-rcmd jessie2stretch-rcmd

Continuous integration (CI) tests are missing.

coinor-symphony

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 5.6.17+dfsg-1
Sections: oldstable222sid oldstable22testing

Continuous integration (CI) tests are missing.

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 20170109-1
Sections: jessie2Xstretch-rcmd

Continuous integration (CI) tests are missing.

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 2.02.19940316dfsg-5
Sections: oldstable222sid oldstable22testing

Continuous integration (CI) tests are missing.

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 1.3.5-4.2
Sections: oldstable222sid sid-broken-symlinks

Continuous integration (CI) tests are missing.

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 960-1
Sections: jessie-lts2stretch jessie-rcmd jessie2Xstretch-rcmd jessie2stretch jessie2stretch-rcmd

Continuous integration (CI) tests are missing.

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

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

Continuous integration (CI) tests are missing.

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 2.3.5-0.2
Sections: jessie2stretch-rcmd jessie2Xstretch-rcmd

Continuous integration (CI) tests are missing.

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

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

Continuous integration (CI) tests are missing.

😟 Install/upgrade

Piuparts failed:

Version: 3.2.1-3
Sections: jessie-lts2stretch jessie2Xstretch

😟 Install/upgrade

Piuparts failed:

Version: 2.8.12-1
Sections: jessie2Xstretch-rcmd jessie-lts2stretch jessie-rcmd jessie2stretch-rcmd jessie2Xstretch jessie2stretch

😟 Install/upgrade

Piuparts failed:

Version: 5.01-1
Sections: jessie2stretch-rcmd jessie2Xstretch jessie-lts2stretch jessie2Xstretch-rcmd

😟 Install/upgrade

Piuparts failed:

Version: 5.1.0-4
Sections: jessie-lts2stretch jessie2Xstretch

😟 Install/upgrade

Piuparts failed:

Version: 1.2.2-7
Sections: sid-broken-symlinks

😟 Install/upgrade

Piuparts failed:

Version: 2.7-2
Sections: jessie2Xstretch-rcmd jessie2stretch-rcmd

😟 Install/upgrade

Piuparts failed:

Version: 1.0-3
Sections: jessie2Xstretch jessie-lts2stretch

😟 Install/upgrade

Piuparts failed:

Version: 1.4-18-1
Sections: sid-broken-symlinks

😟 Install/upgrade

Piuparts failed:

Version: 3.7-4
Sections: jessie2Xstretch-rcmd jessie2stretch-rcmd jessie2Xstretch

😟 Install/upgrade

Piuparts failed:

Version: 1.6.0-1
Sections: sid-broken-symlinks

😑 Tests missing

Continuous integration (CI) tests are missing.