Summary

Autoremovals: 4

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

Package marked for automatic removal:

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

Continuous integration (CI) tests are failing:

Testsuite: autopkgtest

toulbar2

😟 Autoremoval

😟 Install/upgrade

😑 Tests missing

Package marked for automatic removal:

Will be removed on: 2025-10-04
Bugs leading to autoremoval: #1114414

Piuparts failed:

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

Continuous integration (CI) tests are missing.

coq

😟 Autoremoval

😟 Install/upgrade

Package marked for automatic removal:

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

Piuparts failed:

Version: 9.1.0+dfsg-1
Sections: experimental sid2experimental

hol-light

😟 Autoremoval

😑 Tests missing

Package marked for automatic removal:

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

Continuous integration (CI) tests are missing.

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.

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.