Unverified Commit 330f4ebe authored by Ulrik Strid's avatar Ulrik Strid Committed by GitHub
Browse files

ocamlPackages.lambdapi: 2.3.1 → 2.6.0; ocamlPackages.pratter: 2.0.0 → 3.0.0 (#383255)

parents d7216eb4 73695f48

pkgs/development/ocaml-modules/lambdapi/default.nix

+10 −3
Original line number Diff line number Diff line
@@ -7,6 +7,8 @@ 
  bindlib,

  camlp-streams,

  cmdliner,

  dream,

  lwt_ppx,

  menhir,

  pratter,

  sedlex,
@@ -18,20 +20,25 @@ 


buildDunePackage rec {

  pname = "lambdapi";

  version = "2.3.1";

  version = "2.6.0";



  minimalOCamlVersion = "4.12";



  src = fetchurl {

    url = "https://github.com/Deducteam/lambdapi/releases/download/${version}/lambdapi-${version}.tbz";

    hash = "sha256-7ww2TjVcbEQyfmLnnEhLGAjW4US9a4mdOfDJw6NR1fI=";

    hash = "sha256-0B5fE9suq6bk/jMGZxSeAFnUiGxlH/nWtnLbLfyXZe0=";

  };



  nativeBuildInputs = [ menhir ];

  nativeBuildInputs = [

    dream

    menhir

  ];

  buildInputs = [ lwt_ppx ];

  propagatedBuildInputs = [

    bindlib

    camlp-streams

    cmdliner

    dream

    pratter

    sedlex

    stdlib-shims

pkgs/development/ocaml-modules/pratter/default.nix

+7 −7
Original line number Diff line number Diff line 
{

  lib,

  fetchFromGitHub,

  fetchFromGitLab,

  buildDunePackage,

  camlp-streams,

  alcotest,
@@ -9,17 +9,17 @@ 
}:



buildDunePackage rec {

  version = "2.0.0";

  version = "3.0.0";

  pname = "pratter";



  minimalOCamlVersion = "4.08";

  duneVersion = "3";



  src = fetchFromGitHub {

    owner = "gabrielhdt";

  src = fetchFromGitLab {

    domain = "forge.tedomum.net";

    owner = "koizel";

    repo = "pratter";

    rev = version;

    hash = "sha256-QEq8Zt2pfsRT04Zd+ugGKcHdzkqYcDDUg/iAFMMDdEE=";

    tag = version;

    hash = "sha256-O9loVYPJ9xoYf221vBbclqNNq2AA3ImUFGHxtfK3Jwc=";

  };



  propagatedBuildInputs = [ camlp-streams ];

pkgs/top-level/ocaml-packages.nix

+1 −3
Original line number Diff line number Diff line
@@ -984,9 +984,7 @@ let 
    lambda-term = callPackage ../development/ocaml-modules/lambda-term { };



    lambdapi = callPackage ../development/ocaml-modules/lambdapi {

      why3 = pkgs.why3.override { ocamlPackages = self;

        version = "1.7.2"; coqPackages = pkgs.coqPackages_8_18;

      };

      why3 = pkgs.why3.override { ocamlPackages = self; };

    };



    lambdasoup = callPackage ../development/ocaml-modules/lambdasoup { };