Distributions maintained by OVENMAN