Unverified Commit d5a9a8d4 authored by Vincent Laporte's avatar Vincent Laporte Committed by GitHub
Browse files

ocamlPackages.sail: 0.20 -> 0.20.1 (#473355)

parents 65bf8db7 a5dc2526

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

+2 −2
Original line number Diff line number Diff line
@@ -16,7 +16,7 @@ 
  lem,

  linksem,

  yojson,

  version ? "0.20",

  version ? "0.20.1",

}:



buildDunePackage {
@@ -25,7 +25,7 @@ buildDunePackage { 


  src = fetchurl {

    url = "https://github.com/rems-project/sail/releases/download/${version}/sail-${version}.tbz";

    hash = "sha256-WTmYltCrNkt/OeST79Z1xMC2YDgN2HxLJ3PrE7k+R9M=";

    hash = "sha256-uoG416pXBeBAZAE6sgwAa4DG20T5UiWsT79gQil+UOs=";

  };



  minimalOCamlVersion = "4.08";