nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 23:13:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

ocamlPackages.sail: 0.15 → 0.16

Browse Source
This commit is contained in:
Vincent Laporte 2023-10-20 06:40:10 +02:00
parent c7d07acf2c
commit a6c2d9af48
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
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 = ''