···

       
16
       
16
       
 
       


     

       
17
       
17
       
 
       
buildPythonPackage rec {

     

       
18
       
18
       
 
       
  pname = "firedrake-fiat";

     

       
19
       
19
       
-
       
  version = "2025.4.1";

     

       
19
       
19
       
+
       
  version = "2025.4.2";

     

       
20
       
20
       
 
       
  pyproject = true;

     

       
21
       
21
       
 
       


     

       
22
       
22
       
 
       
  src = fetchFromGitHub {

     

       
23
       
23
       
 
       
    owner = "firedrakeproject";

     

       
24
       
24
       
 
       
    repo = "fiat";

     

       
25
       
25
       
 
       
    tag = version;

     

       
26
       
26
       
-
       
    hash = "sha256-rN2JPXsauyBF6X2378kOmqHNB+1EqxiGnDaVoEXy4vw=";

     

       
26
       
26
       
+
       
    hash = "sha256-SIi/4JW9L4kyFxEmbG9pqe0QtY80UMOh7LSFLmrHhZY=";

     

       
27
       
27
       
 
       
  };

     

       
28
       
28
       
 
       


     

       
29
       
29
       
 
       
  postPatch =