Thanks, Twilight zone and MyGiants, for that great clarification. At the same time, it is a sad and hypocritical situation - they should all be equally rated by CITES.
Probarbus jullieni Sauvage, 1880 Probarbus jullieni Cyprinidae Isok barb
Probarbus labeamajor Roberts, 1992 Probarbus labeamajor Cyprinidae Thicklip barb
Probarbus labeaminor Roberts, 1992 Probarbus labeaminor Cyprinidae Thinlip barb
My current conclusion is that the OP is simply going with what the prior (highly reliable) sellers had them labeled as... And that's fine with me. This is not exactly an exercise in the correctness of the fine-tuned ID. It is always the best to be sure of what one's selling and buying, especially when it comes to CITES, but if not, it is buyer beware, is all.
The buyer should also be aware that jullieni and the major reach 5'+ while the minor only 2'+.