pyrox.dev / nixpkgs
lol
fork atom

ocamlPackages.lambdapi: 2.3.1 → 2.6.0

ocamlPackages.pratter: 2.0.0 → 3.0.0

Vincent Laporte 73695f48 2ce8716c

+18 -13
unified split
+10 -3
pkgs/development/ocaml-modules/lambdapi/default.nix
··· 7 bindlib, 8 camlp-streams, 9 cmdliner, 10 menhir, 11 pratter, 12 sedlex, ··· 18 19 buildDunePackage rec { 20 pname = "lambdapi"; 21 - version = "2.3.1"; 22 23 minimalOCamlVersion = "4.12"; 24 25 src = fetchurl { 26 url = "https://github.com/Deducteam/lambdapi/releases/download/${version}/lambdapi-${version}.tbz"; 27 - hash = "sha256-7ww2TjVcbEQyfmLnnEhLGAjW4US9a4mdOfDJw6NR1fI="; 28 }; 29 30 - nativeBuildInputs = [ menhir ]; 31 propagatedBuildInputs = [ 32 bindlib 33 camlp-streams 34 cmdliner 35 pratter 36 sedlex 37 stdlib-shims
··· 7 bindlib, 8 camlp-streams, 9 cmdliner, 10 + dream, 11 + lwt_ppx, 12 menhir, 13 pratter, 14 sedlex, ··· 20 21 buildDunePackage rec { 22 pname = "lambdapi"; 23 + version = "2.6.0"; 24 25 minimalOCamlVersion = "4.12"; 26 27 src = fetchurl { 28 url = "https://github.com/Deducteam/lambdapi/releases/download/${version}/lambdapi-${version}.tbz"; 29 + hash = "sha256-0B5fE9suq6bk/jMGZxSeAFnUiGxlH/nWtnLbLfyXZe0="; 30 }; 31 32 + nativeBuildInputs = [ 33 + dream 34 + menhir 35 + ]; 36 + buildInputs = [ lwt_ppx ]; 37 propagatedBuildInputs = [ 38 bindlib 39 camlp-streams 40 cmdliner 41 + dream 42 pratter 43 sedlex 44 stdlib-shims
+7 -7
pkgs/development/ocaml-modules/pratter/default.nix
··· 1 { 2 lib, 3 - fetchFromGitHub, 4 buildDunePackage, 5 camlp-streams, 6 alcotest, ··· 9 }: 10 11 buildDunePackage rec { 12 - version = "2.0.0"; 13 pname = "pratter"; 14 15 minimalOCamlVersion = "4.08"; 16 - duneVersion = "3"; 17 18 - src = fetchFromGitHub { 19 - owner = "gabrielhdt"; 20 repo = "pratter"; 21 - rev = version; 22 - hash = "sha256-QEq8Zt2pfsRT04Zd+ugGKcHdzkqYcDDUg/iAFMMDdEE="; 23 }; 24 25 propagatedBuildInputs = [ camlp-streams ];
··· 1 { 2 lib, 3 + fetchFromGitLab, 4 buildDunePackage, 5 camlp-streams, 6 alcotest, ··· 9 }: 10 11 buildDunePackage rec { 12 + version = "3.0.0"; 13 pname = "pratter"; 14 15 minimalOCamlVersion = "4.08"; 16 17 + src = fetchFromGitLab { 18 + domain = "forge.tedomum.net"; 19 + owner = "koizel"; 20 repo = "pratter"; 21 + tag = version; 22 + hash = "sha256-O9loVYPJ9xoYf221vBbclqNNq2AA3ImUFGHxtfK3Jwc="; 23 }; 24 25 propagatedBuildInputs = [ camlp-streams ];
+1 -3
pkgs/top-level/ocaml-packages.nix
··· 984 lambda-term = callPackage ../development/ocaml-modules/lambda-term { }; 985 986 lambdapi = callPackage ../development/ocaml-modules/lambdapi { 987 - why3 = pkgs.why3.override { ocamlPackages = self; 988 - version = "1.7.2"; coqPackages = pkgs.coqPackages_8_18; 989 - }; 990 }; 991 992 lambdasoup = callPackage ../development/ocaml-modules/lambdasoup { };
··· 984 lambda-term = callPackage ../development/ocaml-modules/lambda-term { }; 985 986 lambdapi = callPackage ../development/ocaml-modules/lambdapi { 987 + why3 = pkgs.why3.override { ocamlPackages = self; }; 988 }; 989 990 lambdasoup = callPackage ../development/ocaml-modules/lambdasoup { };