Distributions maintained by AWENDT