Logic - Quality Assurance

Summary

Autoremovals: 0

Migration issues: 11

CI failures: 0

Install issues: 27

No issues: 1/29

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.

hol88

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: libtirpc

Piuparts failed:

Continuous integration (CI) tests are missing.

maria

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: readline

Piuparts failed:

Continuous integration (CI) tests are missing.

coq

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: gtk+3.0
  • Migrates after: aac-tactics/amd64, coq-bignums/amd64, coq-corn/amd64, coq-deriving/amd64, coq-dpdgraph/amd64, coq-elpi/amd64, coq-equations/amd64, coq-ext-lib/amd64, coq-extructures/amd64, coq-gappa/amd64, coq-hammer/amd64, coq-hott/amd64, coq-interval/amd64, coq-libhyps/amd64, coq-math-classes/amd64, coq-menhirlib/amd64, coq-mtac2/amd64, coq-quickchick/amd64, coq-record-update/amd64, coq-reduction-effects/amd64, coq-reglang/amd64, coq-relation-algebra/amd64, coq-simple-io/amd64, coq-stdpp/amd64, coq-unicoq/amd64, coq-unimath/amd64, coqeal/amd64, coqprime/amd64, flocq/amd64, glib2.0, ott/amd64, paramcoq/amd64, ssreflect/amd64

Piuparts failed:

coq

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: gtk+3.0
  • Migrates after: aac-tactics/arm64, coq-bignums/arm64, coq-corn/arm64, coq-deriving/arm64, coq-dpdgraph/arm64, coq-elpi/arm64, coq-equations/arm64, coq-ext-lib/arm64, coq-extructures/arm64, coq-gappa/arm64, coq-hammer/arm64, coq-hott/arm64, coq-interval/arm64, coq-libhyps/arm64, coq-math-classes/arm64, coq-menhirlib/arm64, coq-mtac2/arm64, coq-quickchick/arm64, coq-record-update/arm64, coq-reduction-effects/arm64, coq-reglang/arm64, coq-relation-algebra/arm64, coq-simple-io/arm64, coq-stdpp/arm64, coq-unicoq/arm64, coq-unimath/arm64, coqeal/arm64, coqprime/arm64, flocq/arm64, glib2.0, ott/arm64, paramcoq/arm64, ssreflect/arm64

Piuparts failed:

coq

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: gtk+3.0
  • Migrates after: aac-tactics/i386, coq-bignums/i386, coq-corn/i386, coq-deriving/i386, coq-dpdgraph/i386, coq-elpi/i386, coq-equations/i386, coq-ext-lib/i386, coq-extructures/i386, coq-gappa/i386, coq-hammer/i386, coq-hott/i386, coq-interval/i386, coq-libhyps/i386, coq-math-classes/i386, coq-menhirlib/i386, coq-mtac2/i386, coq-quickchick/i386, coq-record-update/i386, coq-reduction-effects/i386, coq-reglang/i386, coq-relation-algebra/i386, coq-simple-io/i386, coq-stdpp/i386, coq-unicoq/i386, coq-unimath/i386, coqeal/i386, coqprime/i386, flocq/i386, glib2.0, ott/i386, paramcoq/i386, ssreflect/i386

Piuparts failed:

coq

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: gtk+3.0
  • Migrates after: aac-tactics/ppc64el, coq-bignums/ppc64el, coq-corn/ppc64el, coq-deriving/ppc64el, coq-dpdgraph/ppc64el, coq-elpi/ppc64el, coq-equations/ppc64el, coq-ext-lib/ppc64el, coq-extructures/ppc64el, coq-gappa/ppc64el, coq-hammer/ppc64el, coq-hott/ppc64el, coq-interval/ppc64el, coq-libhyps/ppc64el, coq-math-classes/ppc64el, coq-menhirlib/ppc64el, coq-mtac2/ppc64el, coq-quickchick/ppc64el, coq-record-update/ppc64el, coq-reduction-effects/ppc64el, coq-reglang/ppc64el, coq-relation-algebra/ppc64el, coq-simple-io/ppc64el, coq-stdpp/ppc64el, coq-unicoq/ppc64el, coq-unimath/ppc64el, coqeal/ppc64el, coqprime/ppc64el, flocq/ppc64el, glib2.0, ott/ppc64el, paramcoq/ppc64el, ssreflect/ppc64el

Piuparts failed:

coq

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: gtk+3.0
  • Migrates after: aac-tactics/s390x, coq-bignums/s390x, coq-corn/s390x, coq-deriving/s390x, coq-dpdgraph/s390x, coq-elpi/s390x, coq-equations/s390x, coq-ext-lib/s390x, coq-extructures/s390x, coq-gappa/s390x, coq-hammer/s390x, coq-hott/s390x, coq-interval/s390x, coq-libhyps/s390x, coq-math-classes/s390x, coq-menhirlib/s390x, coq-mtac2/s390x, coq-quickchick/s390x, coq-record-update/s390x, coq-reduction-effects/s390x, coq-reglang/s390x, coq-relation-algebra/s390x, coq-simple-io/s390x, coq-stdpp/s390x, coq-unicoq/s390x, coq-unimath/s390x, coqeal/s390x, coqprime/s390x, flocq/s390x, glib2.0, ott/s390x, paramcoq/s390x, ssreflect/s390x

Piuparts failed:

coq

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Rejected/violates migration policy/introduces a regression
  • Migrates after: aac-tactics/armhf, coq-bignums/armhf, coq-corn/armhf, coq-dpdgraph/armhf, coq-elpi/armhf, coq-equations/armhf, coq-ext-lib/armhf, coq-gappa/armhf, coq-hammer/armhf, coq-hott/armhf, coq-libhyps/armhf, coq-math-classes/armhf, coq-menhirlib/armhf, coq-mtac2/armhf, coq-record-update/armhf, coq-reduction-effects/armhf, coq-simple-io/armhf, coq-stdpp/armhf, coq-unicoq/armhf, coq-unimath/armhf, coqprime/armhf, flocq/armhf, glib2.0, gtk+3.0, ott/armhf, paramcoq/armhf

Piuparts failed:

gringo

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: python3.11

Piuparts failed:

why3

๐Ÿ˜Ÿ Migration

๐Ÿ˜Ÿ Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: gtk+3.0
  • Migrates after: glib2.0

Piuparts failed:

cvc4

๐Ÿ˜Ÿ Migration

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: readline

agda

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

boolector

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

coinmp

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

coinor-cbc

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

coinor-symphony

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

hol-light

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

picosat

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

proofgeneral

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

sat4j

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

toulbar2

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

clasp

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

depqbf

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

lbt

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

maude

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

minisat+

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

mona

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

spass

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed: