jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ocamlPackages.elpi: 1.1.0 -> 1.2.0

Browse Source
This commit is contained in:
Vincent Laporte 2019-05-07 09:31:57 +00:00
parent 2146e1023a
commit ab4b23c35c
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/development/ocaml-modules/elpi/default.nix
View File

@ -2,14 +2,18 @@
, ppx_tools_versioned, ppx_deriving, re
}:
if !stdenv.lib.versionAtLeast ocaml.version "4.03"
then throw "elpi is not available for OCaml ${ocaml.version}"
else
stdenv.mkDerivation rec {
name = "ocaml${ocaml.version}-elpi-${version}";
version = "1.1.0";
version = "1.2.0";
src = fetchFromGitHub {
owner = "LPCIC";
repo = "elpi";
rev = "v${version}";
sha256 = "1fd4mqggdcnbhqwrg8r0ikb1j2lv0fc9hv9xfbyjzbzxbjggf5zc";
sha256 = "1n4jpidx0vk4y66bhd704ajn8n6f1fd5wsi1shj6wijfmjl14h7s";
};
buildInputs = [ ocaml findlib ppx_tools_versioned ];