chemps2 (1.8.8-1) unstable; urgency=medium * Upstream 1.8.8: Print number of MPS variables -- Sebastian Wouters <email address hidden> Fri, 05 Oct 2018 13:50:59 +0000