Check that Distr is in scope when tagging distributions, fixing #211#988

oskgo merged 1 commit intomainEasyCrypt/easycrypt:mainfrom

fix-rndllEasyCrypt/easycrypt:fix-rndllCopy head branch name to clipboard