Mathematics - Quality Assurance

Summary

Autoremovals: 2

Migration issues: 23

CI failures: 14

Install issues: 99

No issues: 17/126

Debian Science Mathematics packages

This metapackage will install Debian Science packages related to Mathematics. You might also be interested in the field::mathematics debtag and, depending on your focus, in the education-mathematics metapackage.

mcl

😟 Autoremoval

😟 CI

😟 Install/upgrade

Package marked for automatic removal:

  • Will be removed on: 2025-03-05
  • Bugs leading to autoremoval: #1091257
  • Will result in removal of roary with total popcon score of 0

Continuous integration (CI) tests are failing:

Piuparts failed:

coinor-symphony

😟 Autoremoval

😟 Install/upgrade

😑 Tests missing

Package marked for automatic removal:

Piuparts failed:

Continuous integration (CI) tests are missing.

regina-normal

😟 CI

😟 Migration

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Migration from unstable to testing is blocked:

  • Not in testing for 472 days.
  • Verdict: Rejected/violates migration policy/introduces a regression
  • Reason: autopkgtest, depends

Piuparts failed:

sagemath

😟 CI

😟 Migration

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Migration from unstable to testing is blocked:

  • Not in testing for 472 days.
  • Verdict: Rejected/violates migration policy/introduces a regression
  • Reason: autopkgtest, depends
  • Migrates after: brial, cypari2, eclib, sagenb-export

Piuparts failed:

macaulay2

😟 CI

😟 Migration

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: singular

Piuparts failed:

sagenb-export

😟 CI

😟 Migration

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Migration from unstable to testing is blocked:

  • Verdict: Rejected/violates migration policy/introduces a regression

Piuparts failed:

sagetex

😟 CI

😟 Migration

Continuous integration (CI) tests are failing:

Migration from unstable to testing is blocked:

  • Not in testing for 472 days.
  • Verdict: Rejected/violates migration policy/introduces a regression
  • Reason: autopkgtest
  • Migrates after: sagemath

eclib

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Not in testing for 247 days.
  • Verdict: Rejected/violates migration policy/introduces a regression
  • Reason: autopkgtest, depends, missingbuild

Piuparts failed:

Continuous integration (CI) tests are missing.

rheolef

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Not in testing for 77 days.
  • Verdict: Rejected/violates migration policy/introduces a regression
  • Reason: autopkgtest, depends

Piuparts failed:

Continuous integration (CI) tests are missing.

deap

😟 CI

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Piuparts failed:

dolfin

😟 CI

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Piuparts failed:

fenics

😟 CI

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Piuparts failed:

freefem++

😟 CI

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Piuparts failed:

nauty

😟 CI

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Piuparts failed:

scilab

😟 CI

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Piuparts failed:

surf-alggeo

😟 CI

😟 Install/upgrade

Continuous integration (CI) tests are failing:

Piuparts failed:

form

😟 Migration

😑 Tests missing

Migration from unstable to testing is blocked:

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

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: camlp5/s390x
  • Migrates after: camlp-streams/s390x, ocaml, ocaml-zarith/s390x

Piuparts failed:

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/amd64
  • Migrates after: camlp-streams/amd64, camlp5/amd64, ocaml

Piuparts failed:

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/arm64
  • Migrates after: camlp-streams/arm64, camlp5/arm64, ocaml

Piuparts failed:

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/armel
  • Migrates after: camlp-streams/armel, camlp5/armel, ocaml

Piuparts failed:

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/armhf
  • Migrates after: camlp-streams/armhf, camlp5/armhf, ocaml

Piuparts failed:

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/i386
  • Migrates after: camlp-streams/i386, camlp5/i386, ocaml

Piuparts failed:

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/mips64el
  • Migrates after: camlp-streams/mips64el, camlp5/mips64el, ocaml

Piuparts failed:

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/ppc64el
  • Migrates after: camlp-streams/ppc64el, camlp5/ppc64el, ocaml

Piuparts failed:

Continuous integration (CI) tests are missing.

hol-light

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/riscv64
  • Migrates after: camlp-streams/riscv64, camlp5/riscv64, ocaml

Piuparts failed:

Continuous integration (CI) tests are missing.

maxima-sage

😟 Migration

😟 Install/upgrade

😑 Tests missing

Migration from unstable to testing is blocked:

  • Verdict: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ecl

Piuparts failed:

Continuous integration (CI) tests are missing.

coq

😟 Migration

