diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-04-05 20:33:35 +0200 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-04-06 08:43:38 +0200 |
commit | c86f67bfb94c5c315421f782429343013faf1b33 (patch) | |
tree | e89de0bec97ef82baa64afd742f100365b9c08f1 /pkgs/development/ocaml-modules/minisat | |
parent | 3b45528a3274556d7bbbac56be075adcfa9b713c (diff) | |
download | nixpkgs-c86f67bfb94c5c315421f782429343013faf1b33.tar nixpkgs-c86f67bfb94c5c315421f782429343013faf1b33.tar.gz nixpkgs-c86f67bfb94c5c315421f782429343013faf1b33.tar.bz2 nixpkgs-c86f67bfb94c5c315421f782429343013faf1b33.tar.lz nixpkgs-c86f67bfb94c5c315421f782429343013faf1b33.tar.xz nixpkgs-c86f67bfb94c5c315421f782429343013faf1b33.tar.zst nixpkgs-c86f67bfb94c5c315421f782429343013faf1b33.zip |
ocamlPackages.minisat: 0.2 → 0.3
Diffstat (limited to 'pkgs/development/ocaml-modules/minisat')
-rw-r--r-- | pkgs/development/ocaml-modules/minisat/default.nix | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pkgs/development/ocaml-modules/minisat/default.nix b/pkgs/development/ocaml-modules/minisat/default.nix index 9a02f57cc38..f9d37d6b4fa 100644 --- a/pkgs/development/ocaml-modules/minisat/default.nix +++ b/pkgs/development/ocaml-modules/minisat/default.nix @@ -2,15 +2,17 @@ buildDunePackage rec { pname = "minisat"; - version = "0.2"; + version = "0.3"; + + useDune2 = true; minimumOCamlVersion = "4.05"; src = fetchFromGitHub { owner = "c-cube"; repo = "ocaml-minisat"; - rev = version; - sha256 = "1jibylmb1ww0x42n6wl8bdwicaysgxp0ag244x7w5m3jifq3xs6q"; + rev = "v${version}"; + sha256 = "01wggbziqz5x6d7mwdl40sbf6qal7fd853b224zjf9n0kzzsnczh"; }; meta = { |