List Trilinos as optional dependency
Hi,
my pipeline just failed in coverage as I did not build with Trilinos. That reminded me to suggest that we should maybe list that as another optional dependency on the "Project Overview" page.
Cheers
Marcus