Logic - Quality Assurance

Summary

Autoremovals: 1

Migration issues: 0

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.

coq

๐Ÿ˜Ÿ Autoremoval

๐Ÿ˜Ÿ Install/upgrade

Package marked for automatic removal:

Piuparts failed:

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.

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.

hol88

๐Ÿ˜Ÿ Install/upgrade

๐Ÿ˜‘ Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

maria

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

coinor-cbc

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

depqbf

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

gringo

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

why3

๐Ÿ˜Ÿ Install/upgrade

Piuparts failed:

coinmp

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.