Collisions:
- auto-abseil through llvm-toolchain-13, llvm-toolchain-14, llvm-toolchain-15
- auto-ffmpeg through liquidsoap, ocaml-ffmpeg
- auto-hdf5 through scilab
- auto-suitesparse through scilab
- auto-yara through libguestfs
- coq through aac-tactics, coq, coq-bignums, coq-corn, coq-deriving, coq-dpdgraph, coq-elpi, coq-equations, coq-ext-lib, coq-extructures, coq-gappa, coq-hammer, coq-hierarchy-builder, coq-hott, coq-interval, coq-iris, coq-libhyps, coq-math-classes, coq-menhirlib, coq-mtac2, coq-quickchick, coq-record-update, coq-reduction-effects, coq-reglang, coq-relation-algebra, coq-simple-io, coq-stdpp, coq-unicoq, coq-unimath, coqeal, coqprime, coquelicot, flocq, mathcomp-abel, mathcomp-algebra-tactics, mathcomp-analysis, mathcomp-bigenough, mathcomp-finmap, mathcomp-multinomials, mathcomp-real-closed, mathcomp-zify, ott, paramcoq, ssreflect
- db5.3-rm through sks
- fuse-to-fuse3 through libguestfs, libnbd
- haskell through diffoscope
- llvm-13-rm through llvm-toolchain-13
- pcre3-to-pcre2 through guestfs-tools, haxe, libguestfs, pcre-ocaml, scilab, virt-v2v