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

ocamlPackages.sail: 0.20 -> 0.20.1

Browse Source
This commit is contained in:
R. Ryantm
2025-12-22 16:00:29 +00:00
parent 117dcbf470
commit a5dc252687
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.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";