botch:
coq-corn:
coq-unimath:
frama-c:
kalzium:
libguestfs:
libnbd:
liquidsoap:
llvm-toolchain-18:
llvm-toolchain-22:
ocaml-multicoretests:
ocaml-uring:
ocamlformat:
osmocom-analog:
plplot:
pplacer:
scilab:
ssreflect:
why3:
coq-deriving: ssreflect
coq-quickchick: ssreflect
coq-reglang: ssreflect
coq-relation-algebra: ssreflect
coquelicot: ssreflect
diffoscope: libguestfs
guestfs-tools: libguestfs
llvm-toolchain-21: llvm-toolchain-22
mathcomp-bigenough: ssreflect
mathcomp-finmap: ssreflect
mathcomp-zify: ssreflect
ocaml-kcas: ocaml-multicoretests
ocaml-saturn: ocaml-multicoretests
virt-v2v: libguestfs libnbd
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
ocaml-domainslib: ocaml-kcas ocaml-multicoretests ocaml-saturn
ocaml-eio: ocaml-kcas ocaml-uring
coqeal: mathcomp-multinomials mathcomp-real-closed ssreflect