BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

ocamlPackages.minisat: 0.2 → 0.3

Browse source
This commit is contained in:
Vincent Laporte 2021-04-05 20:33:35 +02:00 committed by Vincent Laporte
parent 3b45528a32
commit c86f67bfb9
1 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
pkgs/development/ocaml-modules/minisat/default.nix
View file

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