Distributions maintained by PKAEDING