gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

ocamlPackages.sail: 0.19.1 -> 0.20 (#451775)

Browse Source
This commit is contained in:
Vincent Laporte
2025-10-20 06:34:52 +00:00
committed by GitHub
parent be37d8655c 164a91150c
commit aba5cb3d22
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/ocaml-modules/sail/default.nix
+2 -2
View File
@@ -16,7 +16,7 @@
lem,
linksem,
yojson,
version ? "0.19.1",
version ? "0.20",
}:
buildDunePackage {
@@ -25,7 +25,7 @@ buildDunePackage {
src = fetchurl {
url = "https://github.com/rems-project/sail/releases/download/${version}/sail-${version}.tbz";
hash = "sha256-Xplpi2NnwBgTPJCq7Szv8XPeINtuYcM+KxlZSh1IKjI=";
hash = "sha256-WTmYltCrNkt/OeST79Z1xMC2YDgN2HxLJ3PrE7k+R9M=";
};
minimalOCamlVersion = "4.08";