diff --git a/pkgs/development/coq-modules/coqhammer/default.nix b/pkgs/development/coq-modules/coqhammer/default.nix
index edf573bcccf5..2db9b6c969f0 100644
--- a/pkgs/development/coq-modules/coqhammer/default.nix
+++ b/pkgs/development/coq-modules/coqhammer/default.nix
@@ -1,3 +1,9 @@
+###################################################################
+#                                                                 #
+# /!\ This coqhammer package is deprecated in favor of coq-hammer #
+#                                                                 #
+###################################################################
+
 { lib, mkCoqDerivation, coq, version ? null }:
 
 mkCoqDerivation {