Distributions maintained by MAIRE