Commit bb1327e8 authored by Pierre Roux's avatar Pierre Roux
Browse files

coqPackages.rocq-elpi: 3.1.0 -> 3.2.0

parent 4903aed3

pkgs/development/rocq-modules/rocq-elpi/default.nix

+3 −2
Original line number Diff line number Diff line
@@ -17,7 +17,7 @@ let 
      in

      with lib.versions;

      lib.switch rocq-core.rocq-version [

        (case (range "9.0" "9.1") "3.3.0")

        (case (range "9.0" "9.1") "3.4.1")

        (case (range "9.0" "9.1") "2.0.7")

      ] { };

  elpi = rocq-core.ocamlPackages.elpi.override { version = default-elpi-version; };
@@ -36,10 +36,11 @@ let 
      in

      with lib.versions;

      lib.switch rocq-core.rocq-version [

        (case (range "9.0" "9.1") "3.1.0")

        (case (range "9.0" "9.1") "3.2.0")

        (case (range "9.0" "9.1") "2.6.0")

        (case "9.0" "2.5.2")

      ] null;

    release."3.2.0".sha256 = "sha256-FyYG/8lEyt1L/paMez8jYAnnUE+sxIp4Da5MztmwJ/c=";

    release."3.1.0".sha256 = "sha256-ytGPGwJv+jmRT6uN0sg6q+xh8ND0PMIZ9ULB0Uwca1w=";

    release."3.0.0".sha256 = "sha256-YMe2is7duGcvAHjM4joUE90EloibjSxqfZThsJhstdU=";

    release."2.6.0".sha256 = "sha256-23BHq1NFUkI3ayXnGUwiGFySLyY3EuH4RyMgAhQqI4g=";