diff options
author | Marco Maggesi <1809783+maggesi@users.noreply.github.com> | 2019-10-07 15:47:37 +0200 |
---|---|---|
committer | Marco Maggesi <1809783+maggesi@users.noreply.github.com> | 2019-10-07 15:47:37 +0200 |
commit | c70d7fa7603c7c4ea64211dd2be5995a55310245 (patch) | |
tree | 66704c47b3f737c7349d27b204b8b8bba50eba7f /pkgs/development/ocaml-modules | |
parent | abbf89ddb3969a06c27459ba904e536d8da38926 (diff) | |
download | nixlib-c70d7fa7603c7c4ea64211dd2be5995a55310245.tar nixlib-c70d7fa7603c7c4ea64211dd2be5995a55310245.tar.gz nixlib-c70d7fa7603c7c4ea64211dd2be5995a55310245.tar.bz2 nixlib-c70d7fa7603c7c4ea64211dd2be5995a55310245.tar.lz nixlib-c70d7fa7603c7c4ea64211dd2be5995a55310245.tar.xz nixlib-c70d7fa7603c7c4ea64211dd2be5995a55310245.tar.zst nixlib-c70d7fa7603c7c4ea64211dd2be5995a55310245.zip |
elpi: 1.6.0 -> 1.7.0
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r-- | pkgs/development/ocaml-modules/elpi/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index 2542b5dd9138..b69a4900f6f1 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -4,13 +4,13 @@ buildDunePackage rec { pname = "elpi"; - version = "1.6.0"; + version = "1.7.0"; src = fetchFromGitHub { owner = "LPCIC"; repo = "elpi"; rev = "v${version}"; - sha256 = "0740a9bg33g7r3injpalmn2jd0h586481vrrkdw46nsaspwcjhza"; + sha256 = "1q6s3x4gba0hdymlgj4rf1bny4v7ac4jj7q134cwd3sxiwqcyhww"; }; minimumOCamlVersion = "4.04"; |