scorep (8.4-1+mantic1) mantic; urgency=medium * Update to Score-P 8.4 -- Sebastian Döbel <email address hidden> Tue, 19 Mar 2024 17:09:00 +0200