Distributions maintained by VERLIN