trilinos (13.2.0-5) unstable; urgency=medium * Include missing headers to fix build with GCC-13 (Closes: #1037874) -- Graham Inggs <email address hidden> Mon, 04 Sep 2023 16:41:09 +0000