Victor Eijkhout's packages
