DOKK / manpages

Man pages matching name papi_derived_event_files in section 1:

PAPI_derived_event_files.1.en debian 10 / papi-tools