diff options
author | Vladimír Čunát <v@cunat.cz> | 2022-04-28 18:04:16 +0200 |
---|---|---|
committer | Vladimír Čunát <v@cunat.cz> | 2022-04-28 18:04:16 +0200 |
commit | 8caa1418f67e7b49496889e723784e09b028cd3a (patch) | |
tree | c85b0152cbd871f9f7a076e43bda4d44806e65d2 /pkgs/development/ocaml-modules/tezos/protocol-plugin-010-PtGRANAD.nix | |
parent | 51554cbbdbe6086da3b31fb803e9d725647052c3 (diff) | |
parent | 0cd6f99f9506e31044a320a8223b59a81323d940 (diff) |
Merge branch 'master' into staging-next-2022-04-23
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"; - }; -} |