diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/sail/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/sail/default.nix | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/sail/default.nix b/nixpkgs/pkgs/development/ocaml-modules/sail/default.nix index f66abd2bdcf1..0e2dbda80d49 100644 --- a/nixpkgs/pkgs/development/ocaml-modules/sail/default.nix +++ b/nixpkgs/pkgs/development/ocaml-modules/sail/default.nix @@ -13,20 +13,20 @@ , z3 , linksem , num +, yojson }: buildDunePackage rec { pname = "sail"; - version = "0.15"; + version = "0.16"; src = fetchFromGitHub { owner = "rems-project"; repo = "sail"; rev = version; - hash = "sha256-eNdFOSzkniNvSCZeORRJ/IYAu+9P4HSouwmhd4BQLPk="; + hash = "sha256-HY/rgWi0S7ZiAWZF0fVIRK6fpoJ7Xp5EQcxoPRCPJ5Y="; }; - duneVersion = "3"; minimalOCamlVersion = "4.08"; nativeBuildInputs = [ @@ -43,6 +43,7 @@ buildDunePackage rec { linenoise pprint linksem + yojson ]; preBuild = '' |