Commit 8e7b1073 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

ocamlPackages.elpi: use correct version information

parent 18a85be3

pkgs/development/ocaml-modules/elpi/default.nix

+4 −3
Original line number Diff line number Diff line
@@ -36,10 +36,11 @@ let fetched = coqPackages.metaFetch ({ 
      else "elpi-v${v}.tbz";

    location = { domain = "github.com"; owner = "LPCIC"; repo = "elpi"; };

  }) version;

in

buildDunePackage {

in let inherit (fetched) version;

in buildDunePackage {

  pname = "elpi";

  inherit (fetched) version src;

  inherit version;

  inherit (fetched) src;



  patches = lib.optional (version == "1.16.5")

    ./atd_2_10.patch;