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:

Testsuite: autopkgtest

Piuparts failed:

Version: 1.8.0-3
Sections: experimental sid2experimental

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:

Testsuite: autopkgtest

agda

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

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

Continuous integration (CI) tests are missing.

toulbar2

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

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

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.