pyrox.dev
+2
-2
pkgs/development/ocaml-modules/sail/default.nix
+2
-2
pkgs/development/ocaml-modules/sail/default.nix
···
16
lem,
17
linksem,
18
yojson,
19
-
version ? "0.19",
20
}:
21
22
buildDunePackage {
···
25
26
src = fetchurl {
27
url = "https://github.com/rems-project/sail/releases/download/${version}/sail-${version}.tbz";
28
-
hash = "sha256-VFjmmsCl2fUnONGUZQnFAYl/VIesy5YQsfIMMDBdI+A=";
29
};
30
31
minimalOCamlVersion = "4.08";
···
16
lem,
17
linksem,
18
yojson,
19
+
version ? "0.19.1",
20
}:
21
22
buildDunePackage {
···
25
26
src = fetchurl {
27
url = "https://github.com/rems-project/sail/releases/download/${version}/sail-${version}.tbz";
28
+
hash = "sha256-Xplpi2NnwBgTPJCq7Szv8XPeINtuYcM+KxlZSh1IKjI=";
29
};
30
31
minimalOCamlVersion = "4.08";