diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/tezos/protocol-011-PtHangz2-parameters.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/tezos/protocol-011-PtHangz2-parameters.nix | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/pkgs/development/ocaml-modules/tezos/protocol-011-PtHangz2-parameters.nix b/pkgs/development/ocaml-modules/tezos/protocol-011-PtHangz2-parameters.nix deleted file mode 100644 index 26b05e56f85c1..0000000000000 --- a/pkgs/development/ocaml-modules/tezos/protocol-011-PtHangz2-parameters.nix +++ /dev/null @@ -1,23 +0,0 @@ -{ lib -, buildDunePackage -, tezos-stdlib -, tezos-protocol-011-PtHangz2 -, tezos-protocol-environment -}: - -buildDunePackage { - pname = "tezos-protocol-011-PtHangz2-parameters"; - inherit (tezos-stdlib) version useDune2; - src = "${tezos-stdlib.base_src}/src"; - - propagatedBuildInputs = [ - tezos-protocol-011-PtHangz2 - tezos-protocol-environment - ]; - - doCheck = true; - - meta = tezos-stdlib.meta // { - description = "Tezos/Protocol: parameters"; - }; -} |