Summary
Autoremovals: 3
Migration issues: 0
CI failures: 2
Install issues: 3
No issues: 12/26
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.
๐ Autoremoval
๐ CI
๐ Install/upgrade
Package marked for automatic removal:
Continuous integration (CI) tests are failing:
Piuparts failed:
๐ Autoremoval
๐ Tests missing
Package marked for automatic removal:
Continuous integration (CI) tests are missing.
๐ Autoremoval
Package marked for automatic removal:
๐ CI
Continuous integration (CI) tests are failing:
๐ Install/upgrade
๐ Tests missing
Piuparts failed:
Continuous integration (CI) tests are missing.
๐ Install/upgrade
๐ Tests missing
Piuparts failed:
Continuous integration (CI) tests are missing.
๐ Tests missing
Continuous integration (CI) tests are missing.
๐ Tests missing
Continuous integration (CI) tests are missing.
๐ Tests missing
Continuous integration (CI) tests are missing.
๐ Tests missing
Continuous integration (CI) tests are missing.
๐ Tests missing
Continuous integration (CI) tests are missing.
๐ Tests missing
Continuous integration (CI) tests are missing.
๐ Tests missing
Continuous integration (CI) tests are missing.
๐ Tests missing
Continuous integration (CI) tests are missing.