Distributions maintained by PRIEZT