Distributions maintained by DFARALDO