Distributions maintained by MINDOS