coq-doc:
coq-unimath:
kalzium:
libguestfs:
liquidsoap:
llvm-toolchain-17:
llvm-toolchain-18:
llvm-toolchain-19:
osmocom-analog:
plplot:
scilab:
ssreflect:
virt-top:
coq-deriving: ssreflect
coq-quickchick: ssreflect
coq-reglang: ssreflect
coq-relation-algebra: ssreflect
coquelicot: ssreflect
diffoscope: libguestfs
guestfs-tools: libguestfs
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