+ automake-1.14, glpk-4.51, lsh-2.1, stella-3.9.