Distributions maintained by ASVBR