Commit 03e4d461 authored by Pierre Roux's avatar Pierre Roux
Browse files

ocamlPackages.elpi: 3.6.2 -> 3.7.1

parent f7af830d

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

+2 −1
Original line number Diff line number Diff line
@@ -18,7 +18,7 @@ 
  coqPackages,

  version ?

    if lib.versionAtLeast ocaml.version "4.13" then

      "3.6.2"

      "3.7.1"

    else if lib.versionAtLeast ocaml.version "4.08" then

      "1.20.0"

    else
@@ -34,6 +34,7 @@ in 


let

  fetched = coqPackages.metaFetch {

    release."3.7.1".sha256 = "sha256-AQn0T9bAj17tAcVZdl3PTj4ri0fCXQJvAVN1dFn19GY=";

    release."3.6.2".sha256 = "sha256-BDE4L5qYZfaMt+6JivNBJIaJGeDSf5E+Kw1Wera/WFk=";

    release."3.6.1".sha256 = "sha256-zoVgRqNAXeCgk3zGntVkkZxIiQrCU5+ONeI97BiT674=";

    release."3.4.5".sha256 = "sha256-cck6XqC98Z9lb3CYS8K/aB1WOckjAyXzZ14vX41nJvI=";