Distributions maintained by ROMDAV