Warn about deprecated coqhammer

This commit is contained in:
Pierre Roux 2024-07-23 13:30:26 +02:00 committed by Vincent Laporte
parent aa2e0dffb2
commit 13fb2ec229

View File

@ -1,3 +1,9 @@
###################################################################
# #
# /!\ This coqhammer package is deprecated in favor of coq-hammer #
# #
###################################################################
{ lib, mkCoqDerivation, coq, version ? null }:
mkCoqDerivation {