diff options
author | Cyril Cohen <CohenCyril@users.noreply.github.com> | 2020-06-04 10:25:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-04 10:25:19 +0200 |
commit | cc1f954bc417fb6f9a100539d36f2f78f75c8bb9 (patch) | |
tree | d78cad33f609ddc036486423d699c0bdbd0154e0 /pkgs/development/ocaml-modules/elpi | |
parent | 2d2f04b6a457922627e43e97e3e6e2cde86bc69b (diff) | |
download | nixlib-cc1f954bc417fb6f9a100539d36f2f78f75c8bb9.tar nixlib-cc1f954bc417fb6f9a100539d36f2f78f75c8bb9.tar.gz nixlib-cc1f954bc417fb6f9a100539d36f2f78f75c8bb9.tar.bz2 nixlib-cc1f954bc417fb6f9a100539d36f2f78f75c8bb9.tar.lz nixlib-cc1f954bc417fb6f9a100539d36f2f78f75c8bb9.tar.xz nixlib-cc1f954bc417fb6f9a100539d36f2f78f75c8bb9.tar.zst nixlib-cc1f954bc417fb6f9a100539d36f2f78f75c8bb9.zip |
ocamlPackages.elpi: 1.10.2 -> 1.11.0
coqPackages.coq-elpi: 1.3.1 -> 1.4.0 coqPackages.hierarchy-builder: 0.9.0 -> 0.9.1
Diffstat (limited to 'pkgs/development/ocaml-modules/elpi')
-rw-r--r-- | pkgs/development/ocaml-modules/elpi/default.nix | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index 1c71f7fceb78..93e29d3d34a1 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -1,17 +1,15 @@ -{ lib, fetchFromGitHub, buildDunePackage, camlp5 +{ lib, fetchzip, buildDunePackage, camlp5 , ppx_tools_versioned, ppx_deriving, re }: buildDunePackage rec { pname = "elpi"; - version = "1.10.2"; + version = "1.11.2"; - src = fetchFromGitHub { - owner = "LPCIC"; - repo = "elpi"; - rev = "v${version}"; - sha256 = "0w5z0pxyshqawq7w5rw3nqii49y88rizvwqf202pl11xqi14icsn"; - }; + src = fetchzip { + url = "https://github.com/LPCIC/elpi/releases/download/v${version}/elpi-v${version}.tbz"; + sha256 = "15hamy9ifr05kczadwh3yj2gmr12a9z1jwppmp5yrns0vykjbj76"; + }; minimumOCamlVersion = "4.04"; @@ -23,6 +21,8 @@ buildDunePackage rec { description = "Embeddable λProlog Interpreter"; license = lib.licenses.lgpl21Plus; maintainers = [ lib.maintainers.vbgl ]; - inherit (src.meta) homepage; + homepage = "https://github.com/LPCIC/elpi"; }; + + useDune2 = true; } |