Merge pull request #1171 from dagonzalezfo/2023.06-a64fx-4.9.4-2023b-PDT-3.25.2

{2023.06}[2023b,a64fx] add PDT-3.25.2

Author: bedroge

easystacks/software.eessi.io/2023.06/a64fx/eessi-2023.06-eb-4.9.4-2023b.yml

@@ -116,4 +116,7 @@ easyconfigs:
       options:
         # see https://github.com/easybuilders/easybuild-easyconfigs/pull/22469
         from-commit: fc22841fef99cbb2a221c18029b15e692e78c27c
-
+  - PDT-3.25.2-GCCcore-13.2.0.eb:
+      options:
+        # see https://github.com/easybuilders/easybuild-easyconfigs/pull/22523
+        from-commit: 0044f08898e12cfd31177bfce0747ef2172226d1