mathlib.divisibility.permissions

There is one version: the corpus has not yet published a second edition of any package. The list stays a list on purpose — there will be no “publication date” column here, time never enters the artefacts.