coq-simple-io:
coq-unicoq:
coq-unimath:
diffoscope:
elpi:
frama-c:
kalzium:
liquidsoap:
llvm-toolchain-18:
llvm-toolchain-22:
ocaml-gavl:
ocaml-merlin:
pplacer:
scilab:
virt-v2v:
coq-elpi: elpi
coq-mtac2: coq-unicoq
llvm-toolchain-21: llvm-toolchain-22
coq-corn: coq-elpi
coq-hierarchy-builder: coq-elpi elpi
ssreflect: coq-hierarchy-builder
coq-deriving: ssreflect
coq-quickchick: coq-simple-io ssreflect
coq-reglang: ssreflect
coq-relation-algebra: ssreflect
coquelicot: ssreflect
mathcomp-bigenough: ssreflect
mathcomp-finmap: ssreflect
mathcomp-zify: ssreflect
coq-extructures: coq-deriving ssreflect
coq-interval: coquelicot ssreflect
mathcomp-algebra-tactics: coq-elpi mathcomp-zify ssreflect
mathcomp-analysis: coq-elpi coq-hierarchy-builder mathcomp-bigenough mathcomp-finmap ssreflect
mathcomp-multinomials: coq-elpi mathcomp-bigenough mathcomp-finmap ssreflect
mathcomp-real-closed: mathcomp-bigenough ssreflect
coqeal: mathcomp-multinomials mathcomp-real-closed ssreflect