ocamlPackages.algaeff: 1.1.0 → 2.0.0

ocamlPackages.asai: 0.1.1 → 0.3.0

ocamlPackages.yuujinchou: 5.1.0 → 5.2.0
This commit is contained in:
Vincent Laporte 2024-07-31 07:17:48 +02:00 committed by Vincent Laporte
parent b5c3d244ca
commit 2ac2c8cc3c
3 changed files with 6 additions and 14 deletions

View File

@ -7,7 +7,7 @@
buildDunePackage rec { buildDunePackage rec {
pname = "algaeff"; pname = "algaeff";
version = "1.1.0"; version = "2.0.0";
minimalOCamlVersion = "5.0"; minimalOCamlVersion = "5.0";
@ -15,7 +15,7 @@ buildDunePackage rec {
owner = "RedPRL"; owner = "RedPRL";
repo = pname; repo = pname;
rev = version; rev = version;
hash = "sha256-7kwQmoT8rpQWPHc+BZQi9fcZhgHxS99158ebXAXlpQ8="; hash = "sha256-VRZfULbXKRcExU1bnEu/X1KPX+L+dzcRYZVD985rQT4=";
}; };
doCheck = true; doCheck = true;

View File

@ -1,29 +1,21 @@
{ lib, fetchFromGitHub, buildDunePackage { lib, fetchFromGitHub, buildDunePackage
, algaeff , algaeff
, bwd , bwd
, eio
, eio_main
, lsp
, notty
}: }:
buildDunePackage rec { buildDunePackage rec {
pname = "asai"; pname = "asai";
version = "0.1.1"; version = "0.3.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "RedPRL"; owner = "RedPRL";
repo = pname; repo = pname;
rev = version; rev = version;
hash = "sha256-Jd90WhSjK4K2amFA5uyGF57NzsgHA8QiccX6qtxO1rQ="; hash = "sha256-Rp4TvSbRz+5+X4XJ1tKUDDgldpLzHHtaF7G7AG6HgKU=";
}; };
propagatedBuildInputs = [ propagatedBuildInputs = [
algaeff algaeff
bwd bwd
lsp
eio
eio_main
notty
]; ];
meta = { meta = {

View File

@ -4,8 +4,8 @@
}: }:
let params = if lib.versionAtLeast ocaml.version "5.0" then { let params = if lib.versionAtLeast ocaml.version "5.0" then {
version = "5.1.0"; version = "5.2.0";
hash = "sha256-J3qkytgJkk2gT83KJ47nNM4cXqVHbx4iTPK+fLwR7Wk="; hash = "sha256-DJzXjV5Tjf69FKUiRioeHghks72pOOHYd73vqhmecS8=";
propagatedBuildInputs = [ algaeff bwd ]; propagatedBuildInputs = [ algaeff bwd ];
} else { } else {
version = "2.0.0"; version = "2.0.0";