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