ocamlPackages.bwd: 2.0.0 → 4.0.0

This commit is contained in:
Vincent Laporte 2023-04-02 15:17:10 +02:00
parent 8a5f14868c
commit c7117a1e19
No known key found for this signature in database
GPG key ID: EBD582ADDDB1F81F
2 changed files with 5 additions and 2 deletions

View file

@ -2,15 +2,16 @@
buildDunePackage rec { buildDunePackage rec {
pname = "bwd"; pname = "bwd";
version = "2.0.0"; version = "2.1.0";
minimalOCamlVersion = "4.12"; minimalOCamlVersion = "4.12";
duneVersion = "3";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "RedPRL"; owner = "RedPRL";
repo = "ocaml-bwd"; repo = "ocaml-bwd";
rev = version; rev = version;
sha256 = "sha256:0zgi8an53z6wr6nzz0zlmhx19zhqy1w2vfy1sq3sikjwh74jjq60"; hash = "sha256-ucXOBjD1behL2h8CZv64xtRjCPkajZic7G1oxxDmEXY=";
}; };
doCheck = true; doCheck = true;

View file

@ -49,6 +49,8 @@ let
sha256 = "sha256:1xb754fha4s0bgjfqjxzqljvalmkfdwdn5y4ycsp51wiah235bsy"; sha256 = "sha256:1xb754fha4s0bgjfqjxzqljvalmkfdwdn5y4ycsp51wiah235bsy";
}; };
duneVersion = "3";
propagatedBuildInputs = [ bwd ]; propagatedBuildInputs = [ bwd ];
doCheck = true; doCheck = true;