Distributions maintained by HAMSTER