From 062b7f42fdbb383f7d228d9b5444a720fba1d3ec Mon Sep 17 00:00:00 2001 From: Weijia Wang <9713184+wegank@users.noreply.github.com> Date: Wed, 14 Dec 2022 20:18:32 +0100 Subject: [PATCH] ocamlPackages.lustre-v6: 6.103.3 -> 6.107.1 --- .../ocaml-modules/lustre-v6/default.nix | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) diff --git a/pkgs/development/ocaml-modules/lustre-v6/default.nix b/pkgs/development/ocaml-modules/lustre-v6/default.nix index 419ae432ed3..4eb1e55a5a8 100644 --- a/pkgs/development/ocaml-modules/lustre-v6/default.nix +++ b/pkgs/development/ocaml-modules/lustre-v6/default.nix @@ -1,29 +1,28 @@ -{ lib, buildDunePackage, fetchurl, extlib, lutils, rdbg }: +{ lib, buildDunePackage, fetchurl, extlib, lutils, rdbg, yaml }: buildDunePackage rec { pname = "lustre-v6"; - version = "6.103.3"; + version = "6.107.1"; - useDune2 = true; - - minimalOCamlVersion = "4.05"; + minimalOCamlVersion = "4.12"; src = fetchurl { - url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.6.103.3.tgz"; - sha512 = "8d452184ee68edda1b5a50717e6a5b13fb21f9204634fc5898280e27a1d79c97a6e7cc04424fc22f34cdd02ed3cc8774dca4f982faf342980b5f9fe0dc1a017d"; + url = "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/lustre-v6.v${version}.tgz"; + hash = "sha256-+OqDwUIiPrtJy1C3DmDNTrtsT8clKKcNWCev4TEMRBc="; }; propagatedBuildInputs = [ extlib lutils rdbg + yaml ]; meta = with lib; { description = "Lustre V6 compiler"; homepage = "https://www-verimag.imag.fr/lustre-v6.html"; - license = lib.licenses.cecill21; - maintainers = [ lib.maintainers.delta ]; + license = licenses.cecill21; + maintainers = with maintainers; [ delta wegank ]; mainProgram = "lv6"; }; }