Parekh さんのリクエストにより、 unstable にて GLPK を 4.10 にアップデートしました。 これに伴って、4.9 のものを stable に移しました。