2 repocop-patches REMOVED from the list dolfin-real-1.2.0-alt3.git20130507.src qmmp-0.8.0-alt2.svn3528.src 1 NOT FIXED repocop-patch papi-5.1.0.2-alt1.src papi-5.1.1-alt1.src Total 150 repocop-patches.