From 6f50fdb8548937860aff2591e2ba67c0d63eea96 Mon Sep 17 00:00:00 2001
From: Vincent Fischer <fischervincent98@gmail.com>
Date: Mon, 11 Aug 2025 15:52:26 +0200
Subject: [PATCH] prism-model-checker: 4.8.1 -> 4.9

---
 pkgs/by-name/pr/prism-model-checker/package.nix | 15 +++++----------
 1 file changed, 5 insertions(+), 10 deletions(-)

diff --git a/pkgs/by-name/pr/prism-model-checker/package.nix b/pkgs/by-name/pr/prism-model-checker/package.nix
index 80575f375bb2..9ed211957f33 100644
--- a/pkgs/by-name/pr/prism-model-checker/package.nix
+++ b/pkgs/by-name/pr/prism-model-checker/package.nix
@@ -1,7 +1,7 @@
 {
   lib,
-  #  stdenv,
-  gcc13Stdenv,
+  stdenv,
+  gccStdenv,
   coreutils,
   fetchFromGitHub,
   openjdk,
@@ -13,22 +13,17 @@
 }:
 
 let
-  # 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;
+  stdenv' = if stdenv.hostPlatform.isDarwin then gccStdenv else stdenv;
 in
 stdenv'.mkDerivation (finalAttrs: {
   pname = "prism-model-checker";
-  version = "4.8.1";
+  version = "4.9";
 
   src = fetchFromGitHub {
     owner = "prismmodelchecker";
     repo = "prism";
     rev = "v${finalAttrs.version}";
-    hash = "sha256-igFRIjPfx0BFpQjaW/vgMEnH2HLC06aL3IMHh+ELB6U=";
+    hash = "sha256-eoyMGrXta49j2h/bStPuzrF6OZd/l2aQBngPbTZEvAo=";
   };
 
   nativeBuildInputs = [