Distributions maintained by GSEAMAN