prism-model-checker: use gcc 13 (#420261)

pkgs/by-name/pr/prism-model-checker/package.nix

···
 {
   lib,
-  stdenv,
-  gccStdenv,
+  #  stdenv,
+  gcc13Stdenv,
   coreutils,
   fetchFromGitHub,
   openjdk,
···
   makeDesktopItem,
   makeWrapper,
 }:
+
 let
-  stdenv' = if stdenv.hostPlatform.isDarwin then gccStdenv else stdenv;
+  # The current version of prism does not build with gcc > 13
+  # it should be fixed in the upcoming version of prism.
+  # at that point revert stdenv' to :
+  #
+  # stdenv' = if stdenv.hostPlatform.isDarwin then gccStdenv else stdenv;
+  stdenv' = gcc13Stdenv;
 in
 stdenv'.mkDerivation (finalAttrs: {
   pname = "prism-model-checker";