Commit 0e63dbec authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.reglang: 1.2.1 -> 1.2.2

parent 94394c33

pkgs/development/coq-modules/reglang/default.nix

+8 −0
Original line number Diff line number Diff line
@@ -12,6 +12,7 @@ mkCoqDerivation { 


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



  release."1.2.2".sha256 = "sha256-js1JaLSpYbxfiAfh8XvGsnJpx5DV13heouUm3oeBfNg=";

  release."1.2.1".sha256 = "sha256-giCRK8wzpVVzXAkFAieQDWqSsP7upSJSUUHkwG4QqO4=";

  release."1.2.0".sha256 = "sha256-gSqQ7D2HLwM4oYopTWkMFYfYXxsH/7VxI3AyrLwNf3o=";

  release."1.1.3".sha256 = "sha256-kaselYm8K0JBsTlcI6K24m8qpv8CZ9+VNDJrOtFaExg=";
@@ -23,6 +24,13 @@ mkCoqDerivation { 
    lib.switch

      [ coq.coq-version mathcomp.version ]

      [

        {

          cases = [

            (range "8.16" "9.0")

            (range "2.0.0" "2.4.0")

          ];

          out = "1.2.2";

        }

        {

          cases = [

            (range "8.16" "9.0")