diff --git a/gnu/packages/gnome-xyz.scm b/gnu/packages/gnome-xyz.scm
index b4a4dbcd50e..c8b82b574cd 100644
--- a/gnu/packages/gnome-xyz.scm
+++ b/gnu/packages/gnome-xyz.scm
@@ -1225,9 +1225,6 @@ copies you now want to paste.")
 shell, including panels, corners, workspaces.")
     (license license:gpl3)))
 
-(define-deprecated-package gnome-shell-extension-vertical-overview
-  gnome-shell-extension-v-shell)
-
 (define-public gnome-shell-extension-burn-my-windows
   (package
     (name "gnome-shell-extension-burn-my-windows")