Logic - Quality Assurance

Summary

Autoremovals: 0

Migration issues: 1

CI failures: 0

Install issues: 6

No issues: 11/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.

matita

๐Ÿ˜Ÿ Migration

Migration from unstable to testing is blocked:

  • Not in testing for 882 days.
  • Verdict: Rejected/violates migration policy/introduces a regression
  • Reason: block, build-depends, depends
  • Migrates after: gtksourceview2

coinmp

๐Ÿ˜Ÿ 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.

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.

coq

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

why3

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

agda

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

boolector

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

coinor-cbc

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

hol-light

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

hol88

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

maria

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

picosat

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

toulbar2

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.