From: Daniel Arndt Date: Mon, 31 Mar 2025 20:13:18 +0000 (-0400) Subject: Merge pull request #18305 from bangerth/kokkos-version X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=82404249f3cd840f495ce3e648576807d3236e21;p=dealii.git Merge pull request #18305 from bangerth/kokkos-version Make use of DEAL_II_KOKKOS_VERSION_GTE. --- 82404249f3cd840f495ce3e648576807d3236e21