Summary

Autoremovals: 0

Migration issues: 1

CI failures: 2

Install issues: 21

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

coinor-symphony

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

Not in testing for 27 days.
Verdict: Rejected/violates migration policy/introduces a regression

Piuparts failed:

Version: 5.6.1-1
Sections: jessie2Xstretch-rcmd jessie2stretch-rcmd jessie2stretch jessie2Xstretch jessie-rcmd jessie-lts2stretch jessie2lts

Continuous integration (CI) tests are missing.

why3

😟 CI

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Testsuite: autopkgtest

Piuparts failed:

Version: 1.7.2-2
Sections: sid-broken-symlinks

kissat

😟 CI

Continuous integration (CI) tests are failing:

Testsuite: autopkgtest

agda

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 2.6.3-1
Sections: sid-merged-usr

Continuous integration (CI) tests are missing.

boolector

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 1.5.118.6b56be4.121013-1
Sections: jessie2Xstretch jessie2stretch jessie2stretch-rcmd jessie2Xstretch-rcmd

Continuous integration (CI) tests are missing.

hol88

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 2.02.19940316-33
Sections: jessie-lts2stretch jessie2Xstretch jessie2Xstretch-rcmd jessie2stretch

Continuous integration (CI) tests are missing.

hol-light

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 20170109-1
Sections: jessie2Xstretch-rcmd

Continuous integration (CI) tests are missing.

maria

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 1.3.5-6
Sections: sid-broken-symlinks

Continuous integration (CI) tests are missing.

picosat

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 960-1
Sections: jessie-lts2stretch jessie-rcmd jessie2Xstretch-rcmd jessie2stretch jessie2stretch-rcmd

Continuous integration (CI) tests are missing.

proofgeneral

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 4.5-3
Sections: sid-broken-symlinks

Continuous integration (CI) tests are missing.

sat4j

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Version: 2.3.5-0.2
Sections: jessie2Xstretch-rcmd jessie2stretch-rcmd

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.

clasp

😟 Install/upgrade

Piuparts failed:

Version: 3.2.1-3
Sections: jessie2Xstretch jessie-lts2stretch

coinor-cbc

😟 Install/upgrade

Piuparts failed:

Version: 2.8.12-1
Sections: jessie-lts2stretch jessie-rcmd jessie2Xstretch jessie2stretch-rcmd jessie2Xstretch-rcmd jessie2stretch

coq

😟 Install/upgrade

Piuparts failed:

Version: 8.6-4
Sections: jessie-lts2stretch jessie2stretch-rcmd

depqbf

😟 Install/upgrade

Piuparts failed:

Version: 5.01-1
Sections: jessie-lts2stretch jessie2stretch-rcmd jessie2Xstretch jessie2Xstretch-rcmd

gringo

😟 Install/upgrade

Piuparts failed:

Version: 5.1.0-4
Sections: jessie-lts2stretch jessie2Xstretch

lbt

😟 Install/upgrade

Piuparts failed:

Version: 1.2.2-7
Sections: sid-broken-symlinks

maude

😟 Install/upgrade

Piuparts failed:

Version: 2.7-2
Sections: jessie2stretch-rcmd jessie2Xstretch-rcmd

minisat+

😟 Install/upgrade

Piuparts failed:

Version: 1.0-3
Sections: jessie2Xstretch jessie-lts2stretch

mona

😟 Install/upgrade

Piuparts failed:

Version: 1.4-18-1
Sections: sid-broken-symlinks

spass

😟 Install/upgrade

Piuparts failed:

Version: 3.7-4
Sections: jessie2stretch-rcmd jessie2Xstretch jessie2Xstretch-rcmd

coinmp

😑 Tests missing

Continuous integration (CI) tests are missing.