Tentative fix for conf-{antic,arb,calcium,flint} on arch-linux#25504

filipeom wants to merge 1 commit intoocaml:masterocaml/opam-repository:masterfrom

filipeom:fix-conf-archfilipeom/opam-repository:fix-conf-archCopy head branch name to clipboard