New option 'skip_dev_versions' to work on minicpans