nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-25 16:33:15 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #262197 from vbgl/ocaml-sail-0.16

Browse Source 
ocamlPackages.sail: 0.15 → 0.16
This commit is contained in:
Ulrik Strid 2023-10-26 09:42:01 +02:00 committed by GitHub
commit 6bb3eff963
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -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 = ''