diff --git a/dev/ci/user-overlays/17977-Villetaneuse-remove-deprecated.sh b/dev/ci/user-overlays/17977-Villetaneuse-remove-deprecated.sh
deleted file mode 100644
index 0f1cad5f9e1ed..0000000000000
--- a/dev/ci/user-overlays/17977-Villetaneuse-remove-deprecated.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-overlay coqprime https://github.com/Villetaneuse/coqprime remove_Int31 17977
-overlay metacoq https://github.com/Villetaneuse/metacoq remove_Int31 17977