1 repocop-patch REMOVED from the list papers-47.3-alt1.src 3 NOT FIXED repocop-patches gdcm-3.0.24-alt4.src gdcm-3.0.25-alt1.src ghc9.2-9.2.8-alt1.src ghc9.2-9.2.8-alt2.src z3-4.14.0-alt1.src z3-4.14.1-alt1.src Total 196 repocop-patches.