coq-corn:
coq-relation-algebra:
diffoscope:
frama-c:
liquidsoap:
llvm-toolchain-18:
llvm-toolchain-22:
llvm-toolchain-23:
ocaml-gavl:
ocaml-merlin:
ocamlformat:
plplot:
pplacer:
scilab:
virt-v2v:
llvm-toolchain-21: llvm-toolchain-22 llvm-toolchain-23