botch:
coq-corn:
coq-iris:
coq-unimath:
frama-c:
kalzium:
libguestfs:
llvm-toolchain-14:
llvm-toolchain-17:
llvm-toolchain-18:
llvm-toolchain-21:
plplot:
pplacer:
scilab:
sks:
ssreflect:
xen:
coq-deriving: ssreflect
coq-quickchick: ssreflect
coq-reglang: ssreflect
coq-relation-algebra: ssreflect
coquelicot: ssreflect
diffoscope: libguestfs
guestfs-tools: libguestfs
llvm-toolchain-19: llvm-toolchain-21
mathcomp-bigenough: ssreflect
mathcomp-finmap: ssreflect
mathcomp-zify: ssreflect
virt-v2v: libguestfs
coq-extructures: coq-deriving ssreflect
coq-interval: coquelicot ssreflect
mathcomp-algebra-tactics: mathcomp-zify ssreflect
mathcomp-analysis: mathcomp-bigenough mathcomp-finmap ssreflect
mathcomp-multinomials: mathcomp-bigenough mathcomp-finmap ssreflect
mathcomp-real-closed: mathcomp-bigenough ssreflect
coqeal: mathcomp-multinomials mathcomp-real-closed ssreflect