diff --git a/nix/pkgs.nix b/nix/pkgs.nix index 02e5e5aebb8b31a57a48df2b64404c78a8671f56..6c1b1bffea7b02117cc16cef9fb8974c86cd58e7 100644 --- a/nix/pkgs.nix +++ b/nix/pkgs.nix @@ -21,6 +21,7 @@ let ) super.ocaml-ng; inherit (super.callPackage sources."gitignore.nix" {}) gitignoreSource; why3 = throw "don't use pkgs.why3 but ocaml-ng.ocamlPackages_4_XX.why3"; + camlzip = throw "don't use pkgs.camlzip but ocaml-ng.ocamlPackages_4_XX.camlzip"; framac = throw "don't use pkgs.framac but ocaml-ng.ocamlPackages_4_XX.frama-c"; frama-c = throw "don't use pkgs.framac but ocaml-ng.ocamlPackages_4_XX.frama-c"; };