Distributions maintained by RRVCKU