From 13fb2ec22968fcbc52a91f8544f603777c0f3f04 Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Tue, 23 Jul 2024 13:30:26 +0200
Subject: [PATCH] Warn about deprecated coqhammer

---
 pkgs/development/coq-modules/coqhammer/default.nix | 6 ++++++
 1 file changed, 6 insertions(+)

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 {