commit 52b2713487fa59d74c2940c52875ef89a8c2db8c · pyrox.dev/nixpkgs

+13 -3
pkgs/development/coq-modules/jasmin/default.nix
···

       5
       5
        
         mathcomp,

     

       6
       6
        
         mathcomp-algebra-tactics,

     

       7
       7
        
         mathcomp-word,

     

       8
       8
       +
         ITree,

     

       8
       9
        
         version ? null,

     

       9
       10
        
       }:

     

       10
       11
        
       

     

       11
       11
       -
       mkCoqDerivation {

     

       12
       12
       +
       (mkCoqDerivation {

     

       12
       13
        
         pname = "jasmin";

     

       13
       14
        
         owner = "jasmin-lang";

     

       14
       15
        
       

     
···

       27
       28
        
           lib.switch

     

       28
       29
        
             [ coq.coq-version mathcomp.version ]

     

       29
       30
        
             [

     

       30
       30
       -
               (case (range "8.19" "9.1") (range "2.2" "2.4") "2025.02.0")

     

       31
       31
       +
               (case (range "8.20" "9.1") (range "2.2" "2.4") "2025.06.1")

     

       32
       32
       +
               (case (range "8.19" "9.1") (range "2.2" "2.4") "2025.02.1")

     

       31
       33
        
               (case (isEq "8.18") (isEq "2.2") "2024.07.2")

     

       32
       34
        
             ]

     

       33
       35
        
             null;

     

       34
       36
        
         releaseRev = v: "v${v}";

     

       35
       37
        
       

     

       38
       38
       +
         release."2025.06.1".sha256 = "sha256-wEL1tN0HUa1Eb7FiQOBA6sAkuonrAMdkqq8gu9/CED0=";

     

       39
       39
       +
         release."2025.06.0".sha256 = "sha256-XfTg7ofamzMWqmRIU1/MO+S/ieNjvNEhlgIqFrchdAQ=";

     

       40
       40
       +
         release."2025.02.1".sha256 = "sha256-8P2GdplB12Q0e0XdL77w3nQL1/6Xl/gQNhGTB0WX/8I=";

     

       36
       41
        
         release."2025.02.0".sha256 = "sha256-Jlf0+VPuYWXdWyKHKHSp7h/HuCCp4VkcrgDAmh7pi5s=";

     

       37
       42
        
         release."2024.07.3".sha256 = "sha256-n/X8d7ILuZ07l24Ij8TxbQzAG7E8kldWFcUI65W4r+c=";

     

       38
       43
        
         release."2024.07.2".sha256 = "sha256-aF8SYY5jRxQ6iEr7t6mRN3BEmIDhJ53PGhuZiJGB+i8=";

     
···

       56
       61
        
             vbgl

     

       57
       62
        
           ];

     

       58
       63
        
         };

     

       59
       59
       -
       }

     

       64
       64
       +
       }).overrideAttrs

     

       65
       65
       +
         (o: {

     

       66
       66
       +
           propagatedBuildInputs =

     

       67
       67
       +
             o.propagatedBuildInputs

     

       68
       68
       +
             ++ lib.optional (o.version == "dev" || lib.versionAtLeast o.version "2025.06") ITree;

     

       69
       69
       +
         })