trilinos (12.12.1-5) unstable; urgency=medium * revamp list of installed packaged * add scotch dependency -- Nico Schlömer <email address hidden> Mon, 05 Feb 2018 16:01:51 +0100