diff options
| author | Mario Rodas <marsam@users.noreply.github.com> | 2023-06-11 04:20:00 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-06-12 11:17:36 +0200 |
| commit | c8cb1f7a2df211360ff492b13ffdf896a8c25d00 (patch) | |
| tree | b29ce93f5c51d516544f7356c103266d1672b9c5 /pkgs/development/ocaml-modules | |
| parent | c22490009755bf71edf904bd4562b05e5e0d3d5a (diff) | |
| download | nixlib-c8cb1f7a2df211360ff492b13ffdf896a8c25d00.tar nixlib-c8cb1f7a2df211360ff492b13ffdf896a8c25d00.tar.gz nixlib-c8cb1f7a2df211360ff492b13ffdf896a8c25d00.tar.bz2 nixlib-c8cb1f7a2df211360ff492b13ffdf896a8c25d00.tar.lz nixlib-c8cb1f7a2df211360ff492b13ffdf896a8c25d00.tar.xz nixlib-c8cb1f7a2df211360ff492b13ffdf896a8c25d00.tar.zst nixlib-c8cb1f7a2df211360ff492b13ffdf896a8c25d00.zip | |
ocamlPackages.minisat: 0.4 -> 0.5
Diff: https://github.com/c-cube/ocaml-minisat/compare/v0.4...v0.5
Diffstat (limited to 'pkgs/development/ocaml-modules')
| -rw-r--r-- | pkgs/development/ocaml-modules/minisat/default.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/development/ocaml-modules/minisat/default.nix b/pkgs/development/ocaml-modules/minisat/default.nix index 433431d8f9c0..257bbde0531c 100644 --- a/pkgs/development/ocaml-modules/minisat/default.nix +++ b/pkgs/development/ocaml-modules/minisat/default.nix @@ -2,17 +2,15 @@ buildDunePackage rec { pname = "minisat"; - version = "0.4"; + version = "0.5"; - useDune2 = true; - - minimumOCamlVersion = "4.05"; + minimalOCamlVersion = "4.05"; src = fetchFromGitHub { owner = "c-cube"; repo = "ocaml-minisat"; rev = "v${version}"; - sha256 = "009jncrvnl9synxx6jnm6gp0cs7zlj71z22zz7bs1750b0jrfm2r"; + hash = "sha256-hqGSHxhT+Z2slRCIXnfYuasG1K3tVG/tsM0IXxmy9hQ="; }; meta = { |