Distributions maintained by CRUNCHIE