From: Daniel Arndt Date: Mon, 31 Mar 2025 12:25:50 +0000 (-0400) Subject: Merge pull request #18220 from bangerth/kokkos-version-2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=639e19f93f06d8c19ac4e0ac75d6b1d3b41b04ae;p=dealii.git Merge pull request #18220 from bangerth/kokkos-version-2 Export the KOKKOS version numbers. --- 639e19f93f06d8c19ac4e0ac75d6b1d3b41b04ae