diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2021-11-22 18:59:37 +0000 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2021-11-29 10:50:43 +0100 |
| commit | 877bc00322c7202fe96621cdb1a83b32f09b2f1a (patch) | |
| tree | 3fda72cee62e12a1cbf26c6269ae82ee0efb133d | |
| parent | coqPackages.coqhammer: 1.3.1 → 1.3.2 (diff) | |
| download | nixpkgs-877bc00322c7202fe96621cdb1a83b32f09b2f1a.tar.gz | |
obelisk: 0.5.2 → 0.6.0
(cherry picked from commit 52fc1808c95c9bf82c960ae510714bc06d511364)
| -rw-r--r-- | pkgs/development/tools/ocaml/obelisk/default.nix | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/pkgs/development/tools/ocaml/obelisk/default.nix b/pkgs/development/tools/ocaml/obelisk/default.nix index d5e9d33d5db6..0d92840a82be 100644 --- a/pkgs/development/tools/ocaml/obelisk/default.nix +++ b/pkgs/development/tools/ocaml/obelisk/default.nix @@ -1,12 +1,14 @@ -{ lib, fetchurl, ocamlPackages }: +{ lib, fetchFromGitHub, ocamlPackages }: ocamlPackages.buildDunePackage rec { pname = "obelisk"; - version = "0.5.2"; + version = "0.6.0"; useDune2 = true; - src = fetchurl { - url = "https://github.com/Lelio-Brun/Obelisk/releases/download/v${version}/obelisk-v${version}.tbz"; - sha256 = "0s86gkypyrkrp83xnay258ijri3yjwj3marsjnjf8mz58z0zd9g6"; + src = fetchFromGitHub { + owner = "Lelio-Brun"; + repo = pname; + rev = "v${version}"; + sha256 = "1jjaqa2b7msl9qd3x7j34vdh1s9alq8hbvzk8a5srb4yyfyim15b"; }; buildInputs = with ocamlPackages; [ menhir re ]; |