talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity

ocamlPackages.sail: 0.19 -> 0.19.1

Browse Source
This commit is contained in:
R. Ryantm 2025-07-08 00:04:05 +00:00
parent deb20abbe1
commit 86d0bfc85d
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/ocaml-modules/sail/default.nix
View File

@ -16,7 +16,7 @@
lem, lem,
linksem, linksem,
yojson, yojson,
version ? "0.19", version ? "0.19.1",
}: }:
buildDunePackage { buildDunePackage {
@ -25,7 +25,7 @@ buildDunePackage {
src = fetchurl { src = fetchurl {
url = "https://github.com/rems-project/sail/releases/download/${version}/sail-${version}.tbz"; url = "https://github.com/rems-project/sail/releases/download/${version}/sail-${version}.tbz";
hash = "sha256-VFjmmsCl2fUnONGUZQnFAYl/VIesy5YQsfIMMDBdI+A="; hash = "sha256-Xplpi2NnwBgTPJCq7Szv8XPeINtuYcM+KxlZSh1IKjI=";
}; };
minimalOCamlVersion = "4.08"; minimalOCamlVersion = "4.08";