Summary

Autoremovals: 1

Migration issues: 1

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.

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.

why3

😟 CI

😟 Migration

Continuous integration (CI) tests are failing:

Testsuite: autopkgtest

Migration from unstable to testing is blocked:

Verdict: Maybe temporary, maybe blocked but Britney is missing information
Reason: autopkgtest, missingbuild

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.

coq

😟 Install/upgrade

Piuparts failed:

Version: 9.1.0+dfsg-1
Sections: experimental sid2experimental

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.

hol-light

😑 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.