😟 Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: findlib/ppc64el
  • Migrates after: aac-tactics/ppc64el, coq-bignums/ppc64el, coq-corn/ppc64el, coq-deriving/ppc64el, coq-dpdgraph/ppc64el, coq-elpi/ppc64el, coq-equations/ppc64el, coq-ext-lib/ppc64el, coq-extructures/ppc64el, coq-gappa/ppc64el, coq-hammer/ppc64el, coq-hott/ppc64el, coq-interval/ppc64el, coq-libhyps/ppc64el, coq-math-classes/ppc64el, coq-menhirlib/ppc64el, coq-mtac2/ppc64el, coq-quickchick/ppc64el, coq-record-update/ppc64el, coq-reduction-effects/ppc64el, coq-reglang/ppc64el, coq-relation-algebra/ppc64el, coq-serapi/ppc64el, coq-simple-io/ppc64el, coq-stdpp/ppc64el, coq-unicoq/ppc64el, coq-unimath/ppc64el, coqeal/ppc64el, coqprime/ppc64el, flocq/ppc64el, ocaml, ocaml-zarith/ppc64el, ott/ppc64el, paramcoq/ppc64el, ssreflect/ppc64el

Piuparts failed:

coq

😟 Migration

😟 Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: findlib/riscv64
  • Migrates after: aac-tactics/riscv64, coq-bignums/riscv64, coq-corn/riscv64, coq-deriving/riscv64, coq-dpdgraph/riscv64, coq-elpi/riscv64, coq-equations/riscv64, coq-ext-lib/riscv64, coq-extructures/riscv64, coq-gappa/riscv64, coq-hammer/riscv64, coq-hott/riscv64, coq-interval/riscv64, coq-libhyps/riscv64, coq-math-classes/riscv64, coq-menhirlib/riscv64, coq-mtac2/riscv64, coq-quickchick/riscv64, coq-record-update/riscv64, coq-reduction-effects/riscv64, coq-reglang/riscv64, coq-relation-algebra/riscv64, coq-serapi/riscv64, coq-simple-io/riscv64, coq-stdpp/riscv64, coq-unicoq/riscv64, coq-unimath/riscv64, coqeal/riscv64, coqprime/riscv64, flocq/riscv64, ocaml, ocaml-zarith/riscv64, ott/riscv64, paramcoq/riscv64, ssreflect/riscv64

Piuparts failed:

coq

😟 Migration

😟 Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/arm64
  • Migrates after: aac-tactics/arm64, coq-bignums/arm64, coq-corn/arm64, coq-deriving/arm64, coq-dpdgraph/arm64, coq-elpi/arm64, coq-equations/arm64, coq-ext-lib/arm64, coq-extructures/arm64, coq-gappa/arm64, coq-hammer/arm64, coq-hott/arm64, coq-interval/arm64, coq-libhyps/arm64, coq-math-classes/arm64, coq-menhirlib/arm64, coq-mtac2/arm64, coq-quickchick/arm64, coq-record-update/arm64, coq-reduction-effects/arm64, coq-reglang/arm64, coq-relation-algebra/arm64, coq-serapi/arm64, coq-simple-io/arm64, coq-stdpp/arm64, coq-unicoq/arm64, coq-unimath/arm64, coqeal/arm64, coqprime/arm64, findlib/arm64, flocq/arm64, ocaml, ott/arm64, paramcoq/arm64, ssreflect/arm64

Piuparts failed:

coq

😟 Migration

😟 Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: depends
  • Invalidated by another package
  • Blocked by: ocaml-zarith/s390x
  • Migrates after: aac-tactics/s390x, coq-bignums/s390x, coq-corn/s390x, coq-deriving/s390x, coq-dpdgraph/s390x, coq-elpi/s390x, coq-equations/s390x, coq-ext-lib/s390x, coq-extructures/s390x, coq-gappa/s390x, coq-hammer/s390x, coq-hott/s390x, coq-interval/s390x, coq-libhyps/s390x, coq-math-classes/s390x, coq-menhirlib/s390x, coq-mtac2/s390x, coq-quickchick/s390x, coq-record-update/s390x, coq-reduction-effects/s390x, coq-reglang/s390x, coq-relation-algebra/s390x, coq-simple-io/s390x, coq-stdpp/s390x, coq-unicoq/s390x, coq-unimath/s390x, coqeal/s390x, coqprime/s390x, findlib/s390x, flocq/s390x, ocaml, ott/s390x, paramcoq/s390x, ssreflect/s390x

Piuparts failed:

coq

😟 Migration

😟 Install/upgrade

