Logic - Quality Assurance

Summary

Autoremovals: 3

Migration issues: 0

CI failures: 2

Install issues: 3

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

why3

๐Ÿ˜Ÿ Autoremoval

๐Ÿ˜Ÿ CI

๐Ÿ˜Ÿ Install/upgrade

Package marked for automatic removal:

  • Will be removed on: 2025-10-04
  • Bugs leading to autoremoval: #1098092
  • Dependencies leading to autoremoval: aflplusplus
  • Bugs in dependencies leading to autoremoval: #1096282

Continuous integration (CI) tests are failing:

Piuparts failed:

hol-light

๐Ÿ˜Ÿ Autoremoval

๐Ÿ˜‘ Tests missing

Package marked for automatic removal:

  • Will be removed on: 2025-10-04
  • Dependencies leading to autoremoval: aflplusplus
  • Bugs in dependencies leading to autoremoval: #1096282

Continuous integration (CI) tests are missing.

coq

๐Ÿ˜Ÿ Autoremoval

Package marked for automatic removal:

  • Will be removed on: 2025-10-04
  • Dependencies leading to autoremoval: aflplusplus
  • Bugs in dependencies leading to autoremoval: #1096282

kissat

๐Ÿ˜Ÿ CI

Continuous integration (CI) tests are failing:

agda

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

boolector

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

coinmp

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

coinor-symphony

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

proofgeneral

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.

sat4j

๐Ÿ˜‘ Tests missing

Continuous integration (CI) tests are missing.