QA
Skip Quicknav
About Debian
Getting Debian
Support
Developers' Corner
Debian Quality Assurance
Difference for armhf in scenario testing_main
From 2024-06-23 05:00:12 UTC
To 2024-06-24 05:00:04 UTC
[all]
indicates a package with
Architecture=all
.
Old packages that became installable
Package
Version
Short Explanation (click for details)
coqide
8.18.0+dfsg-1
unsatisfied dependency on libglib2.0-0 (>= 2.36.0)
libcoq-coqeal
2.0.1-1+b2
unsatisfied dependency on libcoq-bignums-yjqn6
libcoq-coquelicot
3.4.1-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-deriving
0.2.0-1+b2
unsatisfied dependency on libcoq-stdlib-8u5j8
libcoq-extructures
0.4.0-1+b1
unsatisfied dependency on libcoq-deriving-g8hw1
libcoq-interval
4.9.0-1+b2
unsatisfied dependency on libcoq-coquelicot-tq3k5
libcoq-mathcomp
2.1.0-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-algebra
2.1.0-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-algebra-tactics
1.2.3-1+b2
unsatisfied dependency on libcoq-elpi-c8gg9
libcoq-mathcomp-analysis
1.0.0-1+b2
unsatisfied dependency on libcoq-elpi-c8gg9
libcoq-mathcomp-bigenough
1.0.1-12+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-character
2.1.0-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-classical
1.0.0-1+b2
unsatisfied dependency on libcoq-elpi-c8gg9
libcoq-mathcomp-field
2.1.0-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-fingroup
2.1.0-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-finmap
2.0.0-2+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-multinomials
2.2.0-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-real-closed
2.0.0-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-solvable
2.1.0-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-ssreflect
2.1.0-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-mathcomp-zify
1.5.0+2.0+8.16-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-quickchick
2.0.2-1+b2
unsatisfied dependency on libcoq-ext-lib-nf624
libcoq-reglang
1.2.1-1+b2
unsatisfied dependency on libcoq-hierarchy-builder-0iec2
libcoq-relation-algebra
1.7.9-2+b2
unsatisfied dependency on libcoq-aac-tactics-xsuq6