Migration from unstable to testing is blocked:

  • Verdict: Waiting for another item to be ready to migrate (no action required now - check later)
  • Reason: implicit-dependency
  • Invalidated by another package
  • Blocked by: coq-elpi/amd64
  • Migrates after: aac-tactics/amd64, coq-bignums/amd64, coq-corn/amd64, coq-deriving/amd64, coq-dpdgraph/amd64, coq-equations/amd64, coq-ext-lib/amd64, coq-extructures/amd64, coq-gappa/amd64, coq-hammer/amd64, coq-hott/amd64, coq-interval/amd64, coq-libhyps/amd64, coq-math-classes/amd64, coq-menhirlib/amd64, coq-mtac2/amd64, coq-quickchick/amd64, coq-record-update/amd64, coq-reduction-effects/amd64, coq-reglang/amd64, coq-relation-algebra/amd64, coq-serapi/amd64, coq-simple-io/amd64, coq-stdpp/amd64, coq-unicoq/amd64, coq-unimath/amd64, coqeal/amd64, coqprime/amd64, findlib/amd64, flocq/amd64, ocaml, ocaml-zarith/amd64, ott/amd64, paramcoq/amd64, ssreflect/amd64

Piuparts failed:

geneagrapher

😟 CI

Continuous integration (CI) tests are failing:

4ti2

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

agda

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

auto-07p

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

axiom

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

cliquer

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

debian-science

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

flintqs

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

fplll

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

freefem

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

gap

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

gap-ctbllib

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

gap-gapdoc

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

gap-tomlib

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

geogebra

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

geomview

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

getdp

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

ginac

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

lcalc

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

  • Version: 1.23+dfsg-6~bpo8+1
  • Sections: jessie2bpo

Continuous integration (CI) tests are missing.

libmatheval

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

lp-solve

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

lrcalc

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

lrslib

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

mathomatic

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

matlab-support

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

maxima

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

minisat2

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

palp

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

pari

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

polylib

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

proofgeneral

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

qsopt-ex

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

rubiks

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

sagemath-database-combinatorial-designs

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

sagemath-database-conway-polynomials

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

sagemath-database-elliptic-curves

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

sagemath-database-graphs

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

sagemath-database-polytopes

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

singular

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

tachyon

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

toulbar2

😟 Install/upgrade

😑 Tests missing

Piuparts failed:

Continuous integration (CI) tests are missing.

ann

😟 Install/upgrade

Piuparts failed:

bliss

😟 Install/upgrade

Piuparts failed:

coinor-cbc

😟 Install/upgrade

Piuparts failed:

coinor-csdp

😟 Install/upgrade

Piuparts failed:

edge-addition-planarity-suite

😟 Install/upgrade

Piuparts failed:

evolver

😟 Install/upgrade

Piuparts failed:

gap-float

😟 Install/upgrade

Piuparts failed:

gap-guava

😟 Install/upgrade

Piuparts failed:

gap-io

😟 Install/upgrade

Piuparts failed:

gap-openmath

😟 Install/upgrade

Piuparts failed:

gap-scscp

😟 Install/upgrade

Piuparts failed:

gerris

😟 Install/upgrade

Piuparts failed:

gfan

😟 Install/upgrade

Piuparts failed:

gmp-ecm

😟 Install/upgrade

Piuparts failed:

gmsh

😟 Install/upgrade

Piuparts failed:

graphviz

😟 Install/upgrade

Piuparts failed:

minieigen

😟 Install/upgrade

Piuparts failed:

mumps

😟 Install/upgrade

Piuparts failed:

netgen

😟 Install/upgrade

Piuparts failed:

normaliz

😟 Install/upgrade

Piuparts failed:

octave

😟 Install/upgrade

Piuparts failed:

openturns

😟 Install/upgrade

Piuparts failed:

qhull

😟 Install/upgrade

Piuparts failed:

r-cran-evd

😟 Install/upgrade

Piuparts failed:

scotch

😟 Install/upgrade

Piuparts failed:

sympow

😟 Install/upgrade

Piuparts failed:

tetgen

😟 Install/upgrade

Piuparts failed:

wxmaxima

😟 Install/upgrade

Piuparts failed:

xmds2

😟 Install/upgrade

Piuparts failed:

coinor-bonmin

😑 Tests missing

Continuous integration (CI) tests are missing.

eprover

😑 Tests missing

Continuous integration (CI) tests are missing.

giac

😑 Tests missing

Continuous integration (CI) tests are missing.

magnus

😑 Tests missing

Continuous integration (CI) tests are missing.

persalys

😑 Tests missing

Continuous integration (CI) tests are missing.

sagemath-database-cremona-elliptic-curves

😑 Tests missing

Continuous integration (CI) tests are missing.

spectra

😑 Tests missing

Continuous integration (CI) tests are missing.