trilinos (12.4.2-2) unstable; urgency=medium * add missing file to d/copyright * move doc related rules to *-indep targets (Closes: #816100) -- Felix Salfelder <email address hidden> Tue, 01 Mar 2016 12:39:54 +0200